Skip to content

Turn "label: goto label;" or "while(cond);" into assume#375

Merged
kroening merged 1 commit intodiffblue:masterfrom tautschnig:trivial-loopsApr 4, 2017
+21

Commits

Commits on Jan 25, 2017