keiro-dsl-0.15.0.0: test/frontend-0.7/sources/feature-integer-v1.keiro

language keiro-dsl 1
context feature
aggregate Counter
  regs
    value Integer = 0
  states Open