-
Guillaume Melquiond authored
This commit also underspecifies the sign of product and quotient in case of NaN result, so as to be consistent with the single NaN of smtlib.
22408364
This commit also underspecifies the sign of product and quotient in case of NaN result, so as to be consistent with the single NaN of smtlib.