Method test_product_empty

tests/test_z3_ported.py:2299–2301

(self)

        assert is_int(r)

    def test_product_empty(self):
        r = Product()
        assert isinstance(r._ast, IntLit) and r._ast.val == 1


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