From 867a1b13228da29fabe399a045e7ed4e09e02d02 Mon Sep 17 00:00:00 2001 From: Aman Sanghi Date: Wed, 10 Jul 2024 22:46:16 +0530 Subject: [PATCH] fix --- scripts/validate-wasm-module-root.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/validate-wasm-module-root.sh b/scripts/validate-wasm-module-root.sh index 4de0278da8..5a7dd32abb 100755 --- a/scripts/validate-wasm-module-root.sh +++ b/scripts/validate-wasm-module-root.sh @@ -6,7 +6,7 @@ PROVER=$2 for machine in "$MACHINES_DIR"/*/ ; do if [ -d "$machine" ]; then - expectedWasmModuleRoot=$(basename "$machine") + expectedWasmModuleRoot=$(cat "$machine/module-root.txt") actualWasmModuleRoot=$(cd "$machine" && "$PROVER" machine.wavm.br --print-wasmmoduleroot) if [ "$expectedWasmModuleRoot" != "$actualWasmModuleRoot" ]; then echo "Error: Expected module root $expectedWasmModuleRoot but found $actualWasmModuleRoot in $machine"