search

goblint / bench

The benchmark suite
4 stars 5 forks source link

Thread-modular witnesses benchmarking #51

Closed sim642 closed 1 year ago

sim642 commented 1 year ago

BenchExec XML definitions and scripts for thread-modular witnesses evaluation. Currently anonymized for the replication package.

sim642 commented 1 year ago

I'll have a look at this again before merging. I think I might've committed additional comparison ideas that I never executed, so something might be broken. I'll rerun everything to make sure everything still works.