Skip to content

Apply PR #1040 to the benchmarks from issue #1041.

Marek Chalupa requested to merge github/fork/staticafi/remove_VERIFIER_assume_1035_2 into master

The changes were made by @skanav, I just applied them to a subset of the benchmarks.

Merge request reports