A counterexample demonstrating how a process can deadlock. More...
#include <deadlock_counterexample.h>
Public Member Functions | |
DeadlockCounterexample (const std::shared_ptr< Behaviour > &behaviour) |
A counterexample demonstrating how a process can deadlock.
The behaviour is guaranteed to be a MinAcceptanceBehaviour with a min acceptance of {}.