aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/fixtures/spec_testsuites/core/fac.json
diff options
context:
space:
mode:
Diffstat (limited to 'tests/fixtures/spec_testsuites/core/fac.json')
-rw-r--r--tests/fixtures/spec_testsuites/core/fac.json10
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/fixtures/spec_testsuites/core/fac.json b/tests/fixtures/spec_testsuites/core/fac.json
new file mode 100644
index 0000000..4048032
--- /dev/null
+++ b/tests/fixtures/spec_testsuites/core/fac.json
@@ -0,0 +1,10 @@
+{"source_filename": "./fac.wast",
+ "commands": [
+ {"type": "module", "line": 1, "filename": "fac.0.wasm"},
+ {"type": "assert_return", "line": 102, "action": {"type": "invoke", "field": "fac-rec", "args": [{"type": "i64", "value": "25"}]}, "expected": [{"type": "i64", "value": "7034535277573963776"}]},
+ {"type": "assert_return", "line": 103, "action": {"type": "invoke", "field": "fac-iter", "args": [{"type": "i64", "value": "25"}]}, "expected": [{"type": "i64", "value": "7034535277573963776"}]},
+ {"type": "assert_return", "line": 104, "action": {"type": "invoke", "field": "fac-rec-named", "args": [{"type": "i64", "value": "25"}]}, "expected": [{"type": "i64", "value": "7034535277573963776"}]},
+ {"type": "assert_return", "line": 105, "action": {"type": "invoke", "field": "fac-iter-named", "args": [{"type": "i64", "value": "25"}]}, "expected": [{"type": "i64", "value": "7034535277573963776"}]},
+ {"type": "assert_return", "line": 106, "action": {"type": "invoke", "field": "fac-opt", "args": [{"type": "i64", "value": "25"}]}, "expected": [{"type": "i64", "value": "7034535277573963776"}]},
+ {"type": "assert_return", "line": 107, "action": {"type": "invoke", "field": "fac-ssa", "args": [{"type": "i64", "value": "25"}]}, "expected": [{"type": "i64", "value": "7034535277573963776"}]},
+ {"type": "assert_exhaustion", "line": 109, "action": {"type": "invoke", "field": "fac-rec", "args": [{"type": "i64", "value": "1073741824"}]}, "text": "call stack exhausted", "expected": [{"type": "i64"}]}]}