epfl-lara/leon — pull request #33 by colder (2013-08-31 16:29:38+00:00)
Title: Performance regression tests, synthesis regression tests

Improve test suite by providing general&simple performance regression testing.

Also include several synthesis benchmarks as synthesis regression test-suite. For now it's not complete as not all pass 100%. More to come once these issues are fixed.