emcc api/api.c z3/build/libz3.a -fexceptions -s EXPORTED_FUNCTIONS='["_init_context", "_destroy_context", "_eval_smt2"]' -s DISABLE_EXCEPTION_CATCHING=0 -s EXCEPTION ...
emcc api/api.c z3/build/libz3.a -fexceptions -s EXPORTED_FUNCTIONS='["_init_context", "_destroy_context", "_eval_smt2"]' -s DISABLE_EXCEPTION_CATCHING=0 -s EXCEPTION ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback