search

goblint / analyzer

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

Introduce `Analyses.IdentityUnitContextsSpec` & Replace `Lattice.Unit` contexts with `Printable.Unit` #1397

Closed michael-schwarz closed 3 months ago

michael-schwarz commented 3 months ago

Closes #1378.