FormalProofCheckerPluginTest.testPluginFormalProofCheckerPluginTest.testPlugin |
139236219245214 Feb 07:16:32 |
1
PASS
|
1.21.2 |
|
FormalProofCheckerPluginTest.testPlugin2FormalProofCheckerPluginTest.testPlugin2 |
139236219368514 Feb 07:16:33 |
1
PASS
|
2.1022.102 |
|
FormalProofCheckerPluginTest.testPlugin4FormalProofCheckerPluginTest.testPlugin4 |
139236220120714 Feb 07:16:41 |
1
PASS
|
1.1351.135 |
|
FormalProofCheckerPluginTest.testPlugin3FormalProofCheckerPluginTest.testPlugin3 |
139236219579814 Feb 07:16:35 |
1
PASS
|
5.4055.405 |
|
FormalProofCheckerPluginTest.testProof_003FormalProofCheckerPluginTest.testProof_003 |
139236220234814 Feb 07:16:42 |
1
PASS
|
0.0390.039 |
|