array2 44 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c unsigned int array2[ELEMS];
array2 112 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c if (array2[i] != 0) {
array2 113 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c printf("FAILED in file %s at line %d: array2[%d] = %u != %d\n", __FILE__, __LINE__, i, array2[i], 0);
array2 133 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c if (array2[i] != 0) {
array2 134 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c printf("FAILED in file %s at line %d: array2[%d] = %u != %d\n", __FILE__, __LINE__, i, array2[i], 0);
array2 158 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c write_data(array2, array2_start);
array2 161 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c read_data(array2, array2_start, "array2");
array2 185 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c read_data(array2, array2_start, "array2");
array2 221 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c print_data(array2);
array2 232 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c print_data(array2);
array2 42 user/uw-testbin/vm-mix1/vm-mix1.c unsigned int array2[ELEMS];
array2 110 user/uw-testbin/vm-mix1/vm-mix1.c if (array2[i] != 0) {
array2 111 user/uw-testbin/vm-mix1/vm-mix1.c printf("FAILED in file %s at line %d: array2[%d] = %u != %d\n", __FILE__, __LINE__, i, array2[i], 0);
array2 131 user/uw-testbin/vm-mix1/vm-mix1.c if (array2[i] != 0) {
array2 132 user/uw-testbin/vm-mix1/vm-mix1.c printf("FAILED in file %s at line %d: array2[%d] = %u != %d\n", __FILE__, __LINE__, i, array2[i], 0);
array2 156 user/uw-testbin/vm-mix1/vm-mix1.c write_data(array2, array2_start);
array2 159 user/uw-testbin/vm-mix1/vm-mix1.c read_data(array2, array2_start, "array2");
array2 183 user/uw-testbin/vm-mix1/vm-mix1.c read_data(array2, array2_start, "array2");
array2 208 user/uw-testbin/vm-mix1/vm-mix1.c print_data(array2);
array2 46 user/uw-testbin/vm-mix2/vm-mix2.c unsigned int array2[ELEMS];
array2 118 user/uw-testbin/vm-mix2/vm-mix2.c if (array2[i] != 0) {
array2 119 user/uw-testbin/vm-mix2/vm-mix2.c printf("FAILED in file %s at line %d: array2[%d] = %u != %d\n", __FILE__, __LINE__, i, array2[i], 0);
array2 139 user/uw-testbin/vm-mix2/vm-mix2.c if (array2[i] != 0) {
array2 140 user/uw-testbin/vm-mix2/vm-mix2.c printf("FAILED in file %s at line %d: array2[%d] = %u != %d\n", __FILE__, __LINE__, i, array2[i], 0);
array2 164 user/uw-testbin/vm-mix2/vm-mix2.c write_data(array2, array2_start);
array2 167 user/uw-testbin/vm-mix2/vm-mix2.c read_data(array2, array2_start, "array2");
array2 191 user/uw-testbin/vm-mix2/vm-mix2.c read_data(array2, array2_start, "array2");
array2 216 user/uw-testbin/vm-mix2/vm-mix2.c print_data(array2);