Bug 615

Summary: Combination of urgent channels + double guards gives zeno-behaviour-error
Product: UPPAAL Reporter: Peter Gjøl Jensen <pgj>
Component: EngineAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: normal CC: adavid
Priority: P5    
Version: 4.1.20   
Hardware: PC   
OS: Linux   
Attachments: Model provocating the error

Description Peter Gjøl Jensen 2016-09-27 01:07:32 CEST
Created attachment 294 [details]
Model provocating the error

When using urgent-channel on edge with double-guard, the engine (erroneously) produces a zeno-behaviour error. 

See attached model.

(Has been fixed in development branch stratego_2016_ndiscrete)
Comment 1 Marius Mikučionis 2017-02-20 10:28:35 CET
The fix has been released in stratego-4.1.20-4