Code

Add more FP regression tests#51

Code

Open

wintersteiger wants to merge 1 commit intoZ3Prover:masterZ3Prover/z3test:masterfrom wintersteiger:cwinter/more-floats-againwintersteiger/z3test:cwinter/more-floats-againCopy head branch name to clipboard

+85

Commits

Commits on Dec 3, 2023

• Add more FP regression tests

  wintersteiger

  committed
  6ad1927

  Copy full SHA for 6ad1927