Skip to content

goto-symex: handle plain-symbol quantifier bound variables in rewrite_quantifiers#9066

Open
tautschnig wants to merge 1 commit into
developfrom
strata/symex-rewrite-quantifiers-plain-symbol
Open

goto-symex: handle plain-symbol quantifier bound variables in rewrite_quantifiers#9066
tautschnig wants to merge 1 commit into
developfrom
strata/symex-rewrite-quantifiers-plain-symbol

goto-symex/simplify: keep quantifier bound variables as plain symbols

7325d62
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar