Method test_add_zero

tests/test_z3_semantic.py:868–869 · view source on GitHub ↗

(self, kernel)

Source from the content-addressed store, hash-verified

866	assert _try_prove(fpEQ(fpMax(FPVal(1.0), FPVal(2.0)), FPVal(2.0)))
867
868	def test_add_zero(self, kernel):
869	assert _try_prove(fpEQ(fpAdd(RNE(), FPVal(5.0), FPVal(0.0)), FPVal(5.0)))
870
871	def test_mul_one(self, kernel):
872	assert _try_prove(fpEQ(fpMul(RNE(), FPVal(5.0), FPVal(1.0)), FPVal(5.0)))

nothing calls this directly

_try_proveFunction · 0.90

fpEQFunction · 0.90

fpAddFunction · 0.90

RNEFunction · 0.90

FPValFunction · 0.90

no test coverage detected