00001 #pragma once 00002 00003 #include <fdr/assertions/counterexample/refinement_counterexample.h> 00004 00005 namespace FDR 00006 { 00007 namespace Assertions 00008 { 00016 class RefinementDivergenceCounterexample : public RefinementCounterexample 00017 { 00018 public: 00019 RefinementDivergenceCounterexample(const std::shared_ptr<Behaviour>& specification, 00020 const std::shared_ptr<Behaviour>& implementation); 00021 }; 00022 00023 } // end Assertions 00024 } // end FDR