diff options
| author | Maximilian Szengel <gnunet@maxsz.de> | 2012-06-04 13:30:54 +0000 |
|---|---|---|
| committer | Maximilian Szengel <gnunet@maxsz.de> | 2012-06-04 13:30:54 +0000 |
| commit | 64c0a28f57b9642ae2acda9d5d213201268226b7 (patch) | |
| tree | 1062294f72df4b5bc8389fc7ce9849b1ac106287 /src/regex/test_regex_iterate_api.c | |
| parent | f50643947d805e2f027c6bcd165f36d4b3d4cc3b (diff) | |
Towards new proof algorithm
Diffstat (limited to 'src/regex/test_regex_iterate_api.c')
| -rw-r--r-- | src/regex/test_regex_iterate_api.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/regex/test_regex_iterate_api.c b/src/regex/test_regex_iterate_api.c index b214d6a931..51ebbcd886 100644 --- a/src/regex/test_regex_iterate_api.c +++ b/src/regex/test_regex_iterate_api.c @@ -60,7 +60,10 @@ main (int argc, char *argv[]) struct GNUNET_REGEX_Automaton *dfa; error = 0; - regex = "ab(c|d)+c*(a(b|c)d)+"; + /*regex = "ab(c|d)+c*(a(b|c)+d)+(bla)+"; */ + /*regex = "z(abc|def)?xyz"; */ + regex = "1*0(0|1)*"; + /*regex = "a+X*y+c|p|R|Z*K*y*R+w|Y*6+n+h*k*w+V*F|W*B*e*"; */ dfa = GNUNET_REGEX_construct_dfa (regex, strlen (regex)); GNUNET_REGEX_automaton_save_graph (dfa, "dfa.dot"); |