Refactor tests, again.
unit, integration, and regression tests can now share code as they are compiled together. Unit tests are now in package leon.unit and shared code lives in leon.test.
Showing
- build.sbt 12 additions, 33 deletionsbuild.sbt
- src/integration/scala/leon/integration/TestSilentReporter.scala 0 additions, 15 deletions...tegration/scala/leon/integration/TestSilentReporter.scala
- src/integration/scala/leon/integration/helpers/ExpressionsDSL.scala 0 additions, 72 deletions...ation/scala/leon/integration/helpers/ExpressionsDSL.scala
- src/integration/scala/leon/integration/helpers/WithLikelyEq.scala 0 additions, 65 deletions...gration/scala/leon/integration/helpers/WithLikelyEq.scala
- src/regression/scala/leon/regression/TestSilentReporter.scala 0 additions, 15 deletions...regression/scala/leon/regression/TestSilentReporter.scala
- src/test/resources/regression/frontends/error/simple/Asserts.scala 0 additions, 0 deletions...resources/regression/frontends/error/simple/Asserts.scala
- src/test/resources/regression/frontends/error/simple/ConvertBigInt.scala 0 additions, 0 deletions...ces/regression/frontends/error/simple/ConvertBigInt.scala
- src/test/resources/regression/frontends/error/simple/InstanceOf1.scala 0 additions, 0 deletions...urces/regression/frontends/error/simple/InstanceOf1.scala
- src/test/resources/regression/frontends/error/simple/LiteralBigInt.scala 0 additions, 0 deletions...ces/regression/frontends/error/simple/LiteralBigInt.scala
- src/test/resources/regression/frontends/error/simple/NotEquals.scala 0 additions, 0 deletions...sources/regression/frontends/error/simple/NotEquals.scala
- src/test/resources/regression/frontends/error/xlang/Array1.scala 0 additions, 0 deletions...t/resources/regression/frontends/error/xlang/Array1.scala
- src/test/resources/regression/frontends/error/xlang/Array10.scala 0 additions, 0 deletions.../resources/regression/frontends/error/xlang/Array10.scala
- src/test/resources/regression/frontends/error/xlang/Array2.scala 0 additions, 0 deletions...t/resources/regression/frontends/error/xlang/Array2.scala
- src/test/resources/regression/frontends/error/xlang/Array3.scala 0 additions, 0 deletions...t/resources/regression/frontends/error/xlang/Array3.scala
- src/test/resources/regression/frontends/error/xlang/Array4.scala 0 additions, 0 deletions...t/resources/regression/frontends/error/xlang/Array4.scala
- src/test/resources/regression/frontends/error/xlang/Array5.scala 0 additions, 0 deletions...t/resources/regression/frontends/error/xlang/Array5.scala
- src/test/resources/regression/frontends/error/xlang/Array6.scala 0 additions, 0 deletions...t/resources/regression/frontends/error/xlang/Array6.scala
- src/test/resources/regression/frontends/error/xlang/Array7.scala 0 additions, 0 deletions...t/resources/regression/frontends/error/xlang/Array7.scala
- src/test/resources/regression/frontends/error/xlang/Array8.scala 0 additions, 0 deletions...t/resources/regression/frontends/error/xlang/Array8.scala
- src/test/resources/regression/frontends/error/xlang/Array9.scala 0 additions, 0 deletions...t/resources/regression/frontends/error/xlang/Array9.scala
Loading
Please register or sign in to comment