Subtract 1 from type argument to saw-core functions bvSDiv and bvSRem.#357
Merged
brianhuffman merged 1 commit intomasterfrom issue356Dec 3, 2019
+6-2
Commits
Commits on Dec 3, 2019
- committed
Brian Huffman
bvSDiv and bvSRem.#357