7 Commits

Author	SHA1	Message	Date
Ali Mohammad Pur	79d4913f76	LibWasm: Generate all spec tests, even ones that aren't valid modules ... `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-22 00:26:25 +04:30
Ali Mohammad Pur	9c5d38b7db	Meta+LibWasm: Add support for module linking tests ... This commit makes the linking tests in the wasm spec test run.	2021-06-22 00:26:25 +04:30
Ali Mohammad Pur	d7ba15371b	Meta: Don't make wasm tests pass when they cannot read a module ... Instead, just let them be treated as failing their respective test.	2021-06-04 16:07:42 +04:30
Ali Mohammad Pur	6b5d1eedcb	Meta: Make the wasm test generator cast numbers to i32 when needed ... Otherwise the sign would be out of whack	2021-06-02 16:09:16 +04:30
Ali Mohammad Pur	7fb458b7c9	Meta: Generate failing tests for unsupported assertions in wasm tests ... 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-06-02 16:09:16 +04:30
Ali Mohammad Pur	b2bd5132c4	Meta: Correctly parse numeric literals in wasm tests ... This was previously parsing them as hex numbers, causing tests to fail. With this fix, 88% of the generated tests are passing :^)	2021-05-27 17:28:41 +04:30
Ali Mohammad Pur	24b2a6c93a	LibWasm+Meta: Implement instantiation/execution primitives in test-wasm ... 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.	2021-05-21 00:15:23 +01:00