src/test/resources/regression/performance/cegis/Distinct.scala · 5539e479e6e96d30f3c9952bbe163492b503d717 · LARA / inox

9 years ago

Etienne Kneuss authored 9 years ago

Performance tests are invoked via "sbt perf:test". Currently testing
performance of CEGIS on some random synthesis problems

5539e479

Etienne Kneuss authored 9 years ago

Performance tests are invoked via "sbt perf:test". Currently testing
performance of CEGIS on some random synthesis problems

Distinct.scala 595 B