Skip to content

Repository navigation

Support unbounded Goal traversal and truthful child completion - #120

Draft
Ken Chau (kenotron-ms) wants to merge 1 commit into
mainfrom
fix/goal-unbounded-traversal-incomplete
Draft

Support unbounded Goal traversal and truthful child completion#120
Ken Chau (kenotron-ms) wants to merge 1 commit into
mainfrom
fix/goal-unbounded-traversal-incomplete

fix: support unbounded Goals and reject interrupted child success

05b239d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar