From 157aed9b03873a8239a07c94a6fd2840e2718750 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Radek=20Hu=C5=A1ek?= <husek@iuuk.mff.cuni.cz>
Date: Thu, 25 Mar 2021 17:43:01 +0100
Subject: [PATCH] test_exp_cdc.sh: check returned gadgets

---
 experiments/test_exp_cdc.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/experiments/test_exp_cdc.sh b/experiments/test_exp_cdc.sh
index 76c8af6..2881a4f 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,
-- 
GitLab