bug fix

jcrozum · Sep 14, 2023 · e0fb2db · e0fb2db · github-actions · Sep 14, 2023
1 parent 89fd71a
commit e0fb2db
Show file tree

Hide file tree

Showing 61 changed files with 10,016 additions and 10,016 deletions.
diff --git a/models/random_ncf/n100_0.bnet b/models/random_ncf/n100_0.bnet
@@ -1,101 +1,101 @@
 targets, factors
 n22, 0
-n47, n11 | (n22 | (n))
-n32, n2
-n23, !n32 & (n4)
-n89, n3
-n80, n11 | (n89 | (n))
-n13, n1
-n92, n11 | (n13 | (n9))
-n97, n11 | (n69 | (n1))
-n26, n35 | (n97 | (n9))
-n42, n13 | (!n1)
-n53, n4
+n47, n11 | (n22 | (n5))
+n32, n20
+n23, !n32 & (n44)
+n89, n39
+n80, n11 | (n89 | (n6))
+n13, n11
+n92, n11 | (n13 | (n96))
+n97, n11 | (n69 | (n15))
+n26, n35 | (n97 | (n98))
+n42, n13 | (!n15)
+n53, n42
 n65, 0
-n44, !n3 & (n65 | (!n5))
-n14, n94 | (!n1)
-n93, n20 | (!n14 & (n5))
+n44, !n3 & (n65 | (!n54))
+n14, n94 | (!n11)
+n93, n20 | (!n14 & (n53))
 n69, 0
-n4, !n84 & (n69 | (n6))
-n81, !n11 & (n66 | (n6))
-n73, n81 | (n9)
-n18, n79 | (!n)
-n61, n1
-n50, n20 | (n53 | (n3))
-n2, n50 | (n5)
-n71, !n92 & (n1)
-n31, n34 | (n17 & (!n48 | (!n9)))
-n1, n31 | (!n5)
-n9, !n4
-n75, n
-n51, n46 | (n92 | (n1))
-n6, n3 | (n88 & (n26 & (!n6)))
-n49, n41 | (n5)
-n84, n49 | (n)
-n62, n74 | (n1)
-n43, n29 | (n38 | (!n8))
-n34, n21 | (!n43 & (n5))
+n4, !n84 & (n69 | (n67))
+n81, !n11 & (n66 | (n61))
+n73, n81 | (n99)
+n18, n79 | (!n3)
+n61, n18
+n50, n20 | (n53 | (n33))
+n2, n50 | (n55)
+n71, !n92 & (n19)
+n31, n34 | (n17 & (!n48 | (!n96)))
+n1, n31 | (!n58)
+n9, !n45
+n75, n9
+n51, n46 | (n92 | (n16))
+n6, n3 | (n88 & (n26 & (!n62)))
+n49, n41 | (n53)
+n84, n49 | (n2)
+n62, n74 | (n11)
+n43, n29 | (n38 | (!n83))
+n34, n21 | (!n43 & (n57))
 n87, 0
-n96, n11 | (n87 | (!n7))
-n76, n11 | (n13 | (!n))
-n56, n7
-n25, n
-n27, !n2
-n24, n
-n20, n24 | (!n9)
-n88, n6
-n21, n88 | (n1)
-n12, !n11 | (n21 & (n93 & (n12 & (n5))))
-n77, n2
-n28, n77 | (n1)
-n58, n20 | (n80 | (!n6))
-n85, n
-n55, n66 | (n20 & (n85 & (n)))
-n45, n56 | (n2)
-n41, n78 | (n9)
-n82, n68 | (n62 | (n1))
-n95, n48 | (n71 | (n5))
+n96, n11 | (n87 | (!n70))
+n76, n11 | (n13 | (!n2))
+n56, n76
+n25, n7
+n27, !n25
+n24, n3
+n20, n24 | (!n92)
+n88, n60
+n21, n88 | (n11)
+n12, !n11 | (n21 & (n93 & (n12 & (n59))))
+n77, n20
+n28, n77 | (n11)
+n58, n20 | (n80 | (!n62))
+n85, n3
+n55, n66 | (n20 & (n85 & (n8)))
+n45, n56 | (n28)
+n41, n78 | (n92)
+n82, n68 | (n62 | (n11))
+n95, n48 | (n71 | (n52))
 n63, 0
-n36, !n63 & (n5)
-n8, n55 | (n4)
-n59, n11 | (n20 & (n23 & (n8)))
-n94, n90 | (n)
-n40, n61 | (n4 | (n8))
+n36, !n63 & (n51)
+n8, n55 | (n47)
+n59, n11 | (n20 & (n23 & (n82)))
+n94, n90 | (n3)
+n40, n61 | (n4 | (n86))
 n90, 0
