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

fgmacedo merged 1 commit into
developfrom
refactor/remove-strict-states

Commits

  1. Commits on Feb 17, 2026