| Designed for use with JUnit and Ant. |
| Tests | Failures | Errors | Skipped | Success rate | Time |
|---|---|---|---|---|---|
| 1108 | 7 | 1 | 20 | 99.28% | 3.805 |
| Note: failures are anticipated and checked for with assertions while errors are unanticipated. |
| Name | Tests | Errors | Failures | Skipped | Time(s) | Time Stamp | Host |
|---|---|---|---|---|---|---|---|
| edu.udel.cis.vsl.sarl.expr.cnf | 11 | 0 | 0 | 0 | 0.011 | 2023-02-17T17:01:04 | ilyich |
| edu.udel.cis.vsl.sarl.ideal | 13 | 0 | 0 | 1 | 0.015 | 2023-02-17T17:01:04 | ilyich |
| edu.udel.cis.vsl.sarl.ideal.simplify | 31 | 0 | 0 | 0 | 0.140 | 2023-02-17T17:01:04 | ilyich |
| edu.udel.cis.vsl.sarl.IF | 305 | 0 | 0 | 12 | 1.740 | 2023-02-17T17:01:02 | ilyich |
| edu.udel.cis.vsl.sarl.IF.numbers | 24 | 0 | 0 | 0 | 0.024 | 2023-02-17T17:01:04 | ilyich |
| edu.udel.cis.vsl.sarl.numbers | 144 | 0 | 0 | 0 | 0.222 | 2023-02-17T17:01:04 | ilyich |
| edu.udel.cis.vsl.sarl.object | 1 | 0 | 0 | 0 | 0.001 | 2023-02-17T17:01:05 | ilyich |
| edu.udel.cis.vsl.sarl.object.common | 73 | 0 | 0 | 0 | 0.062 | 2023-02-17T17:01:05 | ilyich |
| edu.udel.cis.vsl.sarl.preuniverse | 84 | 0 | 0 | 2 | 0.091 | 2023-02-17T17:01:05 | ilyich |
| edu.udel.cis.vsl.sarl.preuniverse.common | 43 | 0 | 0 | 1 | 0.033 | 2023-02-17T17:01:05 | ilyich |
| edu.udel.cis.vsl.sarl.prove | 33 | 0 | 0 | 4 | 0.934 | 2023-02-17T17:01:05 | ilyich |
| edu.udel.cis.vsl.sarl.prove.translation | 13 | 1 | 7 | 0 | 0.245 | 2023-02-17T17:01:06 | ilyich |
| edu.udel.cis.vsl.sarl.simplify | 11 | 0 | 0 | 0 | 0.025 | 2023-02-17T17:01:06 | ilyich |
| edu.udel.cis.vsl.sarl.simplify.common | 189 | 0 | 0 | 0 | 0.137 | 2023-02-17T17:01:06 | ilyich |
| edu.udel.cis.vsl.sarl.type.common | 91 | 0 | 0 | 0 | 0.082 | 2023-02-17T17:01:06 | ilyich |
| edu.udel.cis.vsl.sarl.universe | 21 | 0 | 0 | 0 | 0.026 | 2023-02-17T17:01:06 | ilyich |
| edu.udel.cis.vsl.sarl.util | 21 | 0 | 0 | 0 | 0.017 | 2023-02-17T17:01:06 | ilyich |