-n78, !n1
-n11, n
-n0, n11 | (n30 | (!n))
-n10, n0 | (n3)
-n7, n92 | (n1)
-n52, n11 | (n27 | (!n7))
-n70, !n2 & (n95 | (n7))
-n3, n1
-n86, n8
-n5, !n11 & (!n9)
-n38, n92 | (!n3)
-n48, !n1
-n30, n3 | (!n5)
-n98, !n64 & (!n1)
-n16, n3 | (n1)
-n57, n91 | (!n5)
-n99, n10 | (n6)
-n66, !n13 & (n1)
-n74, n58 | (n4)
-n67, n2 | (!n92 & (!n))
-n68, n73 | (n1)
+n78, !n11
+n11, n2
+n0, n11 | (n30 | (!n1))
+n10, n0 | (n36)
+n7, n92 | (n11)
+n52, n11 | (n27 | (!n75))
+n70, !n2 & (n95 | (n72))
+n3, n11
+n86, n88
+n5, !n11 & (!n92)
+n38, n92 | (!n32)
+n48, !n11
+n30, n3 | (!n51)
+n98, !n64 & (!n11)
+n16, n3 | (n11)
+n57, n91 | (!n59)
+n99, n10 | (n69)
+n66, !n13 & (n11)
+n74, n58 | (n46)
+n67, n2 | (!n92 & (!n3))
+n68, n73 | (n11)
 n39, 0
-n91, n59 | (n9)
-n19, n1
+n91, n59 | (n92)
+n19, n13
 n54, 0
-n79, n53 | (n5)
+n79, n53 | (n59)
 n60, 0
-n17, n4
+n17, n40
 n72, 0
 n35, 0
-n46, n1
+n46, n11
 n64, 0
-n83, n3 | (n37 & (!n48 | (!n1)))
-n29, n92 | (n1)
-n15, n13 | (n1)
-n37, n1
-n33, n1
+n83, n3 | (n37 & (!n48 | (!n11)))
+n29, n92 | (n11)
+n15, n13 | (n11)
+n37, n11
+n33, n11
diff --git a/models/random_ncf/n100_1.bnet b/models/random_ncf/n100_1.bnet
@@ -1,101 +1,101 @@
 targets, factors
-n50, n35 | (n2 & (n8))
-n65, n76 & (!n72 & (n50 | (n9)))
-n15, n79 | (n11 & (n5))
-n43, !n1
-n88, n97 | (n74 & (n8))
-n86, n88 & (n6)
-n31, n8
-n63, n29 & (n9 | (n31 | (!n6)))
+n50, n35 | (n2 & (n81))
+n65, n76 & (!n72 & (n50 | (n93)))
+n15, n79 | (n11 & (n54))
+n43, !n15
+n88, n97 | (n74 & (n82))
+n86, n88 & (n64)
+n31, n85
+n63, n29 & (n9 | (n31 | (!n61)))
 n8, 0
-n81, n8 & (n7)
-n26, n2
-n34, n26 & (n9)
-n96, n39 | (n73 | (n75 & (n61 | (n4))))
-n54, n96 | (n36 & (n6))
-n87, n9
-n19, !n59 | (n41 | (n87 | (n6)))
-n75, n7
-n99, n43 & (n27 | (n75 | (n6)))
-n7, n31 & (n5)
-n24, !n
-n14, n36 & (!n9)
-n25, n89 & (!n75 & (n14 | (n6)))
-n89, n16 & (n9)
-n92, n66 & (n3)
-n76, !n92 & (!n52 | (n3))
-n17, n28 | (n19 & (n3))
-n69, n17 & (n6)
-n77, n51 & (n6)
-n12, n77 & (!n)
-n37, n1
-n6, n9 | (!n16 | (n4))
-n42, n6 & (n6)
-n47, n6
-n66, n4
-n57, n4
-n45, !n57 | (n9)
-n22, n75 & (n8)
-n58, n22 | (n80 & (n9))
-n83, n45 & (n3)
-n72, !n6
+n81, n8 & (n75)
+n26, n23
+n34, n26 & (n96)
+n96, n39 | (n73 | (n75 & (n61 | (n49))))
+n54, n96 | (n36 & (n61))
+n87, n93
+n19, !n59 | (n41 | (n87 | (n61)))
+n75, n70
+n99, n43 & (n27 | (n75 | (n65)))
+n7, n31 & (n56)
+n24, !n7
+n14, n36 & (!n91)
+n25, n89 & (!n75 & (n14 | (n61)))
+n89, n16 & (n93)
+n92, n66 & (n32)
+n76, !n92 & (!n52 | (n39))
+n17, n28 | (n19 & (n36))
+n69, n17 & (n61)
+n77, n51 & (n61)
+n12, n77 & (!n2)
+n37, n12
+n6, n9 | (!n16 | (n48))
+n42, n6 & (n61)
+n47, n68
+n66, n47
+n57, n44
+n45, !n57 | (n93)
+n22, n75 & (n85)
+n58, n22 | (n80 & (n93))
+n83, n45 & (n36)
+n72, !n69
 n28, 0
