diff --git a/experiments/test_exp_cdc.sh b/experiments/test_exp_cdc.sh index 76c8af6d08b42cd0948c5d331eb400baaa622f18..2881a4fa44ed1940fd442736dc6600ee7f17e0f5 100755 --- a/experiments/test_exp_cdc.sh +++ b/experiments/test_exp_cdc.sh @@ -41,7 +41,7 @@ if True: import json from graph_tools.misc import graph_to_gadget - from graph_tools.parameters import CircuitDoubleCover + from graph_tools.parameters import CircuitDoubleCover, UnderlayingGraph from sage.all import Graph from parmap import parmap @@ -50,6 +50,7 @@ if True: gadget = graph_to_gadget(G) real = gadget.eval(CircuitDoubleCover) exp = 2**(G.num_verts() // 2) // 2 + assert G.is_isomorphic(gadget.eval(UnderlayingGraph)) j = { "cdc_count": real,