From 64c0a28f57b9642ae2acda9d5d213201268226b7 Mon Sep 17 00:00:00 2001 From: Maximilian Szengel Date: Mon, 4 Jun 2012 13:30:54 +0000 Subject: Towards new proof algorithm --- src/regex/test_regex_iterate_api.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (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 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"); -- cgit v1.2.3-70-g09d2