multi_path_symex_only_checker.h File Reference

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

#include <goto-programs/unwindset.h>
#include <goto-symex/path_storage.h>
#include "incremental_goto_checker.h"
#include "symex_bmc.h"

Include dependency graph for multi_path_symex_only_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_only_checkert

Detailed Description

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

Definition in file multi_path_symex_only_checker.h.