Specifying ModelCheck start file

[SW]

I'm having some trouble with ModelCheck.



Depending on the project I'm working on, I need ModelCheck to apply
different parameter information to the file. I've created a different
start file, but how can I manually specify this alternative start file
when I run ModelCheck?



I appreciate that I could create an extra start part, but this is not ideal.



Thanks,



Sam

 

[looslib]

Look at the condition.mcc files. These can set the checking file based on some model parameters.