A counterexample to a property assertion, such as deadlock freedom. More...
#include <property_counterexample.h>
Public Member Functions | |
const std::shared_ptr < Behaviour > & | behaviour () const |
The prohibited behaviour. | |
Protected Member Functions | |
PropertyCounterexample (const std::shared_ptr< Behaviour > &behaviour) |
A counterexample to a property assertion, such as deadlock freedom.
This has a single behaviour that shows how the specified machine can violate a property assertion, such as deadlock freedom or divergence freedom.