z3.wasm icon indicating copy to clipboard operation
z3.wasm copied to clipboard

Published 20 hours ago • verified publisher icon cpitclaudel

Demo broken on Ubuntu

Open Skynet0 opened this issue 4 years ago • 1 comments

The build script produces a broken demo. After cloning and running ./z3.sh, the demo does not work because callMain is not an exported function. If I add callMain to EXTRA_EXPORTED_RUNTIME_METHODS in z3.sh, the demo fails with exception 6247000.

Skynet0 avatar Jun 30 '20 22:06 Skynet0

Same problem here, demo is no working "he build script produces a broken demo. After cloning and running ./z3.sh, the demo does not work because callMain is not an exported function"

samuelbarbosazup avatar Jul 09 '20 02:07 samuelbarbosazup