ci: Convert wast to json

circle.yml

@@ -156,16 +156,19 @@ commands:
           name: "Download spectest files"
           working_directory: ~/build
           command: |
-            if [ ! -d wasm-spec ]; then
-              git clone https://github.com/wasmx/wasm-spec --branch vanilla-json --depth 1
+            if [ ! -d spec ]; then
+              git clone https://github.com/WebAssembly/spec --branch w3c-1.0 --depth 1
+              mkdir json && cd json
+              find ../spec/test/core -name '*.wast' -exec wast2json {} \;
             fi
+
       - run:
           name: "Run spectest<<#parameters.skip_validation>> (skip validation)<</parameters.skip_validation>>"
           working_directory: ~/build
           command: |
             set +e
             expected="  PASSED <<parameters.expected_passed>>, FAILED <<parameters.expected_failed>>, SKIPPED <<parameters.expected_skipped>>."
-            result=$(bin/fizzy-spectests <<#parameters.skip_validation>>--skip-validation<</parameters.skip_validation>> wasm-spec/test/core/json | tail -1)
+            result=$(bin/fizzy-spectests <<#parameters.skip_validation>>--skip-validation<</parameters.skip_validation>> json | tail -1)
             echo $result
             if [ "$expected" != "$result" ]; then exit 1; fi