SMT2 back-end and solver: it's fp.isInfinite, not fp.isInf#6960

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:bugfixes/1782-smt2-isinfinite

Jun 23, 2022

Commits on Jun 23, 2022

SMT2 back-end and solver: it's fp.isInfinite, not fp.isInf
tautschnig
committed