FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
|
7 #include <fdr/tasks/progress_reporter.h>
80 friend struct AssertionFactory;
84 std::shared_ptr<Data> data;
std::shared_ptr< Progress > progress() const
Reports statistics about the assertion's progress.
Encapsulates information about an input file.
Definition: session.h:79
std::string to_string() const
Returns a string representation of this assertion.
An assertion about processes.
Definition: assertion.h:23
bool passed() const
If the assertion has been executed, true iff the assertion passed.
Allows cancellation of a running task to be requested.
Definition: canceller.h:53
void execute(Canceller *canceller)
Checks the given assertion.
TaskId root_task_id() const
Returns the identity of the task under which all tasks in this assertion will be created under.
const std::vector< std::shared_ptr< Counterexample > > & counterexamples() const
A list of counterexamples, if the assertion failed.