Enable another zeroDivCond test which got fixed recently

amai2012 · amai2012 · commit b795d30db63b · 2020-03-06T17:15:54.000+01:00
diff --git a/test/testother.cpp b/test/testother.cpp
@@ -580,9 +580,8 @@ class TestOther : public TestFixture {
               "    f1(123,y);\n"
               "    if (y>0){}\n"
               "}");
-        TODO_ASSERT_EQUALS(
+        ASSERT_EQUALS(
             "[test.cpp:4] -> [test.cpp:1]: (warning) Either the condition 'y>0' is redundant or there is division by zero at line 1.\n",
-            "",
             errout.str());
 
         // avoid false positives when variable is changed after division
