-or- expressions are now allowed in initial and forbidden states, although by default printers will reject this using Preconditions. The SpaceEx printer skips this check. Eventually, I'll have a conversion to standard form for printers which don't support disjunctions.
I've also added a set of tests to detect and confirm the fix. Please review and merge when ready.
ttj
commented
8 years ago
This is a bug fix for issue 24: https://github.com/verivital/hyst/issues/24
-or- expressions are now allowed in initial and forbidden states, although by default printers will reject this using Preconditions. The SpaceEx printer skips this check. Eventually, I'll have a conversion to standard form for printers which don't support disjunctions.
I've also added a set of tests to detect and confirm the fix. Please review and merge when ready.