Goto Checker using Bounded Model Checking. More...
#include "multi_path_symex_checker.h"#include <util/ui_message.h>#include <goto-programs/remove_function_pointers.h>#include <goto-programs/remove_vector.h>#include <assembler/remove_asm.h>#include <goto-symex/solver_hardness.h>#include "bmc_util.h"#include "counterexample_beautification.h"#include "goto_symex_fault_localizer.h"Go to the source code of this file.
Goto Checker using Bounded Model Checking.
Definition in file multi_path_symex_checker.cpp.
