Model translation failed for DefSet5 example

Description

For this example

we get this error:

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

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