Update test checksums.

oriansj · Nov 1, 2023 · 51dc63b · 51dc63b
1 parent 76fa04e
commit 51dc63b
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/test/test.answers b/test/test.answers
@@ -280,10 +280,10 @@ e9fa237a2c4d945490563795fee3adeb394171d65a6025c952c818941d1b0ee6  test/results/t
 3b9820c8c1c76aafff885703e63d36f147354ec922b835cdff0f356bdb290c87  test/results/test0106-riscv32-binary
 20f132c01d491017a7fd0a61507e778ce1700e17e52785957b6c30156d1540ca  test/results/test0106-riscv64-binary
 74e41470ad52dca128afdf4f2f1fa02f7eec06f65e95e97e8024a8af2dd49726  test/results/test0106-x86-binary
-17ff1358b0cd72ee9c9c3b35eaf98ddff815e6762455babd8bca8113dd3e2677  test/results/test1000-aarch64-binary
-533365c80a702dc6551793571aab14ed46dcbb6953b2a93b0649af98b634cd5f  test/results/test1000-amd64-binary
-d0ae3a87c0aea4198913b6816f4c8463009f16f3382834eb2b5ff72b5eb93ebf  test/results/test1000-armv7l-binary
-9d5f7ebc19ce81c36c60d57ec7cdde05c013d7b1267c75197bf5cab1f9dfb701  test/results/test1000-knight-posix-binary
-55d69cd9d268d7c1ccab2a64d31faade221838ee735ce4d9d07fb529a42b5f99  test/results/test1000-riscv32-binary
-6abb584edc3e9e71f81305cc9c7d225d938229f0c7a7de1f32cb702883ba0ca6  test/results/test1000-riscv64-binary
-3f583cfb1d30af6f6f54ea7ac758d9162b98406351f3225b309cf868db5f6780  test/results/test1000-x86-binary
+1f64dba1b7f9dc3067279193c61695141d46acd733b0907b1ee159edca7e2a6b  test/results/test1000-aarch64-binary
+883b7fe019d8cb8bbc4f446afae4f0d9616bdc79cf8be79d4af468cfc957499d  test/results/test1000-amd64-binary
+293bfa5ccbc4a8a09563466a57281c0dd569b131bc81aa4ef51d9c15fab9231c  test/results/test1000-armv7l-binary
+8aec38d2a7995b311b924cf2dde0517f847058173738d9971c41ff4670a6caee  test/results/test1000-knight-posix-binary
+044a6fade9fccfafa8ff6c9ab65bb19cc684ae34e951dc5e444868617e750821  test/results/test1000-riscv32-binary
+4829b542efb9bf29fb0a2454111415856a634ece06e46d2b7881774478659f1d  test/results/test1000-riscv64-binary
+b08c28904f0dae22bb4a98eda20961bdfb07c75f2306bbee26b4047a59574ca3  test/results/test1000-x86-binary
diff --git a/test/test1000/proof.answer b/test/test1000/proof.answer
@@ -1 +1 @@
-d72ef3edc395264bb605704dbd6ce2ec27e15f297f22e0ae035a8e39f40ca002  test/test1000/proof
+5bba9315a98fc9ef6d0de3ae23d07c08267ca40bb33e2fc3e0326e2a89ed3817  test/test1000/proof
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		d72ef3edc395264bb605704dbd6ce2ec27e15f297f22e0ae035a8e39f40ca002 test/test1000/proof
		5bba9315a98fc9ef6d0de3ae23d07c08267ca40bb33e2fc3e0326e2a89ed3817 test/test1000/proof