File tree Expand file tree Collapse file tree 1 file changed +2
-0
lines changed
Expand file tree Collapse file tree 1 file changed +2
-0
lines changed Original file line number Diff line number Diff line change @@ -63,6 +63,7 @@ def __init__(
6363 self .clause_output_patchwise = np .empty (self .number_of_clauses * self .number_of_patches , dtype = np .uint32 , order = "c" )
6464 self .feedback_to_ta = np .empty (self .number_of_ta_chunks , dtype = np .uint32 , order = "c" )
6565 self .output_one_patches = np .empty (self .number_of_patches , dtype = np .uint32 , order = "c" )
66+ self .patch_match_count = np .empty (self .number_of_patches , dtype = np .uint32 , order = "c" )
6667 self .literal_clause_count = np .empty (self .number_of_literals , dtype = np .uint32 , order = "c" )
6768
6869
@@ -109,6 +110,7 @@ def _cffi_init(self):
109110 self .cop_p = ffi .cast ("unsigned int *" , self .clause_output_patchwise .ctypes .data ) # clause_output_patchwise
110111 self .ptr_feedback_to_ta = ffi .cast ("unsigned int *" , self .feedback_to_ta .ctypes .data ) # feedback_to_ta
111112 self .ptr_output_one_patches = ffi .cast ("unsigned int *" , self .output_one_patches .ctypes .data ) # output_one_patches
113+ self .ptr_patch_match_count = ffi .cast ("unsigned int *" , self .patch_match_count .ctypes .data ) # output_one_patches
112114 self .ptr_literal_clause_count = ffi .cast ("unsigned int *" , self .literal_clause_count .ctypes .data ) # literal_clause_count
113115 self .tiafc_p = ffi .cast ("unsigned int *" , self .type_ia_feedback_counter .ctypes .data ) # literal_clause_count
114116
You can’t perform that action at this time.
0 commit comments