summaryrefslogtreecommitdiff
path: root/Meta/generate-libwasm-spec-test.py
AgeCommit message (Collapse)Author
2021-08-30Meta: Implement support for the "unlinkable" Wasm spectest assertionAli Mohammad Pur
2021-08-30Meta: Generate bigints for i64 values in LibWasm test suite filesAli Mohammad Pur
2021-08-12Meta: Un-escape escaped strings when generating Wasm testsAli Mohammad Pur
2021-08-12Meta: Don't roundtrip floats for i64/i32 hex literals in wasm testsAli Mohammad Pur
2021-07-06Meta+LibWasm: Correctly parse the invokee name in toplevel invokesAli Mohammad Pur
2021-07-06Meta+LibWasm: Generate calls to functions when they don't have resultsAli Mohammad Pur
2021-06-22LibWasm: Generate all spec tests, even ones that aren't valid modulesAli Mohammad Pur
`wasm-as` will do some semantic analysis on the modules, which is not something we're looking for here. Instead, use `wat2wasm` to generate the exact module.
2021-06-22Meta+LibWasm: Add support for module linking testsAli Mohammad Pur
This commit makes the linking tests in the wasm spec test run.
2021-06-04Meta: Don't make wasm tests pass when they cannot read a moduleAli Mohammad Pur
Instead, just let them be treated as failing their respective test.
2021-06-02Meta: Make the wasm test generator cast numbers to i32 when neededAli Mohammad Pur
Otherwise the sign would be out of whack
2021-06-02Meta: Generate failing tests for unsupported assertions in wasm testsAli Mohammad Pur
Let's not ignore a test just because our test generator doesn't understand it, assume the worst and generate a failing test case instead.
2021-05-27Meta: Correctly parse numeric literals in wasm testsAli Mohammad Pur
This was previously parsing them as hex numbers, causing tests to fail. With this fix, 88% of the generated tests are passing :^)
2021-05-21LibWasm+Meta: Implement instantiation/execution primitives in test-wasmAli Mohammad Pur
This also optionally generates a test suite from the WebAssembly testsuite, which can be enabled via passing `INCLUDE_WASM_SPEC_TESTS` to cmake, which will generate test-wasm-compatible tests and the required fixtures. The generated directories are excluded from git since there's no point in committing them.