Skip to content
Snippets Groups Projects
Select Git revision
  • main default
  • scala-2.13
  • github/fork/mario-bucev/more-instantiation
  • github/fork/SolalPirelli/sp/minimizer
  • scala-2.12.13
  • add-blocker-graph-debug
  • add-map-equal-value-keys
  • fix-stainless-1135
  • github/fork/jad-hamza/replaceFromSymbols-positions
  • refactor-parser
  • dotty-compat
  • v1.1.5
  • v1.1.0
  • v1.0.2
  • v1.0.1
  • v1.0
16 results
Blame Permalink
  • Etienne Kneuss's avatar
    20e8c86a
    Refactor tests, again. · 20e8c86a
    Etienne Kneuss authored 
    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.
    20e8c86a
    History
    Refactor tests, again.
    Etienne Kneuss authored 
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.