hermhart
Automotive
- Sep 28, 2004
- 23
Is there a way to run Model Check from a command line? I see at the end of the modelcheck.bat file there is a line:
"%prodir%\%MC%\obj\modelcheck.exe" %1 %2 %3 %4 %5 %6
Is there any way to plug in the information that you need to just be able to double-click on the modelcheck.bat file (or a shortcut to), and have it complete the model checks, as it looks like all it needs is arguments to fill in the "%1 %2 %3 %4 %5 %6".
"%prodir%\%MC%\obj\modelcheck.exe" %1 %2 %3 %4 %5 %6
Is there any way to plug in the information that you need to just be able to double-click on the modelcheck.bat file (or a shortcut to), and have it complete the model checks, as it looks like all it needs is arguments to fill in the "%1 %2 %3 %4 %5 %6".