FStarLang / karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code
Apache License 2.0
394 stars 58 forks source link

karamel/Makefile test and test/Makefile #454

Open briangmilnes opened 1 month ago

briangmilnes commented 1 month ago

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.