Update

cair · Oct 11, 2024 · 2a1a652 · 2a1a652
1 parent 9fce581
commit 2a1a652
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/tmu/clause_bank/cuda/calculate_clause_value_in_patch.cu b/tmu/clause_bank/cuda/calculate_clause_value_in_patch.cu
@@ -70,6 +70,19 @@ extern "C"
 
             unsigned int *ta_state = &global_ta_state[clause*number_of_ta_chunks*number_of_state_bits];
 
+            if (clause == 0) {
+                prinf("* ");
+                for (int k = 0; k < number_of_literals; ++k) {
+                    int literal_chunk = k / 32;
+                    int literal_pos = k % 32;
+
+                    if (ta_state[literal_chunk*number_of_state_bits + number_of_state_bits - 1] & (1 << literal_pos)) {
+                        printf("%d", k);
+                    }
+                }
+                printf("\n");
+            }
+
             clause_node_output = ~0;
             for (int node_pos = 0; (node_pos < 32) && ((node_chunk * 32 + node_pos) < NUMBER_OF_PATCHES); ++node_pos) {
                 int node = node_chunk * 32 + node_pos;