multi_path_symex_checker.h File Reference

Goto Checker using Multi-Path Symbolic Execution. More...

#include "fault_localization_provider.h"
#include "goto_symex_property_decider.h"
#include "goto_trace_provider.h"
#include "multi_path_symex_only_checker.h"
#include "witness_provider.h"
#include <chrono>

Include dependency graph for multi_path_symex_checker.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	multi_path_symex_checkert
	Performs a multi-path symbolic execution using goto-symex and calls a SAT/SMT solver to check the status of the properties. More...

Detailed Description

Goto Checker using Multi-Path Symbolic Execution.

Definition in file multi_path_symex_checker.h.