Was testet SatisfyingAssignmentBewiedTest#testStandardSatisfiable ?
GoogleCodeExporter opened this issue · comments
Hallo! Wollte erstmal anmerken dass ihr ne super Arbeit mit den Tests macht,
danke dafür! ;)
Nun zu meinem Problem: Der Test
SatisfyingAssignmentBewiedTest#testStandardSatisfiable schlägt bei mir fehl
und nachdem IntegrationFelixTest bei mir klappt, wollte ich mal fragen, welche
Ausdrücke da eigentlich getestet werden? Hier die Fehlermeldung:
________________________________________________________________________________
FAILURE: You failed the test
SatisfyingAssignmentBewiedTest#testStandardSatisfiable.
This test has 5 subtests.
You failed 5 subtest(s) and passed 0 subtest(s).
This indicates that there is a general problem with your implementation.
The following information may or may not be helpful. If you don't understand
it, file a support ticket here:
https://code.google.com/p/prog2tests/issues/entry?template=support
You failed the following subtest(s): 1 2 3 4 5.
Some subtests left a message for you:
Message 1: _____________________________________________________________________
Test 1 failed with this message:
Your DPLLAlgorithm thought that prog2.project3.cnf.MyCnf@32bd1f4a is unsolvable.
Please make sure you pass IntegrationFelixTest.
Message 2: _____________________________________________________________________
Test 2 failed with this message:
Your DPLLAlgorithm thought that prog2.project3.cnf.MyCnf@29decdb7 is unsolvable.
Please make sure you pass IntegrationFelixTest.
Message 3: _____________________________________________________________________
Test 3 failed with this message:
Your DPLLAlgorithm thought that prog2.project3.cnf.MyCnf@95ba266f is unsolvable.
Please make sure you pass IntegrationFelixTest.
Information: ________________________________________________________
2 more message(s) were not printed.
End of failure message for test
SatisfyingAssignmentBewiedTest#testStandardSatisfiable
________________________________________________________________________________
Original issue reported on code.google.com by laska_s...@yahoo.de on 12 Jul 2012 at 4:11
Mist, da habe ich Cnf.toString() aufgerufen.
Einen Moment, ich uploade gleich eine bessere Version.
Aber rein prinzipiell: Der Fehler ist, dass Du NULL anstatt einer Map
zurückgibst.
Bist Du sicher, dass Du diese Methode implementiert hast?
Original comment by Nichmen...@gmail.com on 12 Jul 2012 at 4:20
Ahh ich habs mir nochmal genauer angeschaut und jetzt wo du es sagst: Ich habe
geprüft, ob der Wahrheitswert der Formel gleich TRUE ist, andernfalls hab ich
null zurückgegeben. Dabei wird natürlich der Algorithmus noch nicht
angestoßen ;)
Ok ist gelöst, danke sehr :)
Original comment by laska_s...@yahoo.de on 12 Jul 2012 at 4:33
Original comment by felix@familie-freiberger.net on 12 Jul 2012 at 4:34
- Changed state: Done