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 :)
---
 options.ggo | 1 +
 1 file changed, 1 insertion(+)

(limited to 'options.ggo')

diff --git a/options.ggo b/options.ggo
index 4e275c7..7c11c19 100644
--- a/options.ggo
+++ b/options.ggo
@@ -8,4 +8,5 @@ option "verbose" v "enable debug logging output" flag off
 option "from-blc" b "convert from BLC to BLoC" flag off
 option "from-bloc" B "convert from BLoC to BLC" flag off
 option "dump" d "dump bloc file" dependon="from-bloc" flag off
+option "min-size" m "minimum term size for deduplication" default="10" long optional
 option "test" t "compare BLC with generated BLoC" dependon="from-blc" flag off
-- 
cgit v1.2.3