1 static char help[] = "Test PETSc integer hash set.\n\n";
11   PetscInt   n, off, array[4], na, nb, i, *marray, size;  in main()  local
19   PetscCall(PetscHSetIGetSize(ht, &n));  in main()
20   PetscTestCheck(n == 0);  in main()
23   PetscCall(PetscHSetIGetSize(ht, &n));  in main()
24   PetscTestCheck(n == 0);  in main()
30   PetscCall(PetscHSetIGetSize(ht, &n));  in main()
31   PetscTestCheck(n == 1);  in main()
36   PetscCall(PetscHSetIGetSize(ht, &n));  in main()
37   PetscTestCheck(n == 0);  in main()
53   PetscCall(PetscHSetIGetSize(ht, &n));  in main()
54   PetscTestCheck(n == 0);  in main()
57   PetscCall(PetscHSetIGetSize(ht, &n));  in main()
58   PetscTestCheck(n == 0);  in main()
62   PetscCall(PetscHSetIGetSize(ht, &n));  in main()
63   PetscTestCheck(n == 2);  in main()
89   PetscCall(PetscHSetIGetSize(ht, &n));  in main()
90   PetscTestCheck(n != 0);  in main()
92   PetscCall(PetscHSetIGetSize(ht, &n));  in main()
93   PetscTestCheck(n == 0);  in main()
95   PetscCall(PetscHSetIGetSize(ht, &n));  in main()
96   PetscTestCheck(n == 0);  in main()
98   PetscCall(PetscHSetIGetSize(ht, &n));  in main()
99   PetscTestCheck(n != 0);  in main()
106   PetscCall(PetscHSetIGetSize(ht, &n));  in main()
107   PetscTestCheck(n == 0);  in main()
112   n = 10;  in main()
113   PetscCall(PetscHSetIResize(ht, n));  in main()
114   PetscCall(PetscHSetIResize(hd, n));  in main()
117   PetscTestCheck(na >= n);  in main()
118   PetscTestCheck(nb >= n);  in main()
119   for (i = 0; i < n; i++) {  in main()
121     PetscCall(PetscHSetIAdd(hd, i + 1 + n));  in main()
129   PetscTestCheck(size == (2 * n));  in main()
130   PetscCall(PetscMalloc1(n * 2, &marray));  in main()
134   PetscTestCheck(off == (2 * n));  in main()
136   for (i = 0; i < n; i++) {  in main()
138     PetscTestCheck(marray[n + i] == (i + 1 + n));  in main()