diff options
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 11626b3..7cf6b77 100644 --- a/options.ggo +++ b/options.ggo @@ -8,3 +8,4 @@ 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 "test" t "compare BLC with generated BLoC" dependon="from-blc" flag off |