fix bench sd expand scc

jcrozum · Nov 13, 2023 · c8f86cb · c8f86cb
1 parent 195f51d
commit c8f86cb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/benchmark/bench_sd_expand_scc.py b/benchmark/bench_sd_expand_scc.py
@@ -1,5 +1,5 @@
 import sys
-sys.path.append(".")
+sys.path.append("..")
 
 from biodivine_aeon import BooleanNetwork
 from nfvsmotifs.SuccessionDiagram import SuccessionDiagram
@@ -21,7 +21,7 @@
 
 # Compute the succession diagram.
 sd = SuccessionDiagram(bn)
-fully_expanded = expand_source_SCCs(sd)
+fully_expanded = expand_source_SCCs(sd, check_maa=False)
 assert fully_expanded
 
 print(f"Succession diagram size:", len(sd))