Index: /Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverterTest.java
===================================================================
--- /Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverterTest.java	(revision 62)
+++ /Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverterTest.java	(revision 63)
@@ -81,5 +81,4 @@
      * for {@link MaxTermConverter}.
      */
-    @Ignore()
     @Test
     public void testEvaluationVisitor() {
@@ -111,5 +110,5 @@
          * 1 1 1  1
          */
-        // (a OR b OR c) AND (a OR !b OR c) AND (!a OR !b OR c) AND (a OR b OR !c)
+        // Tests whether b = true and c = false are sufficient to evaluate the constraint to false.
         Constraint constraint = new Constraint(testProject);
         try {