all_properties_verifier_with_trace_storage.h File Reference

Goto verifier for verifying all properties that stores traces. More...

#include <goto-programs/abstract_goto_model.h>
#include "bmc_util.h"
#include "fatal_assertions.h"
#include "goto_trace_storage.h"
#include "goto_verifier.h"
#include "incremental_goto_checker.h"
#include "properties.h"
#include "report_util.h"

Include dependency graph for all_properties_verifier_with_trace_storage.h:

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

Go to the source code of this file.

Classes
class	all_properties_verifier_with_trace_storaget< incremental_goto_checkerT >

Detailed Description

Goto verifier for verifying all properties that stores traces.

Definition in file all_properties_verifier_with_trace_storage.h.