fix: add opcode label to unsatisfied constrain str

noir-lang · Aug 11, 2023 · e4c5904 · e4c5904
1 parent e8e9597
commit e4c5904
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/acvm/src/pwg/mod.rs b/acvm/src/pwg/mod.rs
@@ -83,7 +83,7 @@ pub enum OpcodeResolutionError {
     OpcodeNotSolvable(#[from] OpcodeNotSolvable),
     #[error("backend does not currently support the {0} opcode. ACVM does not currently have a fallback for this opcode.")]
     UnsupportedBlackBoxFunc(BlackBoxFunc),
-    #[error("could not satisfy all constraints")]
+    #[error("Cannot satisfy constraint {opcode_label:?}")]
     UnsatisfiedConstrain { opcode_label: OpcodeLabel },
     #[error("Index out of bounds, array has size {array_size:?}, but index was {index:?}")]
     IndexOutOfBounds { opcode_label: OpcodeLabel, index: u32, array_size: u32 },