2 \defgroup module_goto-symex Symbolic Execution & Counterexample Production
14 1 [shape=none, label=""];
15 2 [label="goto conversion"];
16 3 [shape=none, label=""];
17 1 -> 2 [label="goto-programs, goto-functions, symbol table"];
18 2 -> 3 [label="equations"];
23 \section counter-example-production Counter Example Production
25 In the \ref goto-symex directory.
28 * symex_target_equationt
32 * counterexample_beautificationt
38 1 [shape=none, label=""];
39 2 [label="goto conversion"];
40 3 [shape=none, label=""];
41 1 -> 2 [label="solutions"];
42 2 -> 3 [label="counter-examples"];