Numerical cast#1582

romainbrenguier merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:refactor/numerical-castromainbrenguier/cbmc:refactor/numerical-castCopy head branch name to clipboard