Summary: | server crash with Segmentation fault | ||
---|---|---|---|
Product: | UPPAAL ECDAR | Reporter: | Marius Mikučionis <marius> |
Component: | Engine | Assignee: | Marius Mikučionis <marius> |
Status: | ASSIGNED --- | ||
Severity: | normal | CC: | rlauri13 |
Priority: | P5 | ||
Version: | 0.10 | ||
Hardware: | PC | ||
OS: | Linux | ||
Architecture: | |||
Attachments: |
std input stream to server
A zip file with the debug files gotten from the Socketserver, NB the model used there is the University example, anyhow same problem occurs |
Created attachment 324 [details]
A zip file with the debug files gotten from the Socketserver, NB the model used there is the University example, anyhow same problem occurs
The whole crash happens when calling the getTransitions() in the Engine class in the Model.jar.
Here I have used the Model.jar and Uppaal.jar which are included in the Ecdar0.10 tool. The parameters I pass to the method is the system, which has been generated by the same Model.jar, and the initial symbolic state, gotten from getSymbolicInitial().
In the Zip file, there are examples of how I use the Model.jar, in the EcdarDriver.java and EcdarTraceHandler.java. It is in the EcdarTraceHandler.java where getTransitions() is called.
It also has to be mentioned that I do not have problems with regards to executing queries.
|
Created attachment 323 [details] std input stream to server The server crashes when handling requests from model.jar API. The input to server is attached.