[Scstudio-devel] [ scstudio-Feature Requests-3357642 ] Messages from Checking Algorithms

[SourceForge.net <no...@so...>]

Feature Requests item #3357642, was opened at 2011-07-07 02:46
Message generated for change (Comment added) made by madzin
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=3357642&group_id=219467

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Verification Algorithms
Group: None
Status: Open
Priority: 1
Private: No
Submitted By: Vaclav Vacek (vacek)
Assigned to: Nobody/Anonymous (nobody)
Summary: Messages from Checking Algorithms

Initial Comment:
Checking algorithms should be capable of outputting text messages to the Verification-report window. 

----------------------------------------------------------------------

>Comment By: Matus  Madzin (madzin)
Date: 2012-07-17 03:46

Message:
Can you describe the request a little bit more?

Algorithms are able to print message but they are not able to create an
link to the counterexample. 

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046489&aid=3357642&group_id=219467