3 #include <fdr/assertions/counterexample/counterexample.h>
4 #include <fdr/assertions/behaviour/behaviour.h>
29 const std::shared_ptr<Behaviour>& implementation);
32 std::shared_ptr<Behaviour> specification;
33 std::shared_ptr<Behaviour> implementation;