Checks
- test case is ok ? Yes
- Compiles ? No, error
- De-sugars correctly ? No
- Compiles in Alloy ? No
- Instances in alloy are ok? Not checked
Error message in compiling clafer file and no alloy code generated.
All clafers: 5 | Abstract: 0 | Concrete: 5 | References: 0
Constraints: 1
Goals: 0
Global scope: 1..1
Can skip resolver: yes
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_clafertransitions02.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]
Checks
Error message in compiling clafer file and no alloy code generated.
All clafers: 5 | Abstract: 0 | Concrete: 5 | References: 0
Constraints: 1
Goals: 0
Global scope: 1..1
Can skip resolver: yes
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_clafertransitions02.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]