FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
|
A reason why an Assertion fails. More...
#include <counterexample.h>
Public Member Functions | |
Counterexample (const Counterexample &)=delete | |
Counterexample & | operator= (const Counterexample &)=delete |
Friends | |
struct | CounterexampleFactory |
class | DebugContext |
A reason why an Assertion fails.
There are many different subclasses of this. The recommended method of differentiating between them is to use dynamic_cast.