MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / test_is_true_false

Method test_is_true_false

tests/test_z3_compat.py:1018–1022  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

1016 assert not is_expr(42)
1017
1018 def test_is_true_false(self):
1019 assert is_true(BoolVal(True))
1020 assert is_false(BoolVal(False))
1021 assert not is_true(BoolVal(False))
1022 assert not is_false(BoolVal(True))
1023
1024 def test_is_int(self):
1025 assert is_int(Int("x"))

Callers

nothing calls this directly

Calls 3

is_trueFunction · 0.90
BoolValFunction · 0.90
is_falseFunction · 0.90

Tested by

no test coverage detected