Clafer Transitions (tmp_clafertransitions01.cfr)

[RaoMukkamala]

Checks

1. test case is ok ? Yes
2. Compiles ? No, error
3. De-sugars correctly ? No
4. Compiles in Alloy ? No
5. Instances in alloy are ok? Not checked

*_Error message in compiling clafer file: *_

clafer: AlloyLtl.genPExp': No pattern match for IClaferId {_modName = "", _sident = "~@r_c0_c", _isTop = True, _binding = Nothing}
[Finished in 0.0s with exit code 1]
[cmd: ['/home/clafertools/.config/sublime-text-3/Packages/Clafer Tools/clafer', '/home/clafertools/behavioral-0.4.0/clafer/test/positive/tmp_clafertransitions01.cfr', '-m=alloyltl', '-m=clafer', '-m=html', '--add-comments', '--self-contained']]
[dir: /home/clafertools/behavioral-0.4.0/clafer/test/positive]
[path: .:/opt/ghc/7.8.3/bin:/opt/cabal/1.20/bin:/home/clafertools/.cabal/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games]