337 – query fails with function calls containing local process array variables passed by value

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

Bug 337 - query fails with function calls containing local process array variables passed by value

Summary: query fails with function calls containing local process array variables pass...

Attachments
system model with function for query (6.28 KB, application/xml) 2006-07-12 16:57 CEST, Marius Mikučionis	Details
Minimal test case (457 bytes, text/xml) 2006-07-13 10:47 CEST, Gerd Behrmann	Details
Query file for minimal test case (86 bytes, application/octet-stream) 2006-07-13 10:48 CEST, Gerd Behrmann	Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

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.