Package Fuzzy SAT HEAD main

1 files changed, 83 insertions, 0 deletions

diff --git a/patches/fuzzy-sat-include.patch b/patches/fuzzy-sat-include.patch
new file mode 100644
index 0000000..6798bbd
--- /dev/null
+++ b/patches/fuzzy-sat-include.patch
@@ -0,0 +1,83 @@
+commit bfd24f9cb93fab5317d16c879857221cc70e54c8
+Author: Nguyễn Gia Phong <cnx@loang.net>
+Date:   2025-04-24 11:25:20 +0900
+
+    Include stdio.h
+
+diff --git a/lib/testcase-list.c b/lib/testcase-list.c
+index 0aa223b7a7e4..6457fd5cab87 100644
+--- a/lib/testcase-list.c
++++ b/lib/testcase-list.c
+@@ -1,4 +1,5 @@
+ #include <fts.h>
++#include <stdio.h>
+ #include <stdlib.h>
+ #include "testcase-list.h"
+ 
+diff --git a/lib/z3-fuzzy-debug-utils.h b/lib/z3-fuzzy-debug-utils.h
+index 0f6f3b891a52..7b88add6c294 100644
+--- a/lib/z3-fuzzy-debug-utils.h
++++ b/lib/z3-fuzzy-debug-utils.h
+@@ -1,3 +1,5 @@
++#include <stdio.h>
++
+ static inline void print_index_queue(ast_info_ptr data)
+ {
+     index_group_t* group;
+diff --git a/lib/z3-fuzzy.c b/lib/z3-fuzzy.c
+index cac1c329088d..69ecb006fd1f 100644
+--- a/lib/z3-fuzzy.c
++++ b/lib/z3-fuzzy.c
+@@ -1,6 +1,7 @@
+ #define FUZZY_SOURCE
+ 
+ #include <fcntl.h>
++#include <stdio.h>
+ #include <stdlib.h>
+ #include <unistd.h>
+ #include "gradient_descend.h"
+diff --git a/tools/fuzzy-solver-notify.c b/tools/fuzzy-solver-notify.c
+index 821d3aaff15f..97abd8f71488 100644
+--- a/tools/fuzzy-solver-notify.c
++++ b/tools/fuzzy-solver-notify.c
+@@ -1,5 +1,6 @@
+ #define FUZZY_SOURCE
+ 
++#include <stdio.h>
+ #include <stdlib.h>
+ #include <assert.h>
+ #include <sys/time.h>
+diff --git a/tools/fuzzy-solver-vs-z3.c b/tools/fuzzy-solver-vs-z3.c
+index 8803ff390fa2..ba4e8f5b979a 100644
+--- a/tools/fuzzy-solver-vs-z3.c
++++ b/tools/fuzzy-solver-vs-z3.c
+@@ -1,3 +1,4 @@
++#include <stdio.h>
+ #include <stdlib.h>
+ #include <assert.h>
+ #include <sys/time.h>
+diff --git a/tools/stats-collection-fuzzy.c b/tools/stats-collection-fuzzy.c
+index fdef41761726..c793b1df717d 100644
+--- a/tools/stats-collection-fuzzy.c
++++ b/tools/stats-collection-fuzzy.c
+@@ -1,3 +1,4 @@
++#include <stdio.h>
+ #include <stdlib.h>
+ #include <assert.h>
+ #include <sys/time.h>
+diff --git a/tools/stats-collection-z3.c b/tools/stats-collection-z3.c
+index 504648a1a6c3..f101eeedb32f 100644
+--- a/tools/stats-collection-z3.c
++++ b/tools/stats-collection-z3.c
+@@ -1,3 +1,4 @@
++#include <stdio.h>
+ #include <stdlib.h>
+ #include <assert.h>
+ #include <sys/time.h>
+@@ -105,4 +106,4 @@ int main(int argc, char* argv[])
+     Z3_del_context(ctx);
+     fclose(log_file);
+     return 0;
+-}
+\ No newline at end of file
++}