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

Method test_binop_arg

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

Source from the content-addressed store, hash-verified

2843 assert e.num_args() == 2
2844
2845 def test_binop_arg(self):
2846 x, y = Ints("x y")
2847 e = x + y
2848 a0 = e.arg(0)
2849 a1 = e.arg(1)
2850 assert repr(a0) == "x"
2851 assert repr(a1) == "y"
2852
2853 def test_binop_children(self):
2854 x, y = Ints("x y")

Callers

nothing calls this directly

Calls 2

IntsFunction · 0.90
argMethod · 0.80

Tested by

no test coverage detected