Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) | Time Stamp | Host |
---|---|---|---|---|---|---|
FormalProofCheckerPluginTest | 5 | 0 | 0 | 10.061 | 2014-02-14T07:16:32 | vserver3141 |
Name | Status | Type | Time(s) |
---|---|---|---|
testPlugin | Success | 1.309 | |
testPlugin2 | Success | 2.132 | |
testPlugin3 | Success | 5.412 | |
testPlugin4 | Success | 1.139 | |
testProof_003 | Success | 0.042 |