goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
160 stars 72 forks source link

Simplify `SetDomain.FiniteSet` for first analysis tutorial #1495

Closed sim642 closed 3 weeks ago

sim642 commented 1 month ago

This completes an existing code TODO. It's a lot easier to add the elements list to the existing module rather than need a second functor argument with funky type constraints.