-
Notifications
You must be signed in to change notification settings - Fork 5
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Panic when user calls all x all only a predicate argument that doesn't exist in ontology #63
Comments
Stack trace from rust side:
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This panic happens when a user specifies only a predicate that doesn't exist in ontology (I'm using the
try_rwlock_instead_of_mutex
branch, since it looks like this will be merged soon-ish). This is what happens on the Oak side:Not a problem if they specify one that exists and one that does not:
I think we probably just need to check for this in
update_closure_and_ic_map
here and also need a test on the semsimian side, something like:The text was updated successfully, but these errors were encountered: