cover_goals_verifier_with_trace_storage.h File Reference

Goto verifier for covering goals that stores traces. More...

#include "goto_verifier.h"
#include "bmc_util.h"
#include "cover_goals_report_util.h"
#include "goto_trace_storage.h"
#include "incremental_goto_checker.h"
#include "properties.h"

Include dependency graph for cover_goals_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	cover_goals_verifier_with_trace_storaget< incremental_goto_checkerT >

Detailed Description

Goto verifier for covering goals that stores traces.

Definition in file cover_goals_verifier_with_trace_storage.h.