This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 484 - server crashes during simulation and trace generation
Summary: server crashes during simulation and trace generation
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: PC All
: P2 major
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2010-03-24 15:36 CET by Marius Mikučionis
Modified: 2010-05-25 18:48 CEST (History)
0 users

See Also:
Architecture:

Attachments
model to reproduce a crash (1.99 KB, text/xml)
2010-03-24 15:38 CET, Marius Mikučionis 		Details
input stream for server (2.12 KB, application/octet-stream)
2010-03-24 15:39 CET, Marius Mikučionis 		Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Marius Mikučionis 2010-03-24 15:36:59 CET 
it is possible (somehow) to come up with constraints that generate traces with no zones in the federation, which in turn crashes the server when the trace is being regenerated for storage or traversed in the simulator.
Comment 1 Marius Mikučionis 2010-03-24 15:38:22 CET 
Created attachment 228 [details]
model to reproduce a crash

the model which crashes the server
Comment 2 Marius Mikučionis 2010-03-24 15:39:46 CET 
Created attachment 229 [details]
input stream for server

communication stream which crashes the server
Comment 3 Alexandre David 2010-05-25 18:48:06 CEST 
Rev. 4539 should fix it.