Improve error message in constraint_circuit

TritonVM · Nov 12, 2022 · 08757bf · 08757bf
1 parent 7cd9628
commit 08757bf
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/triton-vm/src/table/constraint_circuit.rs b/triton-vm/src/table/constraint_circuit.rs
@@ -215,7 +215,11 @@ impl<T: TableChallenges> ConstraintCircuit<T> {
     /// Verify that all IDs in the subtree are unique. Panics otherwise.
     fn inner_has_unique_ids(&mut self, ids: &mut HashSet<usize>) {
         let new_value = ids.insert(self.id.0);
-        assert!(!self.visited_counter.is_zero() || new_value);
+        assert!(
+            !self.visited_counter.is_zero() || new_value,
+            "ID = {} was repeated",
+            self.id
+        );
         self.visited_counter += 1;
         match &self.expression {
             CircuitExpression::XConstant(_) => (),