From 40c65ed83cc3ab82c87e65e3291b95fcd214fd02 Mon Sep 17 00:00:00 2001 From: Maximilian Szengel Date: Wed, 6 Jun 2012 10:54:07 +0000 Subject: Better proofs --- src/regex/test_regex_iterate_api.c | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'src/regex/test_regex_iterate_api.c') diff --git a/src/regex/test_regex_iterate_api.c b/src/regex/test_regex_iterate_api.c index 51ebbcd886..6c5b0e55b2 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[]) error = 0; /*regex = "ab(c|d)+c*(a(b|c)+d)+(bla)+"; */ + /*regex = "ab(c|d)+c*(a(b|c)+d)+(bla)(bla)*"; */ /*regex = "z(abc|def)?xyz"; */ - regex = "1*0(0|1)*"; + /*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*"; */ - + /*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)"; */ + /*regex = "abc(1|0)*def"; */ + /*regex = "ab|ac"; */ + regex = "(ab)(ab)*"; dfa = GNUNET_REGEX_construct_dfa (regex, strlen (regex)); GNUNET_REGEX_automaton_save_graph (dfa, "dfa.dot"); GNUNET_REGEX_iterate_all_edges (dfa, key_iterator, NULL); -- cgit v1.2.3-70-g09d2