cprover
|
Goto Program Slicing. More...
#include <goto-programs/goto_functions.h>
#include <goto-programs/cfg.h>
#include <analyses/is_threaded.h>
Go to the source code of this file.
Classes | |
class | reachability_slicert |
struct | reachability_slicert::slicer_entryt |
Goto Program Slicing.
Definition in file reachability_slicer_class.h.