cprover
|
Generate Equation using Symbolic Execution. More...
#include <goto-programs/goto_program.h>
Go to the source code of this file.
Classes | |
class | symex_targett |
struct | symex_targett::sourcet |
Functions | |
bool | operator< (const symex_targett::sourcet &a, const symex_targett::sourcet &b) |
Generate Equation using Symbolic Execution.
Definition in file symex_target.h.
bool operator< | ( | const symex_targett::sourcet & | a, |
const symex_targett::sourcet & | b | ||
) |
Definition at line 14 of file symex_target.cpp.
References symex_targett::sourcet::pc, and symex_targett::sourcet::thread_nr.