Towards new proof algorithm

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 b214d6a93..51ebbcd88 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");