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

Bug 484

Summary:	server crashes during simulation and trace generation
Product:	UPPAAL	Reporter:	Marius Mikučionis <marius>
Component:	Engine	Assignee:	Alexandre David <adavid>
Status:	RESOLVED FIXED
Severity:	major
Priority:	P2
Version:	unspecified
Hardware:	PC
OS:	All
Architecture:
Attachments:	model to reproduce a crash input stream for server

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.