analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

Improve use of `Lattice.BotValue` and `Lattice.TopValue`

Open sim642 opened this issue 1 year ago • 0 comments

Closes #1572.

Also removes Lattice.Unsupported by replacing usages with the more specific BotValue or TopValue.

There's also Lattice.Uncomparable which seems similar: https://github.com/goblint/analyzer/blob/52817d651f1de47dee935925952ad55e277013db/src/domain/lattice.ml#L14-L15 But #1109 seems to use it with some slightly different meaning.

sim642 avatar Sep 23 '24 09:09 sim642