search

diffblue / 2ls

Static Analyzer and Verifier
http://www.cprover.org/2LS
Other
43 stars 22 forks source link

Remove list iterators #147

Closed viktormalik closed 3 years ago

viktormalik commented 3 years ago

These are not used, so the code is basically dead and can be safely removed.

viktormalik commented 3 years ago

These were used for interprocedural shape analysis, but they never really worked, I think. The tests that were using those were eventually either removed or executed with --inline.