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

[keithbrown]

To see the output when running the compiled executable, just open a command prompt/terminal window, navigate to the folder that contains the executable and run it there.

To pause execution in Verifier, set a breakpoint on any line of OAL.

I cannot say why you are getting “Nothing to verify”. Can you share the model?

Can you create the example MicrowaveOven and run it in Verifier?