D120.de/forum

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?

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