ada/spark2014
0
0
Fork 0
mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
25-sustained
spark2014/benchmark_script
History
Johannes Kanig 26ba30ddbd V411-001 fix cvc5 in bench scripts 
* add fake_cvc5 script
* remove yet another list of "all" provers, replace by reference to
  config file
* improve setting of default 100% baseline, allow for partial
  baseline
* output all baseline violations instead of just one

Change-Id: Ib27f23f3046e9fa43dc2f32f74d6d71a624118fc
2022-04-14 07:39:20 +00:00
..
fake_alt-ergo
TB04-006 improve benchmark scripts
2020-11-06 09:17:51 +01:00
fake_cvc4
TB04-006 improve benchmark scripts
2020-11-06 09:17:51 +01:00
fake_cvc5
V411-001 fix cvc5 in bench scripts
2022-04-14 07:39:20 +00:00
fake_z3
TB04-006 improve benchmark scripts
2020-11-06 09:17:51 +01:00