Implement performance regression testing
Ensures that tests run in an acceptable amount of time. Needs at least 5 runs. Can cause failures of test-only due to warm-up and class loading effects.
Showing
- .gitignore 1 addition, 0 deletions.gitignore
- build.sbt 5 additions, 1 deletionbuild.sbt
- src/test/scala/leon/test/LeonTestSuite.scala 86 additions, 0 deletionssrc/test/scala/leon/test/LeonTestSuite.scala
- src/test/scala/leon/test/evaluators/EvaluatorsTests.scala 1 addition, 3 deletionssrc/test/scala/leon/test/evaluators/EvaluatorsTests.scala
- src/test/scala/leon/test/purescala/DataGen.scala 1 addition, 1 deletionsrc/test/scala/leon/test/purescala/DataGen.scala
- src/test/scala/leon/test/purescala/LikelyEqSuite.scala 3 additions, 4 deletionssrc/test/scala/leon/test/purescala/LikelyEqSuite.scala
- src/test/scala/leon/test/purescala/TreeNormalizationsTests.scala 1 addition, 3 deletions...t/scala/leon/test/purescala/TreeNormalizationsTests.scala
- src/test/scala/leon/test/purescala/TreeOpsTests.scala 1 addition, 3 deletionssrc/test/scala/leon/test/purescala/TreeOpsTests.scala
- src/test/scala/leon/test/purescala/TreeTests.scala 3 additions, 4 deletionssrc/test/scala/leon/test/purescala/TreeTests.scala
- src/test/scala/leon/test/solvers/TimeoutSolverTests.scala 3 additions, 4 deletionssrc/test/scala/leon/test/solvers/TimeoutSolverTests.scala
- src/test/scala/leon/test/solvers/z3/FairZ3SolverTests.scala 1 addition, 3 deletionssrc/test/scala/leon/test/solvers/z3/FairZ3SolverTests.scala
- src/test/scala/leon/test/solvers/z3/FairZ3SolverTestsNewAPI.scala 1 addition, 3 deletions.../scala/leon/test/solvers/z3/FairZ3SolverTestsNewAPI.scala
- src/test/scala/leon/test/solvers/z3/UninterpretedZ3SolverTests.scala 1 addition, 3 deletions...ala/leon/test/solvers/z3/UninterpretedZ3SolverTests.scala
- src/test/scala/leon/test/synthesis/AlgebraSuite.scala 3 additions, 4 deletionssrc/test/scala/leon/test/synthesis/AlgebraSuite.scala
- src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala 3 additions, 4 deletions...test/scala/leon/test/synthesis/LinearEquationsSuite.scala
- src/test/scala/leon/test/synthesis/SynthesisSuite.scala 1 addition, 2 deletionssrc/test/scala/leon/test/synthesis/SynthesisSuite.scala
- src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala 1 addition, 3 deletions...n/test/verification/PureScalaVerificationRegression.scala
- src/test/scala/leon/test/verification/XLangVerificationRegression.scala 1 addition, 3 deletions.../leon/test/verification/XLangVerificationRegression.scala
Loading
Please register or sign in to comment