| Designed for use with JUnit and Ant. |
| Tests | Failures | Errors | Skipped | Success rate | Time |
|---|---|---|---|---|---|
| 443 | 1 | 5 | 15 | 98.65% | 121.499 |
| Note: failures are anticipated and checked for with assertions while errors are unanticipated. |
| Name | Tests | Errors | Failures | Skipped | Time(s) | Time Stamp | Host |
|---|---|---|---|---|---|---|---|
| adder | 1 | 0 | 0 | 0 | 3.326 | 2015-06-22T02:44:50 | clara |
| arithmetic | 4 | 0 | 0 | 0 | 0.057 | 2015-06-22T02:44:53 | clara |
| array | 1 | 0 | 0 | 0 | 0.162 | 2015-06-22T02:44:53 | clara |
| collective | 3 | 0 | 0 | 0 | 17.406 | 2015-06-22T02:46:35 | clara |
| collectiveAssert | 22 | 0 | 0 | 0 | 14.163 | 2015-06-22T02:44:54 | clara |
| collectiveInvariant.diffusion_full | 1 | 0 | 0 | 1 | 0.968 | 2015-06-22T02:45:08 | clara |
| collectiveInvariant.diffusion_simple | 1 | 0 | 0 | 0 | 2.313 | 2015-06-22T02:45:09 | clara |
| collectiveInvariant.fib | 1 | 0 | 0 | 0 | 0.451 | 2015-06-22T02:45:11 | clara |
| collectiveInvariant.matrix | 1 | 0 | 0 | 0 | 7.391 | 2015-06-22T02:45:12 | clara |
| collectiveInvariant.mean | 1 | 0 | 0 | 0 | 0.141 | 2015-06-22T02:45:19 | clara |
| collectiveInvariant.nested | 1 | 0 | 0 | 0 | 0.314 | 2015-06-22T02:45:19 | clara |
| collectiveInvariant.race | 3 | 0 | 0 | 0 | 3.196 | 2015-06-22T02:45:19 | clara |
| collectiveInvariant.ring | 1 | 0 | 0 | 0 | 1.367 | 2015-06-22T02:45:23 | clara |
| collectiveInvariant.simple | 6 | 0 | 0 | 0 | 0.425 | 2015-06-22T02:45:24 | clara |
| constant | 1 | 0 | 0 | 0 | 0.014 | 2015-06-22T02:45:24 | clara |
| counting | 8 | 0 | 0 | 0 | 1.351 | 2015-06-22T02:45:25 | clara |
| cycle | 1 | 0 | 0 | 0 | 0.027 | 2015-06-22T02:45:26 | clara |
| dgemv | 2 | 0 | 0 | 2 | 0.002 | 2015-06-22T02:45:26 | clara |
| diffusion | 23 | 0 | 0 | 0 | 12.439 | 2015-06-22T02:45:26 | clara |
| edu.udel.cis.vsl.tass.ast | 12 | 0 | 0 | 0 | 0.198 | 2015-06-22T02:46:34 | clara |
| edu.udel.cis.vsl.tass.ast2model | 7 | 0 | 0 | 1 | 0.037 | 2015-06-22T02:46:34 | clara |
| edu.udel.cis.vsl.tass.dynamic.impl | 13 | 0 | 0 | 4 | 0.037 | 2015-06-22T02:46:34 | clara |
| edu.udel.cis.vsl.tass.dynamic.impl.simplify | 23 | 0 | 0 | 0 | 0.086 | 2015-06-22T02:46:34 | clara |
| edu.udel.cis.vsl.tass.front.parser | 7 | 0 | 0 | 1 | 0.227 | 2015-06-22T02:46:35 | clara |
| edu.udel.cis.vsl.tass.model.impl | 2 | 0 | 0 | 0 | 0.010 | 2015-06-22T02:46:35 | clara |
| edu.udel.cis.vsl.tass.model.impl.expression | 5 | 0 | 0 | 0 | 0.017 | 2015-06-22T02:46:35 | clara |
| edu.udel.cis.vsl.tass.number | 5 | 0 | 0 | 0 | 0.017 | 2015-06-22T02:46:35 | clara |
| edu.udel.cis.vsl.tass.prove.cvc | 5 | 0 | 0 | 3 | 0.011 | 2015-06-22T02:46:35 | clara |
| edu.udel.cis.vsl.tass.symbolic.concrete | 6 | 0 | 0 | 0 | 0.020 | 2015-06-22T02:46:35 | clara |
| edu.udel.cis.vsl.tass.symbolic.ideal | 31 | 0 | 0 | 0 | 0.106 | 2015-06-22T02:46:35 | clara |
| edu.udel.cis.vsl.tass.symbolic.type | 5 | 0 | 0 | 0 | 0.017 | 2015-06-22T02:46:35 | clara |
| edu.udel.cis.vsl.tass.util | 4 | 0 | 0 | 0 | 0.013 | 2015-06-22T02:46:35 | clara |
| factorial | 6 | 0 | 0 | 0 | 0.279 | 2015-06-22T02:45:38 | clara |
| fib | 2 | 0 | 0 | 0 | 0.630 | 2015-06-22T02:45:39 | clara |
| fooLibraryUse | 12 | 0 | 0 | 0 | 0.147 | 2015-06-22T02:45:39 | clara |
| forall | 1 | 0 | 0 | 0 | 0.034 | 2015-06-22T02:45:40 | clara |
| forLoop | 7 | 0 | 0 | 0 | 0.046 | 2015-06-22T02:45:40 | clara |
| function | 3 | 0 | 0 | 0 | 0.038 | 2015-06-22T02:45:40 | clara |
| gradeCount | 1 | 0 | 0 | 0 | 0.582 | 2015-06-22T02:45:40 | clara |
| integrate | 2 | 0 | 0 | 0 | 2.582 | 2015-06-22T02:45:40 | clara |
| laplace | 6 | 0 | 0 | 0 | 6.350 | 2015-06-22T02:45:43 | clara |
| linkedList | 5 | 0 | 0 | 0 | 0.151 | 2015-06-22T02:45:49 | clara |
| literal | 6 | 2 | 1 | 0 | 0.076 | 2015-06-22T02:45:49 | clara |
| loopFail | 7 | 0 | 0 | 0 | 0.158 | 2015-06-22T02:45:49 | clara |
| loopSucceed | 7 | 0 | 0 | 0 | 0.202 | 2015-06-22T02:45:50 | clara |
| matmat | 21 | 0 | 0 | 0 | 14.698 | 2015-06-22T02:45:50 | clara |
| matrixMultiplication | 6 | 0 | 0 | 0 | 0.524 | 2015-06-22T02:46:05 | clara |
| mean | 6 | 0 | 0 | 0 | 0.192 | 2015-06-22T02:46:05 | clara |
| multierr | 1 | 0 | 0 | 0 | 0.048 | 2015-06-22T02:46:05 | clara |
| nestedLoops | 11 | 0 | 0 | 0 | 0.547 | 2015-06-22T02:46:05 | clara |
| nsv3.absor | 1 | 0 | 0 | 1 | 0.001 | 2015-06-22T02:46:06 | clara |
| nsv3.assoc | 2 | 0 | 0 | 0 | 0.034 | 2015-06-22T02:46:06 | clara |
| nsv3.filte | 1 | 0 | 0 | 0 | 0.024 | 2015-06-22T02:46:06 | clara |
| nsv3.golde | 1 | 0 | 0 | 0 | 0.021 | 2015-06-22T02:46:06 | clara |
| nsv3.inter | 4 | 0 | 0 | 0 | 0.232 | 2015-06-22T02:46:06 | clara |
| parserTest | 3 | 2 | 0 | 0 | 0.023 | 2015-06-22T02:46:06 | clara |
| pointers | 14 | 0 | 0 | 0 | 0.238 | 2015-06-22T02:46:06 | clara |
| select | 3 | 0 | 0 | 0 | 0.051 | 2015-06-22T02:46:07 | clara |
| shortCircuit | 2 | 0 | 0 | 0 | 0.038 | 2015-06-22T02:46:07 | clara |
| simpleArray | 11 | 0 | 0 | 0 | 0.068 | 2015-06-22T02:46:07 | clara |
| simpleArrayFail | 10 | 0 | 0 | 0 | 0.113 | 2015-06-22T02:46:07 | clara |
| simpleAssume | 10 | 0 | 0 | 0 | 0.060 | 2015-06-22T02:46:07 | clara |
| simpleMP | 13 | 0 | 0 | 0 | 0.110 | 2015-06-22T02:46:07 | clara |
| simpleMPI | 24 | 1 | 0 | 0 | 23.603 | 2015-06-22T02:46:07 | clara |
| skewFactor | 11 | 0 | 0 | 1 | 0.583 | 2015-06-22T02:46:31 | clara |
| string | 1 | 0 | 0 | 0 | 0.018 | 2015-06-22T02:46:31 | clara |
| sum | 4 | 0 | 0 | 0 | 0.267 | 2015-06-22T02:46:31 | clara |
| tile | 11 | 0 | 0 | 1 | 2.422 | 2015-06-22T02:46:32 | clara |