Unit Test Results.
Designed for use with
JUnit
and
Ant
.
Package org.qedeq.kernel.bo.logic
Classes
Name
Tests
Errors
Failures
Time(s)
Time Stamp
Host
FormulaCheckerFactoryImplTest
1
0
0
0.243
2014-02-13T22:53:55
vserver3141
ProofCheckerFactoryImplTest
1
0
0
0.324
2014-02-13T22:53:57
vserver3141