Wiki » History » Version 2
Karine Even Mendoza, 24/11/2016 11:53
| 1 | 1 | Karine Even Mendoza | h1. Wiki |
|---|---|---|---|
| 2 | |||
| 3 | h2. Folders in the Benchmark Set |
||
| 4 | |||
| 5 | The folders are divided into 3 categories. |
||
| 6 | |||
| 7 | 2 | Karine Even Mendoza | * _/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). |
| 8 | * _/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. |
||
| 9 | * _/raw-code-examples_: if you have a new set of benchmarks that we shall start work on and check, please add it here. |
||
| 10 | |||
| 11 | h3. Folders in the Main Benchmark Set |
||
| 12 | |||
| 13 | * To test that basic things are working in HiFrog, use these sets: _/arithmetic_, _/branching_, _/convertions_, _/counter_example_, and _/inject_summaries_. |
||
| 14 | * Regression tests: _/funfrog_regression_ and _/sv-comp16_. |
||
| 15 | * More complicated test: _/sv-comp16_ and _/milano-bicocca-bench_. |