Commit 719479d

Daniel Kroening

committed

simplifier: flip expression case split to new interface

This improves type safety.

1 parent 19bbfc6 commit 719479dCopy full SHA for 719479d

1 file changed

+72

-246

lines changed

src/util
- simplify_expr.cpp

1 file changed

+72

-246

lines changed

Comments

(0)