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

Bug 337

Summary: query fails with function calls containing local process array variables passed by value
Product: UPPAAL Reporter: Marius Mikučionis <marius>
Component: libutapAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 4.0.1   
Hardware: PC   
OS: All   
Attachments: system model with function for query
Minimal test case
Query file for minimal test case

Description Marius Mikučionis 2006-07-12 16:56:05 CEST
the following query fails with incompatible argument exception:
E<> equalSets(tester.present, implementation.table)

see the model attached
Comment 1 Marius Mikučionis 2006-07-12 16:57:27 CEST
Created attachment 106 [details]
system model with function for query
Comment 2 Gerd Behrmann 2006-07-13 10:19:56 CEST
It should be noted that this seems to be limitted to arrays and function calls.
Comment 3 Gerd Behrmann 2006-07-13 10:47:27 CEST
Created attachment 108 [details]
Minimal test case
Comment 4 Gerd Behrmann 2006-07-13 10:48:22 CEST
Created attachment 109 [details]
Query file for minimal test case
Comment 5 Gerd Behrmann 2006-07-13 10:49:12 CEST
Seems to be limitted to record types (arrays do not seem to be a problem).
Comment 6 Gerd Behrmann 2006-07-13 13:26:36 CEST
Fixed on the 4.0 branch from rev. 2431.
Comment 7 Gerd Behrmann 2006-07-14 11:14:25 CEST
Fixed on the trunk from rev. 2438.