| # Preview |
| |
| ```sh |
| $ ../src/exe-spectec/main.exe ../../../_specification/wasm-latest/*.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-latest/*.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-latest/*.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. |
| ``` |
