Problem in Zusammenabeit der tests?
GoogleCodeExporter opened this issue · comments
Nachdem der IntegrationFelixTest jetzt läuft, habe ich festgestellt, dass wenn
ich die komplette Test Suite
auf einmal starte, der IntegrationSat1 mir eine NullpointerException in
getConjugativeNormalForm() wirft. Wenn der Test einzeln läuft nicht.
Kann sein dass das an meiner Implementierung liegt, ist aber trotzdem seltsam.
Original issue reported on code.google.com by sebastia...@gmail.com on 6 Jul 2012 at 1:07
Ich vermute, dass das an deiner Implementierung liegt. Heiße Kandidaten wären
natürlich statische Klassen / deren Felder, da sich deine Implementierung
irgend etwas merkt. Eventuell resettest du den VariableNameGenerator nicht wie
gefordert?
Original comment by felix@familie-freiberger.net on 6 Jul 2012 at 1:25
- Changed state: Accepted
- Added labels: Type-Support
- Removed labels: Type-Problem
Ok lag am VariableNameGenerator. Aber soweit ich mich erinnere hat ein Tutor im
Forum mal gemeint das wir das reset garnicht benötigen. Egal jetzt klappts.
Original comment by sebastia...@gmail.com on 6 Jul 2012 at 1:52
Zitat aus der Dokumentation: "Für jede Formel soll dabei ein neuer
VariableNameGenerator benutzt werden." (Zeile 105f)
Der Thread, den du meinst, ist hier:
https://forum.st.cs.uni-saarland.de/boards/viewthread?thread=1521#8450
Es ist also wohl keine Pflicht, aber sehr, sehr sinnvoll.
Schön, dass es jetzt funktioniert :)
Original comment by felix@familie-freiberger.net on 6 Jul 2012 at 1:59
- Changed state: Done
[deleted comment]
Ein völlig anonymer Mensch hat uns geflüstert, dass die Musterlösung
VariableNameGenerator.reset() nicht nutzt. Eventuell müssen wir da die Tests
doch anpassen.
Original comment by felix@familie-freiberger.net on 6 Jul 2012 at 5:51
- Changed state: Accepted
- Added labels: Type-Problem
- Removed labels: Type-Support
[deleted comment]
Original comment by felix@familie-freiberger.net on 15 Jul 2012 at 12:49
- Changed state: Expired