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

Method test_vector_sum

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

Source from the content-addressed store, hash-verified

2375 assert RealVector("r", 0) == []
2376
2377 def test_vector_sum(self):
2378 xs = IntVector("x", 3)
2379 s = Sum(*xs)
2380 assert is_int(s)
2381
2382
2383# ===================================================================

Callers

nothing calls this directly

Calls 3

IntVectorFunction · 0.90
SumFunction · 0.90
is_intFunction · 0.90

Tested by

no test coverage detected