This was an attempt to regenerate the benchmarks from #3 using a newer version of Klever etc. Seems that the Frama-C issue has been fixed: https://github.com/goblint/bench/issues/3#issuecomment-1056675513. Moreover, the generated benchmarks use a Linux 5.5 build base instead of 4.2.6 or 4.18.
This was an attempt to regenerate the benchmarks from #3 using a newer version of Klever etc. Seems that the Frama-C issue has been fixed: https://github.com/goblint/bench/issues/3#issuecomment-1056675513. Moreover, the generated benchmarks use a Linux 5.5 build base instead of 4.2.6 or 4.18.
Requires https://github.com/goblint/analyzer/pull/688 to analyze with Goblint.
TODO