Skip to content

fix(libero): fail loudly on tasks with empty init-state sets - #267

Open
akushonkamen wants to merge 1 commit into
RLinf:mainfrom
akushonkamen:fix/246-empty-pruned-init-guard
Open

fix(libero): fail loudly on tasks with empty init-state sets#267
akushonkamen wants to merge 1 commit into
RLinf:mainfrom
akushonkamen:fix/246-empty-pruned-init-guard

Commits

  1. Commits on Oct 11, 2026