Reply To: What does "Nothing to verify." mean?

homepage Forums BridgePoint/xtUML Usage and Training What does "Nothing to verify." mean? Reply To: What does "Nothing to verify." mean?


I tried to edit my previous message but maybe writing this new one is more helpful as it will bounce the thread.

I have a model which compiles without errors and which executes in the system editor. It completes but, after execution of the very last lines, the console closes and I can’t see all of the output in one single view.

I try to execute the model using verifier and I get the message, “Nothing to Verify”.

Whether this is an error in my model or a bug in verifier, I need a way to see the full output of the execution. I don’t know why I’m getting the “Nothing to Verity” message and I don’t know how to cause either a pause in the execution or to make the console remain active after execution has finished or to redirect the system editor output to a file.

Could you tell me what I need to do to make any of these things happen so that I can see the output of the execution of my model, either in system output or the verifier?