Wiki » History » Version 1
Version 1/4
-
Next ยป -
Current version
Karine Even Mendoza, 24/11/2016 11:49
Wiki¶
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.