To do #7861
A minimal necessary unwinding bound
Status:
New
Priority:
Normal
Assignee:
-
Start date:
07/09/2018
Due date:
% Done:
0%
Estimated time:
Description
A minimal necessary unwinding bound
A lazy enumeration of unrollings, it is something that CBMC is doing in SVCOMP.