-n36, n42 & (n9 | (!n28 & (!n4)))
+n36, n42 & (n9 | (!n28 & (!n48)))
 n44, 0
 n10, 0
-n4, n1
-n20, !n3
-n40, n20 & (n7)
-n71, n31 & (n9)
-n13, n4 & (n99 | (n91 | (!n6)))
-n91, n13 | (n34 & (n))
-n97, n
-n79, n9
+n4, n10
+n20, !n39
+n40, n20 & (n75)
+n71, n31 & (n90)
+n13, n4 & (n99 | (n91 | (!n61)))
+n91, n13 | (n34 & (n9))
+n97, n1
+n79, n93
 n70, 0
-n59, n71 & (!n)
+n59, n71 & (!n3)
 n98, 0
-n68, n98 & (n9)
+n68, n98 & (n93)
 n35, 0
 n56, 0
-n21, n18 & (!n93 & (n60 | (n6)))
-n48, n2
+n21, n18 & (!n93 & (n60 | (n61)))
+n48, n21
 n78, 0
-n27, !n78 | (n5)
-n95, !n9
-n29, !n9
+n27, !n78 | (n55)
+n95, !n93
+n29, !n95
 n52, 0
 n49, 0
-n73, !n40 | (n1)
-n84, n9 | (!n36 | (n9))
-n80, !n84 & (!n62 | (!n6))
-n39, n58 | (!n96 | (n6))
-n18, n46 & (n66 | (!n39 & (!n9)))
-n94, n8
-n23, n94 & (n6)
+n73, !n40 | (n18)
+n84, n9 | (!n36 | (n93))
+n80, !n84 & (!n62 | (!n63))
+n39, n58 | (!n96 | (n61))
+n18, n46 & (n66 | (!n39 & (!n93)))
+n94, n83
+n23, n94 & (n61)
 n9, 0
-n1, n30 | (n93 & (n6))
+n1, n30 | (n93 & (n61))
 n62, 0
-n60, n52 & (n2)
-n53, !n33 | (n8)
-n30, !n5
-n67, n70 & (n8)
-n2, n93 | (n87 | (n24 & (n61 | (n6))))
-n64, n0 & (n6)
-n38, n38 & (n9)
-n51, n9
-n74, n8
-n90, n9
-n46, n37 & (n)
-n55, n86 & (!n8)
-n61, n9
-n3, n55 | (!n61 | (!n))
-n33, n7
-n93, !n9
-n11, n
+n60, n52 & (n25)
+n53, !n33 | (n85)
+n30, !n53
+n67, n70 & (n85)
+n2, n93 | (n87 | (n24 & (n61 | (n67))))
+n64, n0 & (n61)
+n38, n38 & (n93)
+n51, n93
+n74, n81
+n90, n93
+n46, n37 & (n5)
+n55, n86 & (!n83)
+n61, n93
+n3, n55 | (!n61 | (!n9))
+n33, n75
+n93, !n93
+n11, n9
 n41, 0
-n5, n55 & (n6)
+n5, n55 & (n61)
 n82, 0
-n16, n9
+n16, n93
 n0, 0
-n32, !n5
+n32, !n54
 n85, 0
File	Stmts	Miss	Cover	Missing
nfvsmotifs
SuccessionDiagram.py	154	4	97%	6–7, 208, 452
control.py	120	13	89%	47, 56, 60, 66, 80, 89–105, 319, 334
interaction_graph_utils.py	142	8	94%	6–9, 57, 70, 95–96
motif_avoidant.py	163	6	96%	23–24, 130, 147, 184, 309
petri_net_translation.py	84	6	93%	23–24, 52, 63–64, 94
pyeda_utils.py	95	34	64%	12, 56–66, 90, 95, 98–112, 140–144
space_utils.py	118	5	96%	15–16, 198, 213, 270
state_utils.py	68	12	82%	15, 55–66, 98, 105, 114
terminal_restriction_space.py	44	3	93%	6–7, 80
trappist_core.py	186	20	89%	10–11, 39, 41, 81, 127, 192, 194, 196, 231–233, 259, 317, 319, 349, 389, 391, 422, 451
nfvsmotifs/FVSpython3
FVS.py	48	10	79%	90–91, 97, 133, 183–189
FVS_localsearch_10_python.py	90	1	99%	179
nfvsmotifs/_sd_algorithms
compute_attractor_seeds.py	29	1	97%	6
expand_attractor_seeds.py	51	4	92%	6, 95–100
expand_bfs.py	28	1	96%	6
expand_dfs.py	30	1	97%	6
expand_minimal_spaces.py	37	1	97%	6
expand_to_target.py	30	3	90%	6, 37, 42
TOTAL	1614	133	92%