include set and get test

o1-labs · Oct 31, 2024 · 5fb42f8 · 5fb42f8
1 parent 677ee2c
commit 5fb42f8
Showing 1 changed file with 13 additions and 1 deletion.
diff --git a/src/lib/provable/test/dynamic-array-unit-test.ts b/src/lib/provable/test/dynamic-array-unit-test.ts
@@ -84,7 +84,19 @@ let List = ZkProgram({
         bytes.getOption(new Field(0)).assertSome();
         //assert(bytes.getOption(new Field(1)) === undefined);
 
-        // TODO: Error if accessing out-of-bounds index
+        // Error if getting out-of-bounds index
+        try {
+          bytes.get(new Field(1));
+        } catch (error) {
+          console.log('Cannot get out-of-bounds index');
+        }
+
+        // Error if setting out-of-bounds index
+        try {
+          bytes.set(new Field(1), new UInt8(3));
+        } catch (error) {
+          console.log('Cannot set out-of-bounds index');
+        }
 
         // Growing capacity should work correctly
         let longerArray = bytes.growCapacityTo(10);