This is an import of Goblint regression tests that fulfill the following criteria:
uses apron analysis,
is multi-threaded,
has succeeding assertions.
Other UNKNOWN! assertions have been commented out and FAIL assertions have been negated.
The accompanying index file allows running our relevant analyses on all those benchmarks and the results count proven assertions. These could be included in the evaluation (w.r.t. precision, not performance).
This is an import of Goblint regression tests that fulfill the following criteria:
Other
UNKNOWN!
assertions have been commented out andFAIL
assertions have been negated.The accompanying index file allows running our relevant analyses on all those benchmarks and the results count proven assertions. These could be included in the evaluation (w.r.t. precision, not performance).
A run of these is currently available here: https://goblint.cs.ut.ee/simmo-results/goblint-bench_result-traces-rel-toy/.