Update

cair · Oct 11, 2024 · 47bf55b · 47bf55b
1 parent 6dc4072
commit 47bf55b
Showing 1 changed file with 12 additions and 1 deletion.
diff --git a/tmu/clause_bank/cuda/calculate_clause_value_in_patch.cu b/tmu/clause_bank/cuda/calculate_clause_value_in_patch.cu
@@ -81,6 +81,17 @@ extern "C"
                     }
                 }
                 printf("\n");
+
+                printf("?");
+                for (int k = 0; k < number_of_literals; ++k) {
+                    int literal_chunk = k / 32;
+                    int literal_pos = k % 32;
+
+                    if (X[0*number_of_ta_chunks + literal_chunk*number_of_state_bits + number_of_state_bits - 1] & (1 << literal_pos)) {
+                        printf(" %d", k);
+                    }
+                }
+                printf("\n");
             }
 
             clause_node_output = ~0;
@@ -97,7 +108,7 @@ extern "C"
                     clause_node_output &= ~(1 << node_pos);
                 }
 
-                if (node == 0) {
+                if (clause == 0 && node == 0) {
                     printf("V: %d\n", clause_node_output & (1 << node_pos));
                 }
             }