Unit Test Results.
Designed for use with
JUnit
and
Ant
.
Package org.qedeq.kernel.bo.logic.proof.checker
Classes
Name
Tests
Errors
Failures
Time(s)
Time Stamp
Host
ProofCheckerTest
3
0
0
2.937
2014-02-14T01:52:12
vserver3141