From 95e390fa271a0b911a5e0475f24f2fee55f3edec Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sun, 21 Jan 2024 12:32:30 +0100
Subject: Configurable minimum tree size

For cool optimizer in blocade, hint hint :)
---
 src/main.c | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/main.c')

diff --git a/src/main.c b/src/main.c
index 8a47a44..f217cf7 100644
--- a/src/main.c
+++ b/src/main.c
@@ -17,6 +17,9 @@
 // automatically generated using gengetopt
 #include "cmdline.h"
 
+// min size for a term to be considered for deduplication
+size_t min_size = 0;
+
 #define BUF_SIZE 1024
 static char *read_stdin(void)
 {
@@ -179,6 +182,9 @@ int main(int argc, char **argv)
 	if (!input)
 		return 1;
 
+	min_size = args.min_size_arg;
+	debug("min tree size: %lu\n", min_size);
+
 	if (args.test_flag && args.from_blc_flag && !args.from_bloc_flag) {
 		test(input);
 		return 0;
-- 
cgit v1.2.3