Project

General

Profile

Actions
Copy link

Bug #2264

closed

Improve descriptions of legitimate exceptions

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

Status:
Closed
Priority:
High
Assignee:
Pavel Shved
Category:
-
Target version:
2.7.1
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
Copy link

Also available in: Atom PDF