Range types cannot be used inside modules
module Foo
type t = < range 0 1 >
constant c : int = t'minInt
end
gives unbound symbol 't'minInt'
. Replacing module
with theory
makes the testcase go through.
module Foo
type t = < range 0 1 >
constant c : int = t'minInt
end
gives unbound symbol 't'minInt'
. Replacing module
with theory
makes the testcase go through.