adds test superkeys

src/test/kotlin/unibz.cs.semint.kprime/domain/ConstraintTest.kt

@@ -11,43 +11,22 @@ class ConstraintTest {
     @Test
     fun test_find_superkeys() {
         val exprs = listOf(
-//                "A, B --> C",
-//                "C, D --> E",
-//                "C --> A",
-//                "C --> D",
+                "A, B --> C",
+                "C, D --> E",
+                "C --> A",
+                "C --> D",
                 "D-->B"
         )
 
         val expr = "A, B --> C; C, D --> E; C --> A; C --> D; D-->B"
-        val fds = Constraint.set(expr)
+        val fds = Constraint.set(exprs)
         val attrs = Column.set("A, B, C, D, E")
         val keys = Schema.superkeys(attrs,fds)
         println(keys)
-        assertEquals("""
-[A, B],
-[C],
-[A, C],
-[A, D],
-[B, C],
-[A, B, C],
-[A, B, D],
-[C, D],
-[A, B, E],
-[A, C, D],
-[C, E],
-[A, C, E],
-[B, C, D],
-[A, B, C, D],
-[A, D, E],
-[B, C, E],
-[A, B, C, E],
-[A, B, D, E],
-[C, D, E],
-[A, C, D, E],
-[B, C, D, E],
-[A, B, C, D, E]            
-        """.trimIndent(),keys)
-        //for(key in keys ) println(key)
+        assertEquals(
+                "[[A, B], [C], [A, C], [A, D], [B, C], [A, B, C], [A, B, D], [C, D], [A, B, E], [A, C, D], [C, E], [A, C, E], [B, C, D], [A, B, C, D], [A, D, E], [B, C, E], [A, B, C, E], [A, B, D, E], [C, D, E], [A, C, D, E], [B, C, D, E], [A, B, C, D, E]]"
+                ,keys.toString()
+                )
     }
 
 }
\ No newline at end of file