keep some string for truncated integer constants

cil-project / cil

C Intermediate Language

Other

348 stars 86 forks source link

keep some string for truncated integer constants #32

Closed vogler closed 6 years ago

vogler commented 7 years ago

CInt64 has a string option for the original representation, but it is always None. Also, this should allow to check if it was truncated or not. See goblint/analyzer#59.

vogler commented 7 years ago

I don't get why the CI checks fail. Should they be working?