search

goblint / bench

The benchmark suite
4 stars 5 forks source link

Fix td3.json and td4 json config files #12

Closed jerhard closed 2 years ago

jerhard commented 2 years ago

The accepted json-format changed, the option "exp.solver" moved to "solver"and "solvers". This PR fixes the config files so that ./update_bench_incremental.rb 60 index/defs/incremental.yaml index/sets/posix.yaml works again

sim642 commented 2 years ago

I think some index/defs/ files also mention the outdated option names.

sim642 commented 2 years ago

So this is good to merge, or?