Hallo,
vielleicht dieses noch zur Information, es wird ein mc_err.log beim starten von Modelcheck in das aktuelle Verzeichnis geschrieben mit folgendem Inhalt:
DATE:Tue Sep 03 2002 09:14:44
ERROR: -ERR- mcServerInit: server file [d:\PTC\2001/i486_nt/obj/mc_server.exe] access error.
DATE:Tue Sep 03 2002 09:14:44
ERROR: mcAsyncInit() mcServerInit() rc[-1]
DATE:Tue Sep 03 2002 09:14:44
ERROR:
ModelCHECK - Async Server wird nicht ausgefuehrt.
DATE:Tue Sep 03 2002 09:14:44
ERROR:
ModelCHECK Java will not be available.
Kann mir denn zu diesen Problem keiner weiterhelfen.
Ich hoffe auf unsere Moderatoren von der Firma RAND bzw. DENC.
Eine Antwort auf diesen Beitrag verfassen (mit Zitat/Zitat des Beitrags) IP