Closed vaibhavbsharma closed 4 years ago
This change implements truncation that is currently missing in I2C. This change helps SPF give the right answer for the SV-COMP jbmc-regression/cast1 benchmark.
This change implements truncation that is currently missing in I2C. This change helps SPF give the right answer for the SV-COMP jbmc-regression/cast1 benchmark.