Skip to content

Make option global for Frama-C-SV

Martin Spiessl requested to merge masp/bench-defs:frama-c-sv-make-option-global-fix into main

marked as draft because this is to be merged by organizer after the SV-COMP 2022 tag is set => draft status can be removed once this condition is met

This option was accidentally put for a specific category, which is actually not allowed by SV-COMP. It makes no difference for our tool, and in order to make this clear and adhere to the rules that option is hereby shifted to the global set of options.

Edited by Martin Spiessl

Merge request reports