Method test_fresh_in_loop

tests/test_z3_ported.py:1618–1622

Generate multiple fresh constants in a loop.

(self)

        assert c._ast.name.startswith("var!")

    def test_fresh_in_loop(self):
        """Generate multiple fresh constants in a loop."""
        consts = [FreshInt() for _ in range(5)]
        names = [c._ast.name for c in consts]
        assert len(set(names)) == 5  # All unique


# ===================================================================