"git@ic-gitlab.epfl.ch:ahoffman/gyacomo.git" did not exist on "4ac7335e311d1bcc9c6f22fe3f7116d64382d2e1"
Start an independent unit-testing source tree
For those tired of waiting hours for their test results.
Showing
- build.sbt 9 additions, 1 deletionbuild.sbt
- src/unit-test/scala/leon/LeonTestSuite.scala 105 additions, 0 deletionssrc/unit-test/scala/leon/LeonTestSuite.scala
- src/unit-test/scala/leon/TestSilentReporter.scala 13 additions, 0 deletionssrc/unit-test/scala/leon/TestSilentReporter.scala
- src/unit-test/scala/leon/evaluators/DefaultEvaluatorSuite.scala 359 additions, 0 deletions...it-test/scala/leon/evaluators/DefaultEvaluatorSuite.scala
- src/unit-test/scala/leon/purescala/LikelyEqSuite.scala 48 additions, 0 deletionssrc/unit-test/scala/leon/purescala/LikelyEqSuite.scala
- src/unit-test/scala/leon/purescala/TreeNormalizationsSuite.scala 84 additions, 0 deletions...t-test/scala/leon/purescala/TreeNormalizationsSuite.scala
- src/unit-test/scala/leon/purescala/TreeOpsSuite.scala 152 additions, 0 deletionssrc/unit-test/scala/leon/purescala/TreeOpsSuite.scala
- src/unit-test/scala/leon/purescala/TreeTestsSuite.scala 38 additions, 0 deletionssrc/unit-test/scala/leon/purescala/TreeTestsSuite.scala
- src/unit-test/scala/leon/purescala/WithLikelyEq.scala 87 additions, 0 deletionssrc/unit-test/scala/leon/purescala/WithLikelyEq.scala
- src/unit-test/scala/leon/synthesis/AlgebraSuite.scala 204 additions, 0 deletionssrc/unit-test/scala/leon/synthesis/AlgebraSuite.scala
- src/unit-test/scala/leon/synthesis/LinearEquationsSuite.scala 260 additions, 0 deletions...unit-test/scala/leon/synthesis/LinearEquationsSuite.scala
- src/unit-test/scala/leon/utils/StreamsSuite.scala 66 additions, 0 deletionssrc/unit-test/scala/leon/utils/StreamsSuite.scala
Loading
Please register or sign in to comment