Checking algorithms should be capable of outputting text messages to the Verification-report window.
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.
Log in to post a comment.
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.