Community Tip - When posting, your subject should be specific and summarize your question. Here are some additional tips on asking a great question. X
hello,
i'm trying to configure model check to use list for layers but it is not working.
there is some trick to use?
thanks
Christian,
Could you explain this in detail?
somehow i figured it out but it is not working with parameters.
for example i add the following lines to *.mcs file:
LIST_SPECIFICA_1 -
LIST_SPECIFICA_1 S-GEN-I-001
LIST_SPECIFICA_1 S-GEN-I-002
PRT_PARAMETER SPECIFICA_1 STR EQ LIST_SPECIFICA_1
but modelcheck do not add those parameter.
thanks