FDR::Assertions::TraceCounterexample Class Reference

A counterexample demonstrating how a trace refinement check failed. More...

#include <trace_counterexample.h>

Inheritance diagram for FDR::Assertions::TraceCounterexample:
Inheritance graph
[legend]
Collaboration diagram for FDR::Assertions::TraceCounterexample:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 TraceCounterexample (const std::shared_ptr< Behaviour > &specification, const std::shared_ptr< Behaviour > &implementation)
LTS::CompiledEvent error_event () const
 The event the implementation performed the specification could not.

Detailed Description

A counterexample demonstrating how a trace refinement check failed.

In this case the specification Behaviour is guaranteed to be a LTS::Behaviour::Irrelevant, whilst the implementation Behaviour is guaranteed to be a LTS::Behaviour::Trace.


The documentation for this class was generated from the following file:
 All Classes Functions

Generated on 27 Oct 2017 for FDR by  doxygen 1.6.1