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