#31 Messages from Checking Algorithms

open
nobody
1
2011-07-07
2011-07-07
Vaclav Vacek
No

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

Discussion

  • Matus  Madzin
    Matus Madzin
    2012-07-17

    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.