honeycomb_rule_generator:: extra options

2020-07-07 22:18:59 +02:00 · 2020-07-07 22:18:59 +02:00 · 8538ec695a
parent 17e056cdb4
commit 8538ec695a
1 changed files with 6 additions and 0 deletions
--- a/devmods/honeycomb-rule-generator.cpp
+++ b/devmods/honeycomb-rule-generator.cpp
@ -477,6 +477,12 @@ auto fqhook =
  using namespace arg;
           
  if(0) ;
+  else if(argis("-extra-verification")) {
+    reg3::extra_verification++;
+    }
+  else if(argis("-no-rule")) {
+    reg3::reg3_rule_available = false;
+    }
  else if(argis("-gen-rule")) {
    shift(); test_canonical(args());
    }