Use long-long integer constant as the left-hand side is long long#2458
Merged
kroening merged 1 commit intodiffblue:developfrom Jun 25, 2018
Merged
Use long-long integer constant as the left-hand side is long long#2458kroening merged 1 commit intodiffblue:developfrom
kroening merged 1 commit intodiffblue:developfrom
