Bug #2264
closedImprove descriptions of legitimate exceptions
0%
Description
When a tool fails with an exception, a natural conclusion is that there's a bug in the tool. However, BLAST, like many other similar tools, can sometimes legitimately fail to prove that the program is unsafe.
These exceptions include FociInterface.SAT and NoNewPredicatesException. We should develop error messages that should be shown to users instead of these errors.
Our team knows what programs are uncheckable by blast, and does not feed the tool with them. So we rarely see these confusing errors, and do not pay much attention to their presentation. We should fix this, I guess; setting High.
Updated by Pavel Shved almost 13 years ago
- Due date set to 01/30/2012
- Status changed from New to Open
- Assignee set to Pavel Shved
- Target version set to 2.7.1
Okay, I guess these explanations worth postponing the release a bit.
Updated by Evgeny Novikov over 12 years ago
I see that in d41b9c4 some progress about this issue was made. Is it enough to close it?
Updated by Pavel Shved over 12 years ago
- Status changed from Open to Closed
Yes, that's pretty much everything I planned for this feature.