Bug 517

Summary: Assign a Clock Value to An Integer
Product: UPPAAL Reporter: Bora KARTAL <e129248>
Component: GUIAssignee: Marius Mikučionis <marius>
Severity: critical CC: marius
Priority: P2    
Version: 4.1.3   
Hardware: PC   
OS: Windows NT   

Description Bora KARTAL 2011-08-01 22:04:15 CEST
Im trying to assign a clock value to an integer. However UPPAAL does not allow it. I tried casting the clock value to an integer. However this did not work. Is there a way to do this?

clock c;
int a;

a = c + 5;
Comment 1 Marius Mikučionis 2019-10-28 14:13:49 CET
Arbitrary math expressions over clocks are not allowed in timed automata.