@@ -87,7 +87,7 @@ control ExhaustiveController {
8787 var extractedBool: BOOL = arr1[2];
8888 var extractedInt: INT = arr2[3];
8989 var extractedReal: REAL = arr3[4];
90- var extractedBoolArray: BOOL[5] = arr4[2];
90+ var extractedBoolArray: BOOL[5] = arr4[2]; // Note: not supported in generator
9191 var extractedBoolArrayElement: BOOL = arr4[2][3];
9292 var extractedMode: Mode = arr5[1];
9393
@@ -100,8 +100,8 @@ control ExhaustiveController {
100100 arr2[0] = arr2[1] + arr2[2] - arr2[3] * arr2[4] / 2;
101101 arr3[0] = arr3[1] + arr3[2] - arr3[3] * arr3[4] / 2.0;
102102 arr4[0][0] = arr4[1][1] && arr4[2][2] || arr4[3][3] && arr4[4][4];
103- arr4[1] = [true, false, true, false, true];
104- arr4[1] = arr1;
103+ arr4[1] = [true, false, true, false, true]; // Note: not supported in generator
104+ arr4[1] = arr1; // Note: not supported in generator
105105 }
106106
107107 struct Rectangle {
@@ -149,7 +149,7 @@ control ExhaustiveController {
149149
150150 // 6. Separate struct initialization after declaration
151151 var p: Point;
152- p = { x: 1.0, y: 2.0 };
152+ p = { x: 1.0, y: 2.0 }; // Note: not supported in generator
153153
154154 // 7. Array element accessed and modified
155155 var tempX: REAL;
@@ -160,7 +160,7 @@ control ExhaustiveController {
160160 // 8. Valid reassignment of structs
161161 var c1: Circle = { radius: 5.0 };
162162 var c2: Circle;
163- c2 = { radius: 10.0 };
163+ c2 = { radius: 10.0 }; // Note: not supported in generator
164164 var newRadius: REAL = c2.radius;
165165 }
166166
0 commit comments