Skip to content

Commit ccce5d7

Browse files
Andreas PaschosNlightNFotis
Andreas Paschos
authored and
NlightNFotis
committed
Convert throws and asserts to INVARIANTs for goto_convert.cpp
1 parent bc4503d commit ccce5d7

File tree

1 file changed

+112
-188
lines changed

1 file changed

+112
-188
lines changed

0 commit comments

Comments
 (0)