Configurable minimum tree sizeHEADmain

For cool optimizer in blocade, hint hint :)

1 files changed, 6 insertions, 0 deletions

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;