Clean up old benchmark files and old scripts.

jcrozum · Apr 24, 2024 · a6d545a · a6d545a · github-actions · Apr 24, 2024
1 parent 933a14f
commit a6d545a
Show file tree

Hide file tree

Showing 394 changed files with 0 additions and 34,258 deletions.
diff --git a/BENCHMARKS.md b/BENCHMARKS.md
diff --git a/NFVS-random.txt b/NFVS-random.txt
File	Stmts	Miss	Cover	Missing
biobalm
_pint_reachability.py	61	50	18%	24, 40–54, 69–93, 101–146
control.py	114	14	88%	107, 119, 125, 129, 134, 143–159, 477, 480, 493
interaction_graph_utils.py	38	4	89%	11–13, 151–152
petri_net_translation.py	149	11	93%	22–26, 79, 136, 308–309, 333–334, 343, 452
space_utils.py	132	16	88%	26–28, 104–110, 133–139, 414, 462
succession_diagram.py	381	66	83%	6, 118, 207–212, 225, 272–279, 383–390, 407–408, 418, 424, 540, 627–633, 749, 752, 870–888, 920, 930, 933, 970, 973, 980, 1031, 1045, 1125, 1308, 1319, 1327, 1355, 1370, 1382, 1387, 1393
symbolic_utils.py	32	5	84%	10, 39–44, 100, 128
trappist_core.py	183	27	85%	14–18, 55, 57, 92, 215, 217, 219, 247–250, 254–256, 276–282, 340, 342, 372, 420, 422
biobalm/_sd_algorithms
expand_attractor_seeds.py	60	7	88%	6, 28, 42, 109–114, 119
expand_bfs.py	28	1	96%	6
expand_dfs.py	30	1	97%	6
expand_minimal_spaces.py	37	2	95%	6, 31
expand_source_SCCs.py	122	4	97%	14–16, 88, 133
expand_to_target.py	31	3	90%	6, 38, 43
biobalm/_sd_attractors
attractor_candidates.py	263	89	66%	13–15, 26–27, 93, 101, 107–108, 130, 152, 187, 193–204, 223, 239–316, 321, 325, 331, 337, 348, 372, 377, 381, 387, 389–427, 500, 571–572, 673
attractor_symbolic.py	114	16	86%	6–7, 75, 88–92, 103, 112, 144, 179, 191–193, 202, 230, 236
TOTAL	1860	316	83%