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

Bug 526 - SMC generates only half of the simulation runs on Windows
Summary: SMC generates only half of the simulation runs on Windows
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.4
Hardware: PC Windows XP
: P2 normal
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2011-09-20 11:41 CEST by Marius Mikučionis
Modified: 2011-09-20 11:44 CEST (History)
0 users

See Also:
Architecture:

Attachments
model.xml (4.74 KB, text/xml)
2011-09-20 11:42 CEST, Marius Mikučionis 		Details
query.q (29 bytes, application/octet-stream)
2011-09-20 11:42 CEST, Marius Mikučionis 		Details
wrong.png (18.77 KB, image/png)
2011-09-20 11:44 CEST, Marius Mikučionis 		Details
good.png (24.10 KB, image/png)
2011-09-20 11:44 CEST, 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 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