* This exception is thrown by the #testSpecificationAndThrow method if the test detected * a specification violation. This class contains the TestResult that would have otherwise * be returned in a call to #testSpecification. */
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected