disabled "hardware interpretation" of fp.min/fp.max because the unspecified, standard-compliant behaviour is cheap anyways.
disabled "hardware interpretation" of fp.min/fp.max because the unspecified, standard-compliant behaviour is cheap anyways.

kyledewey/z3,seahorn/z3,seahorn/z3,mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,mschlaipfer/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,seahorn/z3,kyledewey/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,mschlaipfer/z3,mschlaipfer/z3,seahorn/z3