Bug 554

Summary: Query Check
Product: UPPAAL Reporter: Alessandro Palermo <shark->
Component: EngineAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: major    
Priority: P5    
Version: unspecified   
Hardware: PC   
OS: Windows NT   
Attachments: Uppaal Model With Single Query

Description Alessandro Palermo 2013-06-21 16:19:34 CEST
Created attachment 261 [details]
Uppaal Model With Single Query

In the attachment model a query result Satisfied if clock order in global declaration is:

clock time[TASK];
clock x[TASK];

Same query result May Not Be Satisfied if the clock order is:

clock x[TASK];
clock time[TASK];