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

#include "incremental_goto_checker.h"
#include <goto-symex/path_storage.h>
#include <goto-instrument/unwindset.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:

Classes
class	multi_path_symex_only_checkert

Detailed Description

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

Classes