hi-bench

h1. Wiki

h2. Folders in the Benchmark Set

The folders are divided into 3 categories.

* _/main-bench_: where are all the working or suppose to work benchmarks. Please add here any new benchmark that you have and works (instead of sending it via email).

* _/challenge-bench_: where are all the benchmarks with no encoding to SMT support exists. If you add a new functionality please do check if there are some benchmarks here that can be in main-bench.

* _/raw-code-examples_: if you have a new set of benchmarks that we shall start work on and check, please add it here.

h3. Folders in the Main Benchmark Set

* To test that basic things are working in HiFrog, use these sets: _/arithmetic_, _/branching_, _/convertions_, _/counter_example_, and _/inject_summaries_.

* Regression tests: _/funfrog_regression_ and _/sv-comp16_.

* More complicated test: _/sv-comp16_ and _/milano-bicocca-bench_.