diff options
| author | Bart Polot <bart@net.in.tum.de> | 2013-09-26 12:45:31 +0000 |
|---|---|---|
| committer | Bart Polot <bart@net.in.tum.de> | 2013-09-26 12:45:31 +0000 |
| commit | 6612e2a579c9e42bc679df285edb193ed6d974dd (patch) | |
| tree | 03dd758210c39a5e72e40041411ec266d46747d5 /src/regex/perf-regex.c | |
| parent | 19d15fe2f575f4f6db2410d9de3ffa4de93a837b (diff) | |
Add REGEX_INTERNAL_iterate_reachable_edges which only reveals edges reachable from
states with proof longer or equal to REGEX_INITIAL_BYTES
Diffstat (limited to 'src/regex/perf-regex.c')
| -rw-r--r-- | src/regex/perf-regex.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/regex/perf-regex.c b/src/regex/perf-regex.c index c2ec7441ee..163cacd1e5 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); |