FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
refinement_divergence_counterexample.h
1 #pragma once
2 
3 #include <fdr/assertions/counterexample/refinement_counterexample.h>
4 
5 namespace FDR
6 {
7 namespace Assertions
8 {
17 {
18 public:
19  RefinementDivergenceCounterexample(const std::shared_ptr<Behaviour>& specification,
20  const std::shared_ptr<Behaviour>& implementation);
21 };
22 
23 } // end Assertions
24 } // end FDR
FDR::Assertions::RefinementCounterexample
A counterexample to a refinement assertion.
Definition: refinement_counterexample.h:19
FDR::Assertions::RefinementDivergenceCounterexample
A counterexample demonstrating how a process can diverge during a refinement check.
Definition: refinement_divergence_counterexample.h:17