Method test_lt

tests/test_z3_semantic.py:881–882 · view source on GitHub ↗

(self, kernel)

Source from the content-addressed store, hash-verified

879	"""Floating-point comparison proofs."""
880
881	def test_lt(self, kernel):
882	assert _try_prove(fpLT(FPVal(1.0), FPVal(2.0)))
883
884	def test_leq_strict(self, kernel):
885	assert _try_prove(fpLEQ(FPVal(1.0), FPVal(2.0)))

nothing calls this directly

_try_proveFunction · 0.90

fpLTFunction · 0.90

FPValFunction · 0.90

no test coverage detected