Skip to content

Use from_{expr,type} matching the language of the expression/type#2085

Merged
kroening merged 1 commit intodiffblue:developfrom
tautschnig:from_expr-cleanup
Apr 21, 2018

Commits

Commits on Apr 19, 2018