Use &= instead of |= (duh)

srg-imperial · Feb 28, 2011 · f60297c · f60297c
1 parent 2f34a83
commit f60297c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/benchmarks/mri-q/src/klee/main.c b/benchmarks/mri-q/src/klee/main.c
@@ -55,8 +55,8 @@ int main(int argc, char **argv) {
 
   int same = 1;
   for (int x = 0; x < numX; ++x) {
-    same |= float_bitwise_eq(cpuQr[x], gpuQr[x]);
-    same |= float_bitwise_eq(cpuQi[x], gpuQi[x]);
+    same &= float_bitwise_eq(cpuQr[x], gpuQr[x]);
+    same &= float_bitwise_eq(cpuQi[x], gpuQi[x]);
   }
   klee_print_expr("same", same);