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

Bug 216

Summary: Statements on edges
Product: UPPAAL Reporter: Alexandre David <adavid>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P3    
Version: 3.6 Alpha 1   
Hardware: All   
OS: All   
Architecture:

Description Alexandre David 2005-11-03 17:51:56 CET 
In updates of edges only expressions are currently allowed. There are some cases
where simple statements also make perfectly sense so we could have statements in
updates, or at least some of them. A candidate is the for() statement that is
very convenient to update an array.