Skip to content

Commit

Permalink
Formatting.
Browse files Browse the repository at this point in the history
  • Loading branch information
daemontus committed Apr 11, 2024
1 parent 2365c1a commit ad523b4
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions balm/_sd_attractors/attractor_candidates.py
Original file line number Diff line number Diff line change
Expand Up @@ -498,12 +498,10 @@ def run_simulation_minification(
# We use different simulation approach depending on whether this space
# is a minimal trap or not.
if not avoid_bdd.is_false():

candidates_bdd = state_list_to_bdd(symbolic_ctx, candidate_states)
filtered_candidates: list[BooleanSpace] = []

for i, state in enumerate(candidate_states):

if i % 100 == 99 and balm.succession_diagram.DEBUG:
print(
f"[{node_id}] > Simulation progress: {i+1}/{len(candidate_states)}"
Expand Down Expand Up @@ -570,7 +568,6 @@ def run_simulation_minification(
candidates_bdd = state_list_to_bdd(symbolic_ctx, candidate_states)
printed = set()
for i in range(max_iterations):

progress = int((i * len(candidate_states)) / max_iterations)
if (
progress % 100 == 99
Expand Down

1 comment on commit ad523b4

@github-actions
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Coverage

Coverage Report
FileStmtsMissCoverMissing
balm
   _pint_reachability.py645022%25, 53–67, 80–104, 112–157
   control.py1141488%107, 119, 125, 129, 134, 143–159, 477, 480, 493
   interaction_graph_utils.py38489%11–13, 151–152
   petri_net_translation.py1491193%22–26, 79, 136, 308–309, 333–334, 343, 452
   space_utils.py1321688%26–28, 104–110, 133–139, 414, 462
   succession_diagram.py3705585%6, 201–206, 214, 261–268, 372–379, 396–397, 407, 413, 529, 616–622, 738, 741, 852–866, 898, 910, 950, 953, 1011, 1105, 1288, 1336, 1345
   symbolic_utils.py32584%10, 39–44, 100, 128
   trappist_core.py1832785%14–18, 55, 57, 92, 215, 217, 219, 247–250, 254–256, 276–282, 340, 342, 372, 420, 422
balm/_sd_algorithms
   expand_attractor_seeds.py57493%6, 43, 101–102
   expand_bfs.py28196%6
   expand_dfs.py30197%6
   expand_minimal_spaces.py37295%6, 31
   expand_source_SCCs.py122497%14–16, 88, 133
   expand_to_target.py31390%6, 38, 43
balm/_sd_attractors
   attractor_candidates.py2677273%13–15, 26–27, 207–218, 252–326, 396, 398–434, 506, 577–578
   attractor_symbolic.py1151190%6–7, 87–91, 102, 142, 189–191, 203
TOTAL183928085% 

Tests Skipped Failures Errors Time
357 0 💤 0 ❌ 0 🔥 27.833s ⏱️

Please sign in to comment.