FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
deadlock_counterexample.h
1 #pragma once
2 
3 #include <fdr/assertions/counterexample/property_counterexample.h>
4 
5 namespace FDR
6 {
7 namespace Assertions
8 {
14 {
15 public:
16  DeadlockCounterexample(const std::shared_ptr<Behaviour>& behaviour);
17 };
18 
19 } // end Assertions
20 } // end FDR
FDR::Assertions::PropertyCounterexample
A counterexample to a property assertion, such as deadlock freedom.
Definition: property_counterexample.h:15
FDR::Assertions::PropertyCounterexample::behaviour
const std::shared_ptr< Behaviour > & behaviour() const
The prohibited behaviour.
FDR::Assertions::DeadlockCounterexample
A counterexample demonstrating how a process can deadlock.
Definition: deadlock_counterexample.h:14