a few tests

graph_tools/parameters.py

@@ -132,6 +132,11 @@ def _init_():
 
   @Singleton
   class VertexCount(GraphParameterBase):
+    """Count vertices of gadget.
+
+    Same as `gadget.eval(UnderlayingGraph).num_verts()` but
+    also works for gadgets containing FREE_EDGE.
+    """
     CUBIC_VERTEX = [ Boundary(None, 1) ]
     FREE_EDGE = [ Boundary(None, 0) ]
 

graph_tools/tests.py

 """Helper to run tests.
 
-Doctest does not find tests in docstrings of decorated classes
-so we put them here instead.
-
-
 >>> from .all import *
 >>> from sage.all import *
 
@@ -38,5 +34,8 @@ True
 240
 
 
+>>> [ GeneralizedPetersen(1).graph(i).eval(CircuitDoubleCover) for i in range(3, 16) ]
+[4, 26, 72, 258, 842, 3118, 11620, 45290, 177630, 705510, 2807768, 11210722, 44785618]
+
 """