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

Allow constant expressions in subrange types #7

Closed agacek closed 11 years ago

agacek commented 11 years ago

It would be nice if JKind allowed constant expressions in subrange types, e.g.

const N = 10;
...
x : subrange [N, N+3] of int;
agacek commented 11 years ago

I've come to see subranges just as poor man's enumerations and as such this feature no longer seems as important.