TestTacletParser
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testAllLeft() | 0.002s | passed |
| testAllRight() | 0.002s | passed |
| testClose() | 0.001s | passed |
| testContraposition() | 0.001s | passed |
| testCut() | 0.002s | passed |
| testExConjSplit() | 0.002s | passed |
| testFIdempotent() | 0.001s | passed |
| testFreeReplacewithVariables() | 0.002s | passed |
| testImpLeft() | 0.001s | passed |
| testImpRight() | 0.002s | passed |
| testMakeInsertEq() | 0.001s | passed |
| testSchemaJava0() | 0.002s | passed |
| testSchemaJava1() | 0.006s | passed |
| testSchemaJava10() | 0.002s | passed |
| testSchemaJava11() | 0.004s | passed |
| testSchemaJava2() | 0.002s | passed |
| testSchemaJava4() | 0.002s | passed |
| testSchemaJava6() | 0.002s | passed |
| testSchemaJava8() | 0.001s | passed |
| testVarcondNew() | 0.002s | passed |