Skip to content

Use numeric_cast<mp_integer> instead of deprecated to_integer(exprt)#3252

Merged
kroening merged 1 commit intodiffblue:developfrom
tautschnig:vs-no-to_integer
Nov 3, 2018

Commits

Commits on Nov 2, 2018