avanhatt/wasmtime

Investigate non-deterministic test timing

Closed this issue · 1 comments

avanhatt commented

e.g., 32 and 64 query width for sdiv.

avanhatt commented

The issue was non-determinism in the order of SMTLIB statements from iterating a HashMap. Should be fixed in 37236bb#diff-9f1c8ad1e01e4cb8b7b96883d7e0b812778c0edb5aa3a2194e87e3fea5941d29.