Skip to content

Add some reachability sub-categories for frama-c-sv

Martin Spiessl requested to merge masp/bench-defs:frama-c-categories into main

We can support some parts of reachability now by encoding them as overflows. In the future we might be able to support this directly without this hack with the support of the frama-c team.

Merge request reports