Float counterexamples
Float counterexamples for CVC4 1.7 should be printed as the counterexamples of Z3 (ie -0x1.000002p-126 (-1.17549e-38)
not float_bits(#b0,#b01111111,#b00000000000000000000001)
)
Float counterexamples for CVC4 1.7 should be printed as the counterexamples of Z3 (ie -0x1.000002p-126 (-1.17549e-38)
not float_bits(#b0,#b01111111,#b00000000000000000000001)
)