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

Method test_or_empty

tests/test_z3_ported.py:2059–2060  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

2057 assert is_true(And([]))
2058
2059 def test_or_empty(self):
2060 assert is_false(Or([]))
2061
2062 def test_and_single(self):
2063 b = Bool("b")

Callers

nothing calls this directly

Calls 2

is_falseFunction · 0.90
OrFunction · 0.90

Tested by

no test coverage detected