Replace "Verification Aborted Exceptionally" and "Unknown Reason"/loglevel-related messages with more-specific messages

[viper-admin]

Created by @alexanderjsummers on 2017-09-08 14:03 Last updated on 2017-09-25 10:25

The exceptional error messages sometimes produced by Silicon are hard to debug, particularly from the IDE. For both the error message directly displayed, and the additional information provided e.g. in the "Output->Viper" view in the IDE (where currently a "loglevel" is mentioned), we should give (particularly IDE) users an idea of what went wrong, and what to do next.

As a simple first approximation, if these are exceptions that have been caught by Silicon, then one could include the exception type / message. However, writing specific error messages explaining the problem encountered would be more useful.

[viper-admin]

@mschwerhoff commented on 2017-09-25 10:25

See also Viper-IDE issue #93