Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
FormalProofCheckerPluginTest | 5 | 0 | 0 | 5.847 | 2014-02-14T01:44:31 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testPlugin | Success | 1.018 | |
testPlugin2 | Success | 1.406 | |
testPlugin3 | Success | 2.467 | |
testPlugin4 | Success | 0.877 | |
testProof_003 | Success | 0.065 |