loonwerks / jkind

JKind - An infinite-state model checker for safety properties in Lustre
http://loonwerks.com/tools/jkind.html
Other
52 stars 32 forks source link

Counterexample truncation sign error in stdout #64

Closed TimArnettThales closed 2 years ago

TimArnettThales commented 3 years ago

Truncated values can have the wrong sign when printed to stdout. The values are represented correctly (confirmed with xls output) but the truncation used causes small negative values to be represented as positive. E.g. a value of -0.00045 was represented as 0.000 instead of -0.000