Preview

$ ../src/exe-spectec/main.exe ../../../_specification/wasm-3.0/*.spectec -v -l --interpreter ../test-interpreter/sample.wat addTwo 30 12 2>&1
spectec 0.5 generator
== Parsing...
== Elaboration...
== IL Validation...
== Running pass sideconditions...
== IL Validation after pass sideconditions...
== Translating to AL...
== Initializing interpreter...
== Interpreting...
42
== Complete.
$ ../src/exe-spectec/main.exe ../../../_specification/wasm-3.0/*.spectec -v -l --interpreter ../test-interpreter/sample.wasm addTwo 40 2 2>&1
spectec 0.5 generator
== Parsing...
== Elaboration...
== IL Validation...
== Running pass sideconditions...
== IL Validation after pass sideconditions...
== Translating to AL...
== Initializing interpreter...
== Interpreting...
42
== Complete.
$ ../src/exe-spectec/main.exe ../../../_specification/wasm-3.0/*.spectec -v -l --interpreter ../test-interpreter/sample.wast 2>&1
spectec 0.5 generator
== Parsing...
== Elaboration...
== IL Validation...
== Running pass sideconditions...
== IL Validation after pass sideconditions...
== Translating to AL...
== Initializing interpreter...
== Interpreting...
- print_i32: 10
== Complete.
$ for v in 1 2 3; do ( \
>   echo "Running test for Wasm $v.0..." && \
>   ../src/exe-spectec/main.exe ../../../_specification/wasm-$v.0/*.spectec -v -l --test-version $v --interpreter ../test-interpreter/spec-test-$v \
> ) done 2>&1
Running test for Wasm 1.0...
spectec 0.5 generator
== Parsing...
== Elaboration...
== IL Validation...
== Running pass sideconditions...
== IL Validation after pass sideconditions...
== Translating to AL...
== Initializing interpreter...
== Interpreting...
- Failed to parse ../test-interpreter/spec-test-1/conversions.wast

- Failed to parse ../test-interpreter/spec-test-1/data.wast

- Failed to parse ../test-interpreter/spec-test-1/elem.wast

- Failed to parse ../test-interpreter/spec-test-1/f32.wast

- Failed to parse ../test-interpreter/spec-test-1/f64.wast

- Failed to parse ../test-interpreter/spec-test-1/float_exprs.wast

- Failed to parse ../test-interpreter/spec-test-1/float_misc.wast

- print_i32: 83
- Failed to parse ../test-interpreter/spec-test-1/imports.wast

- print_i32: 42
- print_i32: 123
- print_i32: 1
- print_i32: 2
- print: ()
8 parsing fail
== Complete.
Running test for Wasm 2.0...
spectec 0.5 generator
== Parsing...
== Elaboration...
== IL Validation...
== Running pass sideconditions...
== IL Validation after pass sideconditions...
== Translating to AL...
== Initializing interpreter...
== Interpreting...
- print_i32: 83
- print_i32: 13
- print_i32_f32: 14 42
- print_i32: 13
- print_i32: 13
- print_f32: 13
- print_i32: 13
- print_i64: 24
- print_f64_f64: 25 53
- print_i64: 24
- print_f64: 24
- print_f64: 24
- print_f64: 24
- print_i32: 13
- print_i32: 42
- print_i32: 123
- print_i32: 1
- print_i32: 2
- print: ()
== Complete.
Running test for Wasm 3.0...
spectec 0.5 generator
== Parsing...
== Elaboration...
== IL Validation...
== Running pass sideconditions...
== IL Validation after pass sideconditions...
== Translating to AL...
== Initializing interpreter...
== Interpreting...
- print_i32: 83
- print_i32: 13
- print_i32_f32: 14 42
- print_i32: 13
- print_i32: 13
- print_f32: 13
- print_i32: 13
- print_i64: 24
- print_f64_f64: 25 53
- print_i64: 24
- print_f64: 24
- print_f64: 24
- print_f64: 24
- print_i32: 13
- print_i32: 42
- print_i32: 123
- print_i32: 1
- print_i32: 2
- print: ()
== Complete.