{*} No warning for out-of-range constants

If s is declared with range [0..1], there is no warning that an expression like: 

s' = 2

is going to be always false. This can lead to counterintuitive models.

Ticc/BugMedium/No warning for out-of-range constants (last edited 2006-08-15 15:18:20 by LucaDeAlfaro)