diff options
| author | Marvin Borner | 2024-01-21 12:32:30 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-01-21 12:32:30 +0100 |
| commit | 95e390fa271a0b911a5e0475f24f2fee55f3edec (patch) | |
| tree | c7e35d975f0a7f3a0fe24110a3fa9ec7e3cfd8cd /options.ggo | |
| parent | 076d528bfaa55b71f9653c0579723ff565db5e7f (diff) | |
For cool optimizer in blocade, hint hint :)
Diffstat (limited to 'options.ggo')
| -rw-r--r-- | options.ggo | 1 |
1 files changed, 1 insertions, 0 deletions
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 |