fix: account for op stack table length dominating the AET

TritonVM · Nov 4, 2023 · f465f75 · f465f75
1 parent ddb220f
commit f465f75
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/triton-vm/src/aet.rs b/triton-vm/src/aet.rs
@@ -105,6 +105,7 @@ impl AlgebraicExecutionTrace {
         let relevant_table_heights = [
             self.program_table_length(),
             self.processor_table_length(),
+            self.op_stack_table_length(),
             self.hash_table_length(),
             self.cascade_table_length(),
             self.lookup_table_length(),