Method test_statistics_create

tests/test_z3_ported.py:4459–4461

(self)

        assert isinstance(t, Tactic)

    def test_statistics_create(self):
        s = Statistics()
        assert len(s) == 0

    def test_statistics_with_data(self):
        s = Statistics({"time": 1.5, "conflicts": 42})