]> andersk Git - splint.git/commitdiff
Saving version preented on 092200 simplyconstraintterm
authordrl7x <drl7x>
Mon, 25 Sep 2000 23:15:51 +0000 (23:15 +0000)
committerdrl7x <drl7x>
Mon, 25 Sep 2000 23:15:51 +0000 (23:15 +0000)
src/constraintResolve.c

index 2774ad9e7e5dc0c78bdb4dc44ff96797e47d9960..e85e4d1ffc6a1fab31706bdc3a092df703953544 100644 (file)
@@ -347,7 +347,7 @@ void mergeResolve (exprNode parent, exprNode child1, exprNode child2)
       {
        parent->requiresConstraints = constraintList_copy (child2->requiresConstraints);
        parent->ensuresConstraints = constraintList_copy (child2->ensuresConstraints);
-       DPRINTF((message ("Copied child constraints: pre: %s and post: %s ",
+       DPRINTF((message ("Copied child constraints: pre: %s and post: %s",
                          constraintList_print( child2->requiresConstraints),
                          constraintList_print (child2->ensuresConstraints)
                          )
@@ -357,9 +357,11 @@ void mergeResolve (exprNode parent, exprNode child1, exprNode child2)
 
   llassert(!exprNode_isError(child2) );
   
-  TPRINTF( (message ("Child constraints are %s and %s ",
+  TPRINTF( (message ("Child constraints are %s %s and %s %s",
                     constraintList_print (child1->requiresConstraints),
-                    constraintList_print (child2->requiresConstraints)
+                    constraintList_print (child1->ensuresConstraints),
+                    constraintList_print (child2->requiresConstraints),
+                    constraintList_print (child2->ensuresConstraints)
                     ) ) );
  
   parent->requiresConstraints = constraintList_new();
This page took 3.578346 seconds and 5 git commands to generate.