Add Concrat benchmarks - Githubissues

goblint / bench

The benchmark suite

4 stars 5 forks source link

Add Concrat benchmarks #53

Closed sim642 closed 9 months ago

sim642 commented 1 year ago

Issue #52.

Individual benchmark status tracked at https://github.com/orgs/goblint/projects/7/views/1.

TODO

[x] Add their Goblint conf.
[x] Add index file with arguments (ones without main have allfuns).

Problems

[ ] https://github.com/goblint/cil/issues/132
[ ] sysbench, sysbench-fixed: multiple definition of sb_rand_uniform_double function.
[x] https://github.com/goblint/analyzer/pull/996
[ ] Other non-standard missing library functions (project-specific, OpenGL, etc).
[x] brubeck: https://github.com/goblint/analyzer/issues/998

sim642 commented 9 months ago

Merging because these benchmarks are to be used for the PLDI paper.