CnfFactoryMarkusTest

[Google Code Exporter]

Der Test testCnfTruthValue aus CnfFactoryMarkusTest liefert bei mir folgende 
Meldung:

java.lang.AssertionError: Cnf (a,b,c): a=1, b=1, c=1. expected:<UNDEFINED> but 
was:<TRUE>
    at org.junit.Assert.fail(Assert.java:91)
    at org.junit.Assert.failNotEquals(Assert.java:645)
    at org.junit.Assert.assertEquals(Assert.java:126)
    at prog2.project3.tests.CnfFactoryMarkusTest.testCnfTruthValue(CnfFactoryMarkusTest.java:163)
... (gekürzt)

Meiner meinung nach ist TRUE aber richtig für a = b = c = TRUE (= 1)

(Ich poste als support, weil ich mir nicht sicher bin ob der Fehler bei mir 
liegt)

Original issue reported on code.google.com by [e-mail] on 4 Jul 2012 at 6:25

[Google Code Exporter]

Wie auch in den Nightlies möglich, wurde hier "expected" und "actual" 
verwechselt.
Ich hatte mich auch erst an die Reihefolge gewöhnen müssen, und Markus hat an 
der Stelle einen Fehler gemacht.

EIGENTLICH hätte diese Meldung kommen sollen:

java.lang.AssertionError: Cnf (a,b,c): a=1, b=1, c=1. expected:<TRUE> but 
was:<UNDEFINED>.

Ich fixe den Fehler gerade. Die nächste Version zeigt es dann richtig herum an.

Original comment by [e-mail] on 4 Jul 2012 at 7:48

• Changed state: Started

[Google Code Exporter]

aber warum wird UNDEFINED expected? wenn alle 3 true sind muss doch TRUE kommen?

Original comment by [e-mail] on 4 Jul 2012 at 8:42

[Google Code Exporter]

Genau, und es wird auch TRUE erwartet. Deine Implementierung liefert aber 
UNDEFINED.
Leider ist es in der Fehlermeldung falsch wiedergegeben.

Original comment by [e-mail] on 4 Jul 2012 at 8:44

[Google Code Exporter]

Ach genau sorry mein Fehler. Da hat sich ein Strichpunkt hinter ein if 
geschlichen :P
Vielen Dank!

Original comment by [e-mail] on 4 Jul 2012 at 8:53

[Google Code Exporter]

Neue Version hochgeladen.

Damit scheint dieser Issue beendet zu sein, wenn ich mich nicht irre.

Original comment by [e-mail] on 4 Jul 2012 at 9:39

• Changed state: Done