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

Bug 414

Summary: before_update/after_update in local declaration
Product: UPPAAL Reporter: Jacob Illum <illum>
Component: EngineAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: normal CC: marius
Priority: P2    
Version: 4.0.6   
Hardware: PC   
OS: Linux   
Attachments: Test case

Description Jacob Illum 2007-04-23 10:16:18 CEST
Using before_update and after_update in local declarations using local variables fails with a Server connection lost

It doesn't fail when using only global variables.
Comment 1 Gerd Behrmann 2007-05-13 18:00:26 CEST
Comment 2 Gerd Behrmann 2007-05-15 17:44:58 CEST
Created attachment 156 [details]
Test case
Comment 3 Gerd Behrmann 2007-05-15 17:54:46 CEST
Fixes on the 4.0 branch from rev. 3063.  We now report an error if before_update and after_update is used inside a template. 

In a future version we may consider allowing these statements inside templates, however, currently it is not clear to me what the semantics should be.
Comment 4 Marius Mikučionis 2019-10-21 10:15:52 CEST
taking over