Add REGEX_INTERNAL_iterate_reachable_edges which only reveals edges reachable from

states with proof longer or equal to REGEX_INITIAL_BYTES

1 files changed, 3 insertions, 0 deletions

diff --git a/src/regex/perf-regex.c b/src/regex/perf-regex.c
index c2ec7441e..163cacd1e 100644
--- a/src/regex/perf-regex.c
+++ b/src/regex/perf-regex.c
@@ -109,7 +109,10 @@ main (int argc, char *const *argv)
            size, 
            regex);
   dfa = REGEX_INTERNAL_construct_dfa (regex, size, compression);
+  printf ("********* ALL EDGES *********'\n");
   REGEX_INTERNAL_iterate_all_edges (dfa, &print_edge, NULL);
+  printf ("\n\n********* REACHABLE EDGES *********'\n");
+  REGEX_INTERNAL_iterate_reachable_edges (dfa, &print_edge, NULL);
   REGEX_INTERNAL_automaton_destroy (dfa);
   GNUNET_free (buffer);
   REGEX_TEST_free_from_file (regexes);