cprover
|
Symbolic Execution. More...
#include "symex_target.h"
Go to the source code of this file.
Functions | |
bool | operator< (const symex_targett::sourcet &a, const symex_targett::sourcet &b) |
Symbolic Execution.
Definition in file symex_target.cpp.
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.