Add some reachability sub-categories for frama-c-sv
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.
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.