cprover
symex_target.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Symbolic Execution
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#include "symex_target.h"
13
17{
18 if(a.thread_nr==b.thread_nr)
19 return a.pc < b.pc;
20 else
21 return a.thread_nr < b.thread_nr;
22}
Identifies source in the context of symbolic execution.
Definition: symex_target.h:37
goto_programt::const_targett pc
Definition: symex_target.h:42
bool operator<(const symex_targett::sourcet &a, const symex_targett::sourcet &b)
Base class comparison operator for symbolic execution targets.
Generate Equation using Symbolic Execution.