Skip to content

Set mode of if_exprt introduced in preprocessing - #2130

Merged
romainbrenguier merged 2 commits into
diffblue:developfrom
romainbrenguier:bugfix/if-expr-mode
Apr 28, 2018
Merged

Set mode of if_exprt introduced in preprocessing#2130
romainbrenguier merged 2 commits into
diffblue:developfrom
romainbrenguier:bugfix/if-expr-mode

Commits

Commits on Apr 27, 2018