gradual-verification / gvc0

Gradually Verified C0
6 stars 5 forks source link

Fix parsing big numbers #1

Open conradz opened 3 years ago

conradz commented 3 years ago

Currently the parser crashes when parsing large numbers (near or over the capacity of an Integer). The parser should parse values up to Integer.MAX_VALUE and return a parse error for larger values. See excluded test cases in IntegrationSpecs.scala