When a Noir code accesses OOB element from an array, it expects witness generation to fail. However, our VM is ICE-ing.
Examples:
execution_failure/brillig_constant_oob_array_set
execution_failure/dynamic_index_composite_failure
execution_failure/regression_7759
execution_failure/regression_databus_out_of_bounds
When a Noir code accesses OOB element from an array, it expects witness generation to fail. However, our VM is ICE-ing.
Examples:
execution_failure/brillig_constant_oob_array_set
execution_failure/dynamic_index_composite_failure
execution_failure/regression_7759
execution_failure/regression_databus_out_of_bounds