Unit Test Results.
Designed for use with
JUnit
and
Ant
.
Class org.qedeq.kernel.bo.logic.ProofCheckerFactoryImplTest
Name
Tests
Errors
Failures
Time(s)
Time Stamp
Host
ProofCheckerFactoryImplTest
1
0
0
0.157
2014-02-14T01:50:08
vserver3141
Tests
Name
Status
Type
Time(s)
testCreateFormulaChecker
Success
0.144
Properties »