I can run the example Microwave Oven in Verifier (Does it ever run test sequence 2 or only test sequence 1?
I’m surprised that I can run my own project’s executable from a console but can’t run it in verifier. What is verifier meant to be doing? I presumed there was a direct relation between projects that would run in both verifier and as an exe (or wouldn’t run in either).
I will seek permission to share the model with you. In advance, can you tell me how I would do that?
THank you for the instruction on running the .exe from the command prompt. I at least got one of the things I really needed by doing that.
