l4v icon indicating copy to clipboard operation
l4v copied to clipboard
verified publisher icon seL4

does `ccorres` need a `corres_cases` equivalent?

Open lsf37 opened this issue 2 years ago • 0 comments

See the discussion in #649, in particular, Corey pointing out that ccorres probably has the same issue.

For ccorres it would make a lot of sense to additionally split on IF .. THEN .. ELSE statements. Possibly also on the abstract side, but definitely on the C side.

lsf37 avatar Jun 26 '23 06:06 lsf37