Goto Checker using Multi-Path Symbolic Execution only (no SAT solving) More...

#include "multi_path_symex_only_checker.h"
#include <util/ui_message.h>
#include <goto-symex/shadow_memory.h>
#include <goto-symex/show_program.h>
#include <goto-symex/show_vcc.h>
#include "bmc_util.h"

Include dependency graph for multi_path_symex_only_checker.cpp:

Go to the source code of this file.

Detailed Description

Goto Checker using Multi-Path Symbolic Execution only (no SAT solving)

Definition in file multi_path_symex_only_checker.cpp.