Change URL for WASM spec (#1702)

* Change URL for WASM spec * Fix URL in other place
trailofbits · May 11, 2020 · 90b4d45 · 90b4d45
1 parent cc77ace
commit 90b4d45
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/tests/wasm/generate_tests.sh b/tests/wasm/generate_tests.sh
@@ -4,10 +4,10 @@
 touch __init__.py
 
 wget -nc -nv -O wabt.tgz -c https://github.com/WebAssembly/wabt/releases/download/1.0.12/wabt-1.0.12-linux.tar.gz
-wget -nc -nv -O spec.zip -c https://github.com/WebAssembly/spec/archive/v1.1.zip
+wget -nc -nv -O spec.zip -c https://github.com/WebAssembly/spec/archive/opam-1.1.zip
 
 yes | unzip -q -j spec.zip 'spec-*/test/core/*' -d .
-rm run.py README.md 
+rm run.py README.md
 rm spec.zip
 
 tar --wildcards --strip=1 -xf wabt.tgz 'wabt-*/wast2json'

diff --git a/tests/wasm_sym/generate_symbolic_tests.sh b/tests/wasm_sym/generate_symbolic_tests.sh
@@ -4,10 +4,10 @@ rm -rf */
 touch __init__.py
 
 wget -nc -nv -O wabt.tgz -c https://github.com/WebAssembly/wabt/releases/download/1.0.12/wabt-1.0.12-linux.tar.gz
-wget -nc -nv -O spec.zip -c https://github.com/WebAssembly/spec/archive/v1.1.zip
+wget -nc -nv -O spec.zip -c https://github.com/WebAssembly/spec/archive/opam-1.1.zip
 
 yes | unzip -q -j spec.zip 'spec-*/test/core/*' -d .
-rm run.py README.md 
+rm run.py README.md
 rm spec.zip
 
 tar --wildcards --strip=1 -xf wabt.tgz 'wabt-*/wast2json'
@@ -40,4 +40,4 @@ chmod +x gen.sh
 cat modules.txt | xargs -n1 -P"$cores" ./gen.sh
 rm gen.sh
 
-exit 0
+exit 0