diff options
| author | Maximilian Szengel <gnunet@maxsz.de> | 2012-06-06 10:54:07 +0000 |
|---|---|---|
| committer | Maximilian Szengel <gnunet@maxsz.de> | 2012-06-06 10:54:07 +0000 |
| commit | 40c65ed83cc3ab82c87e65e3291b95fcd214fd02 (patch) | |
| tree | 906fe8ce2862689d7a55740251e719e39213d539 /src/regex/test_regex_iterate_api.c | |
| parent | 1cb9d12b2d5e27fd4d7401eb7087ffb65fd45dc2 (diff) | |
| download | gnunet-40c65ed83cc3ab82c87e65e3291b95fcd214fd02.tar.gz gnunet-40c65ed83cc3ab82c87e65e3291b95fcd214fd02.zip | |
Better proofs
Diffstat (limited to 'src/regex/test_regex_iterate_api.c')
| -rw-r--r-- | src/regex/test_regex_iterate_api.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/regex/test_regex_iterate_api.c b/src/regex/test_regex_iterate_api.c index 51ebbcd88..6c5b0e55b 100644 --- a/src/regex/test_regex_iterate_api.c +++ b/src/regex/test_regex_iterate_api.c | |||
| @@ -61,10 +61,14 @@ main (int argc, char *argv[]) | |||
| 61 | 61 | ||
| 62 | error = 0; | 62 | error = 0; |
| 63 | /*regex = "ab(c|d)+c*(a(b|c)+d)+(bla)+"; */ | 63 | /*regex = "ab(c|d)+c*(a(b|c)+d)+(bla)+"; */ |
| 64 | /*regex = "ab(c|d)+c*(a(b|c)+d)+(bla)(bla)*"; */ | ||
| 64 | /*regex = "z(abc|def)?xyz"; */ | 65 | /*regex = "z(abc|def)?xyz"; */ |
| 65 | regex = "1*0(0|1)*"; | 66 | /*regex = "1*0(0|1)*"; */ |
| 66 | /*regex = "a+X*y+c|p|R|Z*K*y*R+w|Y*6+n+h*k*w+V*F|W*B*e*"; */ | 67 | /*regex = "a+X*y+c|p|R|Z*K*y*R+w|Y*6+n+h*k*w+V*F|W*B*e*"; */ |
| 67 | 68 | /*regex = "abcd:(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)(0|1)"; */ | |
| 69 | /*regex = "abc(1|0)*def"; */ | ||
| 70 | /*regex = "ab|ac"; */ | ||
| 71 | regex = "(ab)(ab)*"; | ||
| 68 | dfa = GNUNET_REGEX_construct_dfa (regex, strlen (regex)); | 72 | dfa = GNUNET_REGEX_construct_dfa (regex, strlen (regex)); |
| 69 | GNUNET_REGEX_automaton_save_graph (dfa, "dfa.dot"); | 73 | GNUNET_REGEX_automaton_save_graph (dfa, "dfa.dot"); |
| 70 | GNUNET_REGEX_iterate_all_edges (dfa, key_iterator, NULL); | 74 | GNUNET_REGEX_iterate_all_edges (dfa, key_iterator, NULL); |