signed left-shift overflow depends on standard version#3690

Merged

tautschnig merged 2 commits intodevelopfrom

Jan 7, 2019

Commits on Jan 7, 2019

bugfix: use -std=gnu89 for C

Daniel Kroening
authored and
tautschnig
committed
signed left-shift overflow depends on standard version

Daniel Kroening
authored and
tautschnig
committed