added another check
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 20 Aug 2004 20:13:43 +0000 (20:13 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Fri, 20 Aug 2004 20:13:43 +0000 (20:13 +0000)
check/exam_normalization.cpp

index c9ceb18..b42a2c7 100644 (file)
@@ -203,6 +203,7 @@ static unsigned exam_content()
        result += check_content(5*x-15, x, 5, 5, x-3);
        result += check_content(5*x*y-15*y*y, x, 5, 5*y, x-3*y);
        result += check_content(-15*x/2+ex(25)/3, x, ex(5)/6, ex(5)/6, 9*x-10);
+       result += check_content(-x*y, x, 1, y, x);
 
        return result;
 }