Skip to content

Resolve "The If-Then-Else construct should not backtrack"

Enrico Siboni requested to merge feature/if-then-else-tests-update into feature/instantiation-error-for-uninstantiated-goals

Closes #62 (closed)

Edited by Enrico Siboni

Merge request reports