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

Bug 526

Summary:	SMC generates only half of the simulation runs on Windows
Product:	UPPAAL	Reporter:	Marius Mikučionis <marius>
Component:	Engine	Assignee:	Alexandre David <adavid>
Status:	NEW ---
Severity:	normal
Priority:	P2
Version:	4.1.4
Hardware:	PC
OS:	Windows XP
Architecture:
Attachments:	model.xml query.q wrong.png good.png

Description Marius Mikučionis 2011-09-20 11:41:02 CEST

I have a simple model which uses probabilistic branches with uniform delay to generate particular histograms. The version on Linux generates the correct (expected) results consisting of complete histogram. But the Win32 version (tried on Windows and wine), generates only the first half of it, which is wrong.

Comment 1 Marius Mikučionis 2011-09-20 11:42:02 CEST

Created attachment 245 [details]
model.xml

Comment 2 Marius Mikučionis 2011-09-20 11:42:19 CEST

Created attachment 246 [details]
query.q

Comment 3 Marius Mikučionis 2011-09-20 11:44:05 CEST

Created attachment 247 [details]
wrong.png

The wrong result on windows

Comment 4 Marius Mikučionis 2011-09-20 11:44:32 CEST

Created attachment 248 [details]
good.png

The good (expected) result on Linux