[WiP] Benchexec context bound (DO NOT MERGE)

[lucasccordeiro]

[lucasccordeiro]

Before this PR:

Statistics:           1082 Files
  correct:             967
    correct true:      182
    correct false:     785
  incorrect:            21
    incorrect true:     14
    incorrect false:     7
  unknown:              94
  Score:               589 (max: 1344)

Here are the results of this PR using incremental context-bound with the following parameters:

--incremental-cb
--context-bound-step 4 (starting at 2, 6, 10, 14, 18)
--max-context-bound 20
--unwind 10

Statistics:           1082 Files
  correct:             817
    correct true:       44
    correct false:     773
  incorrect:             5
    incorrect true:      2
    incorrect false:     3
  unknown:             260
  Score:               749 (max: 1344)

--incremental-cb
--context-bound-step 5 (starting at 2, 7, 12)
--max-context-bound 15
--unwind 8

Statistics:           1082 Files
  correct:             876
    correct true:      102
    correct false:     774
  incorrect:             5
    incorrect true:      2
    incorrect false:     3
  unknown:             201
  Score:               866 (max: 1344)

[github-actions[bot]]

Stale pull request message