fix

OffchainLabs · Jul 10, 2024 · 867a1b1 · 867a1b1
1 parent dce50b0
commit 867a1b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"