Project

General

Profile

Actions

Bug #2264

closed

Improve descriptions of legitimate exceptions

Added by Pavel Shved about 12 years ago. Updated about 12 years ago.

Status:
Closed
Priority:
High
Assignee:
Category:
-
Target version:
Start date:
01/22/2012
Due date:
01/30/2012
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

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.

Actions #1

Updated by Pavel Shved about 12 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.

Actions #2

Updated by Evgeny Novikov about 12 years ago

I see that in d41b9c4 some progress about this issue was made. Is it enough to close it?

Actions #3

Updated by Pavel Shved about 12 years ago

  • Status changed from Open to Closed

Yes, that's pretty much everything I planned for this feature.

Actions

Also available in: Atom PDF