Closed GoogleCodeExporter closed 9 years ago
1. Die Reihenfolge der Tests spielt keine Rolle, wenn "Bewied" im Dateinamen
enthalten ist. Besonders nicht bei CnfContent.
2. Im Projekt müssen HashSets benutzt werden. Diese verhalten sich
nicht-deterministisch.
=> Du benutzt eine nicht-deterministische Datenstruktur
=> Deine Implementierung reagiert in manchen Fällen falsch, aber nicht allen
=> Die Tests verlaufen nicht-deterministisch, da nur manchmal, aber nicht immer
ein solcher "Fall" vom HashSet gewählt wird.
=> Manchmal funktioniert es, manchmal nicht.
Dieses Problem wirst Du mit *allen* Tests haben, die:
- mehr als eine Clause
- mehr als ein Literal
- mehr als eine Variable
- oder eine Kombination der obigen Punkte
benutzen, um Deine Implementierung zu testen.
=> Das sind fast alle.
=> Die Nightlies müssten, mit etwas Pech, ebenfalls nicht-deterministisch sein.
Da der StackTraceBewiedTest ganz besonders darunter leidet, habe ich dort eine
Schleife eingebaut.
Den CnfContent kann ich leider nicht ganz so einfach "durchschleifen" lassen.
Einziger Tipp den ich geben kann: Wenn Du Fehler suchst, lass es mehrfach
laufen.
Wenn Du debuggen willst, setze einen Breakpoint kurz vor der entsprechenden
Meldung, und klicke auf "DEBUG". Dann kannst Du Dir die momentanen Zustände
Deiner sowie meiner Variablen anschauen (auch rekursiv).
Gruß
Ben
Original comment by Nichmen...@gmail.com
on 8 Jul 2012 at 9:48
Closing, missing response from starter
Original comment by Nichmen...@gmail.com
on 9 Jul 2012 at 8:47
Original issue reported on code.google.com by
k.hoff...@gmail.com
on 8 Jul 2012 at 9:35