COMPASS Research / Old Bug Tracker / #76 Model checker does not even seem to work on the model-checker small test cases

Model checker does not even seem to work on the model-checker small test cases

Status: Pre-Alpha

Brought to you by: joeycoleman, lausdahl, pglvdm

#76 Model checker does not even seem to work on the model-checker small test cases

Milestone: 0.1.8

Status: open

Owner: Adalberto Cajueiro de Farias

Labels: None

Module: model-checker

Updated: 2013-11-04

Created: 2013-09-21

Creator: Peter Gorm Larsen

Private: No

For example action-div gives:
java.net.SocketException: Connection reset
at java.net.SocketInputStream.read(Unknown Source)
at java.net.SocketInputStream.read(Unknown Source)
at sun.nio.cs.StreamDecoder.readBytes(Unknown Source)
at sun.nio.cs.StreamDecoder.implRead(Unknown Source)
at sun.nio.cs.StreamDecoder.read(Unknown Source)
at java.io.InputStreamReader.read(Unknown Source)
at java.io.BufferedReader.fill(Unknown Source)
at java.io.BufferedReader.readLine(Unknown Source)
at java.io.BufferedReader.readLine(Unknown Source)
at eu.compassresearch.core.interpreter.debug.messaging.MessageCommunicator.receiveMessage(MessageCommunicator.java:146)
at eu.compassresearch.ide.interpreter.protocol.CmlCommunicationManager.receiveMessage(CmlCommunicationManager.java:97)
at eu.compassresearch.ide.interpreter.protocol.CmlCommunicationManager.run(CmlCommunicationManager.java:163)

Discussion

Joey Coleman - 2013-09-29

assigned_to: Adalberto Cajueiro de Farias
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Kenneth Lausdahl - 2013-11-04

Module: --> model-checker
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Model checker does not even seem to work on the model-checker small test cases

Milestone

Searches

Help

#76 Model checker does not even seem to work on the model-checker small test cases

Discussion