Use calculateCuts in elim to ignore cyclic constraints instead of crashing#674

Open

K9-guardian wants to merge 3 commits intoucsd-progsys:developfrom K9-guardian:acyclicEliminate

+35-8

Commits on Mar 24, 2024

Use calculateCuts in elim to ignore cyclic constraints instead of crashing
K9-guardian
committed
add testcase with both cyclic and acyclic constraint
K9-guardian
committed

Commits on Mar 25, 2024

Fix acyclicEliminate to support new smt format
K9-guardian
committed