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

Bug 414 - before_update/after_update in local declaration
Summary: before_update/after_update in local declaration
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.6
Hardware: PC Linux
: P2 normal
Assignee: Marius Mikučionis
Depends on:
Reported: 2007-04-23 10:16 CEST by Jacob Illum
Modified: 2019-10-21 10:15 CEST (History)
1 user (show)

See Also:

Test case (599 bytes, text/plain)
2007-05-15 17:44 CEST, Gerd Behrmann

Note You need to log in before you can comment on or make changes to this bug.
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