Refactor tests
- src/test holds unit tests that should be testing one feature alone - src/integration holds integration tests that can use extraction, solvers, codegen, etc.. - src/regression runs all the regression suites.
Showing
- build.sbt 33 additions, 18 deletionsbuild.sbt
- src/integration/scala/leon/test/LeonTestSuite.scala 50 additions, 0 deletionssrc/integration/scala/leon/test/LeonTestSuite.scala
- src/integration/scala/leon/test/LeonTestSuiteWithProgram.scala 72 additions, 0 deletions...ntegration/scala/leon/test/LeonTestSuiteWithProgram.scala
- src/integration/scala/leon/test/TestSilentReporter.scala 2 additions, 1 deletionsrc/integration/scala/leon/test/TestSilentReporter.scala
- src/integration/scala/leon/test/evaluators/CodegenEvaluatorSuite.scala 82 additions, 128 deletions...on/scala/leon/test/evaluators/CodegenEvaluatorSuite.scala
- src/integration/scala/leon/test/evaluators/EvaluatorSuite.scala 400 additions, 0 deletions...tegration/scala/leon/test/evaluators/EvaluatorSuite.scala
- src/integration/scala/leon/test/helpers/ExpressionsDSL.scala 72 additions, 0 deletionssrc/integration/scala/leon/test/helpers/ExpressionsDSL.scala
- src/integration/scala/leon/test/helpers/WithLikelyEq.scala 65 additions, 0 deletionssrc/integration/scala/leon/test/helpers/WithLikelyEq.scala
- src/integration/scala/leon/test/purescala/DataGenSuite.scala 106 additions, 0 deletionssrc/integration/scala/leon/test/purescala/DataGenSuite.scala
- src/integration/scala/leon/test/purescala/DefOpsSuite.scala 110 additions, 0 deletionssrc/integration/scala/leon/test/purescala/DefOpsSuite.scala
- src/integration/scala/leon/test/purescala/InliningSuite.scala 48 additions, 0 deletions...integration/scala/leon/test/purescala/InliningSuite.scala
- src/integration/scala/leon/test/purescala/SimplifyPathsSuite.scala 90 additions, 0 deletions...ration/scala/leon/test/purescala/SimplifyPathsSuite.scala
- src/integration/scala/leon/test/solvers/EnumerationSolverSuite.scala 29 additions, 0 deletions...tion/scala/leon/test/solvers/EnumerationSolverSuite.scala
- src/integration/scala/leon/test/solvers/FairZ3SolverTests.scala 73 additions, 0 deletions...tegration/scala/leon/test/solvers/FairZ3SolverTests.scala
- src/integration/scala/leon/test/solvers/LeonSolverSuite.scala 92 additions, 0 deletions...integration/scala/leon/test/solvers/LeonSolverSuite.scala
- src/integration/scala/leon/test/solvers/TimeoutSolverSuite.scala 7 additions, 7 deletions...egration/scala/leon/test/solvers/TimeoutSolverSuite.scala
- src/integration/scala/leon/test/solvers/UnrollingSolverSuite.scala 54 additions, 0 deletions...ration/scala/leon/test/solvers/UnrollingSolverSuite.scala
- src/main/scala/leon/codegen/CodeGeneration.scala 7 additions, 2 deletionssrc/main/scala/leon/codegen/CodeGeneration.scala
- src/main/scala/leon/codegen/CompilationUnit.scala 11 additions, 0 deletionssrc/main/scala/leon/codegen/CompilationUnit.scala
- src/main/scala/leon/utils/TemporaryInputPhase.scala 12 additions, 9 deletionssrc/main/scala/leon/utils/TemporaryInputPhase.scala
Loading
Please register or sign in to comment