search

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

Large rationals are expressed as hard to interpret fractions #25

Closed lgwagner closed 8 years ago

lgwagner commented 9 years ago

Is it possible to have a flag that will print rationals as decimal points with some predetermined number of significant figures, rather than very huge fractions which are hard to interpret within counterexamples.

For example: -23432423423/23477234732442 is hard to read.