FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
|
A negated assertion. More...
#include <negated_assertion.h>
Public Member Functions | |
NegatedAssertion (const NegatedAssertion &assertion)=delete | |
std::shared_ptr< Assertion > | inner_assertion () const |
The inner assertion, i.e. the assertion that is being negated. | |
NegatedAssertion & | operator= (const NegatedAssertion &assertion)=delete |
![]() | |
Assertion (const Assertion &assertion)=delete | |
const std::vector< std::shared_ptr< Counterexample > > & | counterexamples () const |
A list of counterexamples, if the assertion failed. More... | |
void | execute (Canceller *canceller) |
Checks the given assertion. More... | |
Assertion & | operator= (const Assertion &assertion)=delete |
bool | passed () const |
If the assertion has been executed, true iff the assertion passed. More... | |
std::shared_ptr< Progress > | progress () const |
Reports statistics about the assertion's progress. More... | |
TaskId | root_task_id () const |
Returns the identity of the task under which all tasks in this assertion will be created under. More... | |
std::string | to_string () const |
Returns a string representation of this assertion. More... | |
Friends | |
struct | AssertionFactory |
Additional Inherited Members | |
![]() | |
std::shared_ptr< Data > | data |
friend | Session |
A negated assertion.
This passes iff the inner assertion fails.