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

Method pop

lean_py/z3/solver.py:839–840  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

837 pass
838
839 def pop(self) -> None:
840 pass
841
842 def assertions(self) -> list[BoolRef]:
843 return list(self._assertions)

Callers 1

test_push_popMethod · 0.95

Calls

no outgoing calls

Tested by 1

test_push_popMethod · 0.76