fail to prove pack

lispc · lispc · commit c825d0cd5756 · 2023-07-06T09:09:35.000Z
diff --git a/batch.sh b/batch.sh
@@ -7,7 +7,7 @@ set -o pipefail
 export RUST_LOG=trace
 
 function simple_tests() {
-	for mode in sushi multiple #nft dao native empty # pack
+	for mode in pack sushi #multiple #nft dao native empty # pack
 	#for mode in native empty # pack
 	do
 		MODE=$mode make mock 2>&1 | tee /tmp/mock_${mode}.log
diff --git a/prover/tests/traces b/prover/tests/traces
@@ -1 +1 @@
-Subproject commit 4d04506120511c34151e60717ef72ce1b77229b3
+Subproject commit f1e7707b31ab1bbcf030c8032463861a031bbab5
