Seite 1 von 1

KeY Fehler

Verfasst: 13. Feb 2013 11:14
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?

Re: KeY Fehler

Verfasst: 14. Feb 2013 12:09
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