issues
search
avanhatt
/
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
https://wasmtime.dev/
Apache License 2.0
0
stars
1
forks
source link
Verify sdiv
#39
Closed
mpardesh
closed
1 year ago
mpardesh
commented
1 year ago
the
sdiv
example fails the "query width used" check, but all the terms seem to explicitly want 64 bit bvs
the tests are a lil slow but I promise if you kill and rerun enough times they pass within a few seconds
sdiv
example fails the "query width used" check, but all the terms seem to explicitly want 64 bit bvs