Community Tip - If community subscription notifications are filling up your inbox you can set up a daily digest and get all your notifications in a single email. 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