Model translation failed for DefSet5 example
Description
Environment
None
Activity
Show:

Michael Leuschel November 12, 2020 at 8:36 AM
There were two problems here: a missing translation for store … false and the fact that as const Array Type Bool ignored the Type and always returned BOOL.
Test 2063 was added and problem is now fixed in commit 8647e76ac15c7f5dedf26ebc772b5457a02110c1
Fixed
Details
Details
Assignee

Reporter

Priority
Created November 11, 2020 at 8:54 PM
Updated November 12, 2020 at 8:37 AM
Resolved November 12, 2020 at 8:37 AM
For this example
we get this error: