Method test_zero_is_zero

tests/test_z3_semantic.py:935–936 · view source on GitHub ↗

(self, kernel)

Source from the content-addressed store, hash-verified

933	assert _try_prove(fpIsNaN(fpNaN(Float64())))
934
935	def test_zero_is_zero(self, kernel):
936	assert _try_prove(fpIsZero(fpPlusZero(Float64())))
937
938	def test_neg_zero_is_zero(self, kernel):
939	assert _try_prove(fpIsZero(fpMinusZero(Float64())))

nothing calls this directly

_try_proveFunction · 0.90

fpIsZeroFunction · 0.90

fpPlusZeroFunction · 0.90

Float64Function · 0.90

no test coverage detected