keiro-dsl-0.15.0.0: test/fixtures/rule-bad-domain.keiro
language keiro-dsl 4
context repro
enum Color { Red=red Green=green }
rule isHot : Temperature -> Bool
ex Red => now ; Blue => true
language keiro-dsl 4
context repro
enum Color { Red=red Green=green }
rule isHot : Temperature -> Bool
ex Red => now ; Blue => true