|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
ProofCheckerFactoryImplTest | 1 1 | 0 0 | 0 0 | 0.032 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
ProofCheckerFactoryImplTest.testCreateFormulaCheckerProofCheckerFactoryImplTest.testCreateFormulaChecker | 139233203750913 Feb 22:53:57 | 1 PASS | 0.0320.032 | ||||||||
|