LTLMoP/LTLMoP — Issue #11: Analyze shows slurptest.spec as unrealizable
Author: ConstantineLignos
Created: 2012-03-01 13:26:28+00:00
State: open

Reproduction steps:
1. Checkout latest slurp-dev (cc96ed4).
2. Run ```python specEditor.py examples/slurptest/slurptest.spec ```
3. Debug --> Analyze (you can compile first, it doesn't matter)

Expected: Analysis window shows that the spec is okay.
Actual: See "System highlighted goal(s) unrealizable. 1" and red highlighted lines. (Note that there's no pink, that's because of issue #10.) Screenshot: ![screenshot](http://i.imgur.com/NO6Sn.png)

My only guess was that there's some leftover file from when this same spec was unrealizable in the past?