Closed michael-schwarz closed 3 months ago
I tried to add --enable dbg.full-output
to understand what's going on. Turn out this fixes the problem!
This seems to be some sort of regression of #1312 ?!
That's definitely odd. Are the uniqueness counters looking at the variable name somewhere then?
The analysis claims here that the
while
loop is never left. Deactivating either option means the analysis succeeds.