search

GaloisInc / salty

A DSL for generating GR(1) problems
BSD 3-Clause "New" or "Revised" License
11 stars 3 forks source link

Parse error when bounding an Int variable #10

Closed sahabi closed 7 years ago

sahabi commented 7 years ago

salty gives a parse error when given this declaration:

input y : Int (0,3) = 2

elliottt commented 7 years ago

Sorry about misleading you over email, the actual syntax is:

input y : Int 0 ... 3 = 2