aboutsummaryrefslogtreecommitdiff
path: root/src/regex/test_regex_proofs.c
diff options
context:
space:
mode:
authorMaximilian Szengel <gnunet@maxsz.de>2012-06-26 13:52:08 +0000
committerMaximilian Szengel <gnunet@maxsz.de>2012-06-26 13:52:08 +0000
commitd6871d5ea20b9cd746431f4cefcc78740e246a99 (patch)
treeda33ba19c9b8b8cdd46556ccddd2b168305437d4 /src/regex/test_regex_proofs.c
parent3a3e4c0f1b588f687ff98fcee4952fa02e97dfb2 (diff)
doxygen fixes
Diffstat (limited to 'src/regex/test_regex_proofs.c')
-rw-r--r--src/regex/test_regex_proofs.c17
1 files changed, 11 insertions, 6 deletions
diff --git a/src/regex/test_regex_proofs.c b/src/regex/test_regex_proofs.c
index 47cc4ee5b2..5d0aabd00d 100644
--- a/src/regex/test_regex_proofs.c
+++ b/src/regex/test_regex_proofs.c
@@ -40,6 +40,7 @@ main (int argc, char *argv[])
int error;
int i;
+
const char *regex[21] = {
"ab(c|d)+c*(a(b|c)+d)+(bla)+",
"(bla)*",
@@ -63,7 +64,7 @@ main (int argc, char *argv[])
"(ab|cs|df|sdf)*",
"a|aa*a"
};
- char *computed_regex;
+ char *canonical_regex;
struct GNUNET_REGEX_Automaton *dfa;
error = 0;
@@ -71,14 +72,18 @@ main (int argc, char *argv[])
for (i = 0; i < 21; i++)
{
dfa = GNUNET_REGEX_construct_dfa (regex[i], strlen (regex[i]));
- computed_regex = GNUNET_strdup (GNUNET_REGEX_get_computed_regex (dfa));
+ canonical_regex = GNUNET_strdup (GNUNET_REGEX_get_canonical_regex (dfa));
GNUNET_REGEX_automaton_destroy (dfa);
- dfa = GNUNET_REGEX_construct_dfa (computed_regex, strlen (computed_regex));
- error += (0 == strcmp (computed_regex, GNUNET_REGEX_get_computed_regex (dfa))) ? 0 : 1;
- GNUNET_free (computed_regex);
+ dfa =
+ GNUNET_REGEX_construct_dfa (canonical_regex, strlen (canonical_regex));
+ error +=
+ (0 ==
+ strcmp (canonical_regex,
+ GNUNET_REGEX_get_canonical_regex (dfa))) ? 0 : 1;
+ GNUNET_free (canonical_regex);
GNUNET_REGEX_automaton_destroy (dfa);
}
-
+
return error;
}