Code

Fix bug in fp.round_to_integral#7060

Code

Merged

NikolajBjorner merged 1 commit intoZ3Prover:masterZ3Prover/z3:masterfrom wintersteiger:cwinter_round_to_int_fixwintersteiger/z3:cwinter_round_to_int_fixCopy head branch name to clipboardDec 15, 2023

+7-1

Commits

Commits on Dec 15, 2023

• Fix bug in fp.round_to_integral

  wintersteiger

  committed
  4c97cca

  Copy full SHA for 4c97cca