Edit File: test_Spec.py
from guppy.heapy.test import support import sys import unittest class TestCase(support.TestCase): pass class FirstCase(TestCase): def test_1(self): Spec = self.heapy.Spec TestEnv = Spec.mkTestEnv(Spec._Specification_) TestEnv.test_contains(Spec) if __name__ == "__main__": support.run_unittest(FirstCase, 1)