Document previously undocumented command line options.

* txr.1: Documented --gc-debug, --vg-debug and --dv-regex.

* txr.c (help): Cover above options.

2 files changed, 24 insertions, 0 deletions

diff --git a/txr.1 b/txr.1
index 6cb58443..31925502 100644
--- a/txr.1
+++ b/txr.1
@@ -729,6 +729,27 @@ or
 .code -P
 options.
 
+.coIP --gc-debug
+This option enables a behavior which stresses the garbage collector with
+frequent garbage collection requests. The purpose is to make it more likely
+to reproduce certain kinds of bugs. It makes \*(TX run very slowly.
+
+.coIP --vg-debug
+If \*(TX is enabled with Valgrind support, then this option is available.
+It enables code which uses the Valgrind API to integrate with the Valgrind
+debugger, for more accurate tracking of garbage collected objects. For
+example, objects which have been reclaimed by the garbage collector
+are marked as inaccessible, and marked as uninitialized when they are
+allocated again.
+
+.coIP --dv-regex
+If this option is used, then regular expressions are all treated using the
+derivative-based back-end.  The NFA-based regex implementation is disabled.
+Normally, only regular expressions which require the intersection and
+complement operators are handled using the derivative back-end.
+This option makes it possible to test that back-end on test cases that it
+wouldn't normally receive.
+
 .coIP --
 Signifies the end of the option list.
 
diff --git a/txr.c b/txr.c
index 559e8ec1..c3cb4dd2 100644
--- a/txr.c
+++ b/txr.c
@@ -149,6 +149,9 @@ static void help(void)
 "                       increments by N megabytes since last collection.\n"
 "--debug-autoload       Allow debugger to step through library auto-loading.\n"
 "--yydebug              Debug Yacc parser, if compiled with YYDEBUG support.\n"
+"--gc-debug             Enable a garbage collector stress test (slow).\n"
+"--vg-debug             Enable Valgrind integration, if compiled in.\n"
+"--dv-regex             Handle all regexes using derivative-based back-end.\n"
 "\n"
 "Options that take no argument can be combined. The -q and -v options\n"
 "are mutually exclusive; the right-most one dominates.\n"