-
Notifications
You must be signed in to change notification settings - Fork 8
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
1280 hets error handling for proving #1299
Conversation
In the `dg` command, hets outputs: "*** Error: <message>" and in the `prove` command, hets outputs: "*** Error: <message>" So the `\Z` in the regexp is removed and the error message includes the first line without the prefix "*** Error:"
The cause is set implicitly in the rescue block.
|
||
it "ontology_version's last_error contains the error message" do | ||
expect(ontology_version.reload.last_error).to include(error_message) | ||
end | ||
end | ||
end | ||
end |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Lines 104-155 and 271-322 of this file are identical. Moreover, lines 48-187 and 215-355 are similar. Could this be factored out?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
For the same reason as in #1298 I decided to have some code duplication in the specs. Again, this operates once on ontology_version
and once on theorem
. I can create a context for the identical parts of theorem and ontology_version, if you want me to do it.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think this is a general question about the policy in Ontohub. I let you decide.
👍 |
…oving 1280 hets error handling for proving
This shall fix #1280. Hets errors are recognized and the states are updated properly.
This only handles errors in the backend. Views for errors and states are part of #1283.