add missing inf * 0 -> NaN cases
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 13 May 2022 22:10:17 +0000 (15:10 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 13 May 2022 22:10:17 +0000 (15:10 -0700)
commit3365871b258ace119a3419e8d3492fb6b79c7dcb
tree3ace7a3e9432638eefd36a2f347726003151cd7e
parenteb55e2592d0dba8565beff291aeee45bceffe9b8
add missing inf * 0 -> NaN cases
fpmul_test.smt2