cprover
|
Goto Checker using Single Path Symbolic Execution only. More...
Go to the source code of this file.
Classes | |
class | single_path_symex_only_checkert |
Uses goto-symex to generate a symex_target_equationt for each path. More... | |
Goto Checker using Single Path Symbolic Execution only.
Definition in file single_path_symex_only_checker.h.