Use long-long integer constant as the left-hand side is long long#2458

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:vs-long-long

Jun 25, 2018

Commits on Jun 25, 2018

Use long-long integer constant as the left-hand side is long long
tautschnig
committed