cprover
|
Goto Checker using Single Path Symbolic Execution for Java. More...
#include <goto-checker/bmc_util.h>
#include <goto-checker/counterexample_beautification.h>
#include <goto-checker/single_path_symex_checker.h>
#include <goto-symex/build_goto_trace.h>
#include "java_bmc_util.h"
#include "java_trace_validation.h"
Go to the source code of this file.
Classes | |
class | java_single_path_symex_checkert |
Goto Checker using Single Path Symbolic Execution for Java.
Definition in file java_single_path_symex_checker.h.