how to configure model check to use list for layers

[cspinelli]

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

This thread is inactive and closed by the PTC Community Management Team. If you would like to provide a reply and re-open this thread, please notify the moderator and reference the thread. You may also use "Start a topic" button to ask a new question. Please be sure to include what version of the PTC product you are using so another community member knowledgeable about your version may be able to assist.

[Mahesh_Sharma]

Christian,

Could you explain this in detail?

[cspinelli]

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