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

Handle `Lattice.BotValue` in `Lattice.LiftBot` and similar

Open sim642 opened this issue 1 year ago • 0 comments

This was wondered in https://github.com/goblint/analyzer/pull/1485#discussion_r1714983146. We already have special BotValue exception that can indicate such thing, but oddly this is not properly lifted by the LiftBot functor.

sim642 avatar Sep 23 '24 08:09 sim642