Add benchmarks from frama-c Open Source case studies #416
Description
Time and memory regressions have been reported on frama-c benchmarks for OCaml 5.x. at ocaml/ocaml#11733. It is useful to add these benchmarks to Sandmark.
{{ message }}
Time and memory regressions have been reported on frama-c benchmarks for OCaml 5.x. at ocaml/ocaml#11733. It is useful to add these benchmarks to Sandmark.