search

GaloisInc / salty

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

Fix/unhandled #18

Closed hamilj closed 4 years ago

hamilj commented 4 years ago

Handle known issues (empty inputs/outputs, spec naming collisions with generated)