We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b7a1835 commit 4395b28Copy full SHA for 4395b28
pipeline/tests/asm.rs
@@ -467,7 +467,7 @@ fn permutation_to_block() {
467
}
468
469
#[test]
470
-#[should_panic = "called `Result::unwrap()` on an `Err` value: Linear constraint is not satisfiable: 18446744069414584320 != 0"]
+#[should_panic = "Column main_bin::pc is not stackable in a 1-row block, conflict in rows 0 and 1"]
471
fn permutation_to_vm() {
472
// TODO: witgen issue: Machine incorrectly detected as block machine.
473
let f = "asm/permutations/vm_to_vm.asm";
0 commit comments