Skip to content

refactor!: remove strict_states, add validate_trap_states and validate_final_reachability#568

Merged
fgmacedo merged 1 commit into
developfrom
refactor/remove-strict-states
Feb 17, 2026
Merged

refactor!: remove strict_states, add validate_trap_states and validate_final_reachability#568
fgmacedo merged 1 commit into
developfrom
refactor/remove-strict-states

refactor!: remove `strict_states`, add `validate_trap_states` and `va…

9801170
Select commit
Loading
Failed to load commit list.