build.sbt · 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

build.sbt 3.95 KiB