Open RaoMukkamala opened 9 years ago
The TLS handshake protocol failed to compile. The model can be found in positive testcase repository or can also be found at: TLS Handshake Protocol
The error message: All clafers: 69 | Abstract: 10 | Concrete: 59 | References: 6 Constraints: 52 Goals: 0 Global scope: 1..* Can skip resolver: no
clafer: AlloyLtl.genPExp': No pattern match for IClaferId {_modName = "", _sident = "ref", _isTop = True, _binding = Nothing} [Finished in 0.5s 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_TLSHandshakeProtocol_distributed.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]
The TLS handshake protocol failed to compile. The model can be found in positive testcase repository or can also be found at: TLS Handshake Protocol
The error message: All clafers: 69 | Abstract: 10 | Concrete: 59 | References: 6 Constraints: 52 Goals: 0 Global scope: 1..* Can skip resolver: no
clafer: AlloyLtl.genPExp': No pattern match for IClaferId {_modName = "", _sident = "ref", _isTop = True, _binding = Nothing} [Finished in 0.5s 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_TLSHandshakeProtocol_distributed.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]