LTLMoP/LTLMoP — Issue #12: Extra & in LTL file if no environment constraints
Author: ConstantineLignos
Created: 2012-03-01 13:39:09+00:00
State: open

Reproduction steps:
1. Checkout latest slurp-dev (cc96ed4).
2. Run ```python specEditor.py examples/slurptest/slurptest_unreal.spec ```
3. Compile

Expected: Spec compiles but is unrealizable.
Actual: Compilation fails with:

Creating automaton...
line 10:1 no viable alternative at input ')'
Exception in thread "main" java.lang.Exception: Cannot parse specification "null".

When I look at the .ltl file, I see:

LTLSPEC -- Assumptions
(
TRUE & [](TRUE) & []<>(TRUE)
&

);

It looks like that extra & is killing it.