search

GaloisInc / salty

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

Realizable in Slugs but not realizable in Salty #9

Closed sahabi closed 7 years ago

sahabi commented 7 years ago

Example: https://github.com/GaloisInc/salty/blob/master/examples/optimisticRecoveryTest.salt

cc @elliottt

elliottt commented 7 years ago

The problem is now that negation needs to be handled in mkAssign in the Slugs.Translate module.

elliottt commented 7 years ago

OK, both cases go through now.