Creo ModelCHECK
>
config_init_options
> MC_SEARCH_LAST_IN_CUR_DIR
MC_SEARCH_LAST_IN_CUR_DIR
<Y/N>
•
Y
– ModelCheck-Konfigurationsdateien werden zuletzt im aktuellen Verzeichnis durchsucht.
•
N
– Dies ist die Standardvorgabe. ModelCheck-Konfigurationsdateien werden zuerst im aktuellen Verzeichnis durchsucht.
Zugehörige Themen
Allgemeine Einführung: Datei "config_init.mc"
Konfigurationsoptionen in der Datei "config_init.mc"
War dies hilfreich?
Diese Website funktioniert am besten, wenn JavaScript aktiviert ist.