1@@ -10 +10 @@ 2- PetscValidIntPointer(b, 5); 3+ PetscValidScalarPointer(b, 2); 4@@ -12,2 +12,2 @@ 5- PetscValidScalarPointer(b, 7); 6- PetscValidScalarPointer(b, 3); 7+ PetscValidScalarPointer(b, 2); 8+ PetscValidScalarPointer(b, 2); 9@@ -8 +7,0 @@ 10- PetscValidIntPointer(a, 1); 11@@ -23,2 +22,0 @@ 12- PetscValidIntPointer(a, 1); 13- PetscValidScalarPointer(b, 2); 14@@ -27,2 +26,0 @@ 15- PetscValidIntPointer(a, 1); 16- PetscValidScalarPointer(b, 2); 17@@ -39,2 +38,0 @@ 18- PetscValidIntPointer(a, 1); 19- PetscValidScalarPointer(b, 2); 20@@ -43,2 +42,0 @@ 21- PetscValidIntPointer(a, 1); 22- PetscValidScalarPointer(b, 2); 23@@ -48,2 +47,0 @@ 24- PetscValidIntPointer(a, 1); 25- PetscValidScalarPointer(b, 2); 26@@ -79,2 +78,0 @@ 27- PetscValidIntPointer(a, 1); 28- PetscValidScalarPointer(b, 2); 29@@ -84,2 +83,0 @@ 30- PetscValidIntPointer(a, 1); 31- PetscValidScalarPointer(b, 2); 32@@ -112,2 +111,0 @@ 33- PetscValidIntPointer(a, 1); 34- PetscValidScalarPointer(b, 2); 35@@ -116,2 +115,0 @@ 36- PetscValidIntPointer(a, 1); 37- PetscValidScalarPointer(b, 2); 38