Skip to content

fix: make extern decls evaluate as ⊤ instead of ⊥ in LCNF.elimDeadBranches#6928

Open
zwarich wants to merge 1 commit intoleanprover:masterfrom zwarich:elim-dead-branches-extern
+3-1

Commits