Wiki » History » Version 1
Karine Even Mendoza, 24/11/2016 11:49
| 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 | 1 | 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 | 1 | 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 | 1 | 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. |