1@@ -9 +9 @@ 2- PetscValidIntPointer(b, 5); 3+ PetscValidScalarPointer(b, 2); 4@@ -11,2 +11,2 @@ 5- PetscValidScalarPointer(b, 7); 6- PetscValidScalarPointer(b, 3); 7+ PetscValidScalarPointer(b, 2); 8+ PetscValidScalarPointer(b, 2); 9@@ -7 +6,0 @@ 10- PetscValidIntPointer(a, 1); 11@@ -21,2 +20,0 @@ 12- PetscValidIntPointer(a, 1); 13- PetscValidScalarPointer(b, 2); 14@@ -25,2 +24,0 @@ 15- PetscValidIntPointer(a, 1); 16- PetscValidScalarPointer(b, 2); 17@@ -36,2 +35,0 @@ 18- PetscValidIntPointer(a, 1); 19- PetscValidScalarPointer(b, 2); 20@@ -40,2 +39,0 @@ 21- PetscValidIntPointer(a, 1); 22- PetscValidScalarPointer(b, 2); 23@@ -45,2 +44,0 @@ 24- PetscValidIntPointer(a, 1); 25- PetscValidScalarPointer(b, 2); 26@@ -74,2 +73,0 @@ 27- PetscValidIntPointer(a, 1); 28- PetscValidScalarPointer(b, 2); 29@@ -79,2 +78,0 @@ 30- PetscValidIntPointer(a, 1); 31- PetscValidScalarPointer(b, 2); 32@@ -105,2 +104,0 @@ 33- PetscValidIntPointer(a, 1); 34- PetscValidScalarPointer(b, 2); 35@@ -109,2 +108,0 @@ 36- PetscValidIntPointer(a, 1); 37- PetscValidScalarPointer(b, 2); 38