FStarLang/karamel

karamel/Makefile test and test/Makefile

briangmilnes opened this issue · 0 comments

CompileError: WebAssembly.instantiate(): return count of 2 exceeds internal limit of 1 @+53
when making the WASM tests on Ubuntu 21.

So WASM which test/README.md says is super experimental is not working.
Perhaps it should come out of the Makefile all to it's own target.

And it's not clear that make test in the karamel dir is running tests, it might be better to label
them TEST: X SUCCESS|FAILURE or such.