Commit 23bfef1

Daniel Kroening

committed

new signature for simplify_typecast

1 parent b642c44 commit 23bfef1Copy full SHA for 23bfef1

2 files changed

+157

-188

lines changed

src/util
- simplify_expr.cpp
- simplify_expr_class.h

2 files changed

+157

-188

lines changed

Comments

(0)