address PR feedback

Veridise · Oct 30, 2023 · 4da102b · 4da102b
1 parent fc48ec5
commit 4da102b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/circuit_passes/src/bucket_interpreter/env/extracted_func_env.rs b/circuit_passes/src/bucket_interpreter/env/extracted_func_env.rs
@@ -207,7 +207,7 @@ impl<'a> ExtractedFuncEnvData<'a> {
                             _ => unreachable!(), //ASSERT: 'cmp_address' was formed by 'loop_unroll::new_u32_value'
                         };
                         if counter_override {
-                            todo!()
+                            unreachable!() // there is no counter for a counter reference
                         } else {
                             self.base.subcmp_counter_is_zero(subcmp)
                         }
@@ -238,7 +238,7 @@ impl<'a> ExtractedFuncEnvData<'a> {
                             _ => unreachable!(), //ASSERT: 'cmp_address' was formed by 'loop_unroll::new_u32_value'
                         };
                         if counter_override {
-                            todo!()
+                            unreachable!() // there is no counter for a counter reference
                         } else {
                             self.base.subcmp_counter_equal_to(subcmp, value)
                         }