KeY Fehler

Tobias Lippert
Erstie
Erstie
Beiträge: 12
Registriert: 22. Apr 2012 20:33

KeY Fehler

Beitrag von Tobias Lippert »

Hallo,
wir arbeiten derzeit an Lab 4 und wenn wir versuchen Task 2.6 zu bearbeiten bekommen wir eine Fehlermeldung:
"An Exception occured during Proof" oder so ähnlich. Woran kann das liegen?

bubel
Windoof-User
Windoof-User
Beiträge: 31
Registriert: 10. Apr 2012 11:21

Re: KeY Fehler

Beitrag von bubel »

Hallo,

was wird denn auf die Konsole geschrieben? Die Konsole lässt sich auch bei Webstart einstellen (javaws -viewer sollte eine GUI anzeigen mit deren Hilfe sich dies einstellen lässt). Aber vllt. könnt ihr zuerst überprüfen, ob euer Programm übersetzbar ist? Verwendet ihr irgendwelche System.out.println Methoden? Falls ja kommentiert diese bitte mal probeweise aus.

Viele Grüße,
Richard

Antworten

Zurück zu „Archiv“