projects
/
oweals
/
gnunet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
added helper for handling the "view" in rps
[oweals/gnunet.git]
/
src
/
regex
/
test_regex_eval_api.c
diff --git
a/src/regex/test_regex_eval_api.c
b/src/regex/test_regex_eval_api.c
index 98d354bdb897deafe49a22edf70b39ada9056cbe..3540b5bfaa02b05092cb9a5e1f720957f41d2789 100644
(file)
--- a/
src/regex/test_regex_eval_api.c
+++ b/
src/regex/test_regex_eval_api.c
@@
-1,6
+1,6
@@
/*
This file is part of GNUnet
/*
This file is part of GNUnet
- (C) 2012 Christian Grothoff (and other contributing authors)
+
Copyright
(C) 2012 Christian Grothoff (and other contributing authors)
GNUnet is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published
GNUnet is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published
@@
-14,8
+14,8
@@
You should have received a copy of the GNU General Public License
along with GNUnet; see the file COPYING. If not, write to the
You should have received a copy of the GNU General Public License
along with GNUnet; see the file COPYING. If not, write to the
- Free Software Foundation, Inc., 5
9 Temple Place - Suite 330
,
- Boston, MA 0211
1-1307
, USA.
+ Free Software Foundation, Inc., 5
1 Franklin Street, Fifth Floor
,
+ Boston, MA 0211
0-1301
, USA.
*/
/**
* @file regex/test_regex_eval_api.c
*/
/**
* @file regex/test_regex_eval_api.c
@@
-25,7
+25,8
@@
#include <regex.h>
#include <time.h>
#include "platform.h"
#include <regex.h>
#include <time.h>
#include "platform.h"
-#include "gnunet_regex_lib.h"
+#include "regex_internal_lib.h"
+#include "regex_test_lib.h"
#include "regex_internal.h"
enum Match_Result
#include "regex_internal.h"
enum Match_Result
@@
-66,7
+67,7
@@
test_random (unsigned int rx_length, unsigned int max_str_len,
int eval_check;
int eval_canonical;
int eval_canonical_check;
int eval_check;
int eval_canonical;
int eval_canonical_check;
- struct
GNUNET_REGEX
_Automaton *dfa;
+ struct
REGEX_INTERNAL
_Automaton *dfa;
regex_t rx;
regmatch_t matchptr[1];
char error[200];
regex_t rx;
regmatch_t matchptr[1];
char error[200];
@@
-80,7
+81,7
@@
test_random (unsigned int rx_length, unsigned int max_str_len,
/* Generate random regex and a string that matches the regex */
matching_str = GNUNET_malloc (rx_length + 1);
/* Generate random regex and a string that matches the regex */
matching_str = GNUNET_malloc (rx_length + 1);
- rand_rx =
GNUNET_REGEX
_generate_random_regex (rx_length, matching_str);
+ rand_rx =
REGEX_TEST
_generate_random_regex (rx_length, matching_str);
/* Now match */
result = 0;
/* Now match */
result = 0;
@@
-88,22
+89,21
@@
test_random (unsigned int rx_length, unsigned int max_str_len,
{
if (0 < i)
{
{
if (0 < i)
{
- matching_str =
GNUNET_REGEX
_generate_random_string (max_str_len);
+ matching_str =
REGEX_TEST
_generate_random_string (max_str_len);
}
/* Match string using DFA */
}
/* Match string using DFA */
- dfa =
GNUNET_REGEX_construct_dfa (rand_rx, strlen (rand_rx)
);
+ dfa =
REGEX_INTERNAL_construct_dfa (rand_rx, strlen (rand_rx), 0
);
if (NULL == dfa)
{
GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Constructing DFA failed\n");
if (NULL == dfa)
{
GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Constructing DFA failed\n");
- GNUNET_free (matching_str);
goto error;
}
goto error;
}
- eval =
GNUNET_REGEX
_eval (dfa, matching_str);
+ eval =
REGEX_INTERNAL
_eval (dfa, matching_str);
/* save the canonical regex for later comparison */
/* save the canonical regex for later comparison */
- canonical_regex = GNUNET_strdup (
GNUNET_REGEX
_get_canonical_regex (dfa));
-
GNUNET_REGEX
_automaton_destroy (dfa);
+ canonical_regex = GNUNET_strdup (
REGEX_INTERNAL
_get_canonical_regex (dfa));
+
REGEX_INTERNAL
_automaton_destroy (dfa);
/* Match string using glibc regex */
if (0 != regcomp (&rx, rand_rx, REG_EXTENDED))
/* Match string using glibc regex */
if (0 != regcomp (&rx, rand_rx, REG_EXTENDED))
@@
-124,15
+124,16
@@
test_random (unsigned int rx_length, unsigned int max_str_len,
/* Match canonical regex */
dfa =
/* Match canonical regex */
dfa =
- GNUNET_REGEX_construct_dfa (canonical_regex, strlen (canonical_regex));
+ REGEX_INTERNAL_construct_dfa (canonical_regex, strlen (canonical_regex),
+ 0);
if (NULL == dfa)
{
GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Constructing DFA failed\n");
goto error;
}
if (NULL == dfa)
{
GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Constructing DFA failed\n");
goto error;
}
- eval_canonical =
GNUNET_REGEX
_eval (dfa, matching_str);
-
GNUNET_REGEX
_automaton_destroy (dfa);
+ eval_canonical =
REGEX_INTERNAL
_eval (dfa, matching_str);
+
REGEX_INTERNAL
_automaton_destroy (dfa);
if (0 != regcomp (&rx, canonical_regex, REG_EXTENDED))
{
if (0 != regcomp (&rx, canonical_regex, REG_EXTENDED))
{
@@
-164,6
+165,8
@@
test_random (unsigned int rx_length, unsigned int max_str_len,
}
GNUNET_free (canonical_regex);
GNUNET_free (matching_str);
}
GNUNET_free (canonical_regex);
GNUNET_free (matching_str);
+ canonical_regex = NULL;
+ matching_str = NULL;
}
GNUNET_free (rand_rx);
}
GNUNET_free (rand_rx);
@@
-190,7
+193,7
@@
error:
* @return 0 on successfull, non 0 otherwise
*/
int
* @return 0 on successfull, non 0 otherwise
*/
int
-test_automaton (struct
GNUNET_REGEX
_Automaton *a, regex_t * rx,
+test_automaton (struct
REGEX_INTERNAL
_Automaton *a, regex_t * rx,
struct Regex_String_Pair *rxstr)
{
int result;
struct Regex_String_Pair *rxstr)
{
int result;
@@
-210,7
+213,7
@@
test_automaton (struct GNUNET_REGEX_Automaton *a, regex_t * rx,
for (i = 0; i < rxstr->string_count; i++)
{
for (i = 0; i < rxstr->string_count; i++)
{
- eval =
GNUNET_REGEX
_eval (a, rxstr->strings[i]);
+ eval =
REGEX_INTERNAL
_eval (a, rxstr->strings[i]);
eval_check = regexec (rx, rxstr->strings[i], 1, matchptr, 0);
/* We only want to match the whole string, because that's what our DFA does,
eval_check = regexec (rx, rxstr->strings[i], 1, matchptr, 0);
/* We only want to match the whole string, because that's what our DFA does,
@@
-231,7
+234,7
@@
test_automaton (struct GNUNET_REGEX_Automaton *a, regex_t * rx,
"string: %s\nexpected result: %i\n"
"gnunet regex: %i\nglibc regex: %i\nglibc error: %s\n"
"rm_so: %i\nrm_eo: %i\n\n", rxstr->regex,
"string: %s\nexpected result: %i\n"
"gnunet regex: %i\nglibc regex: %i\nglibc error: %s\n"
"rm_so: %i\nrm_eo: %i\n\n", rxstr->regex,
-
GNUNET_REGEX
_get_canonical_regex (a), rxstr->strings[i],
+
REGEX_INTERNAL
_get_canonical_regex (a), rxstr->strings[i],
rxstr->expected_results[i], eval, eval_check, error,
matchptr[0].rm_so, matchptr[0].rm_eo);
}
rxstr->expected_results[i], eval, eval_check, error,
matchptr[0].rm_so, matchptr[0].rm_eo);
}
@@
-242,15
+245,9
@@
test_automaton (struct GNUNET_REGEX_Automaton *a, regex_t * rx,
int
main (int argc, char *argv[])
{
int
main (int argc, char *argv[])
{
- GNUNET_log_setup ("test-regex",
-#if VERBOSE
- "DEBUG",
-#else
- "WARNING",
-#endif
- NULL);
-
- struct GNUNET_REGEX_Automaton *a;
+ GNUNET_log_setup ("test-regex", "WARNING", NULL);
+
+ struct REGEX_INTERNAL_Automaton *a;
regex_t rx;
int i;
int check_nfa;
regex_t rx;
int i;
int check_nfa;
@@
-258,7
+255,7
@@
main (int argc, char *argv[])
int check_rand;
char *check_proof;
int check_rand;
char *check_proof;
- struct Regex_String_Pair rxstr[1
8
] = {
+ struct Regex_String_Pair rxstr[1
9
] = {
{"ab?(abcd)?", 5,
{"ababcd", "abab", "aabcd", "a", "abb"},
{match, nomatch, match, match, nomatch}},
{"ab?(abcd)?", 5,
{"ababcd", "abab", "aabcd", "a", "abb"},
{match, nomatch, match, match, nomatch}},
@@
-318,14
+315,19
@@
main (int argc, char *argv[])
{nomatch}},
{"a()b", 1,
{"ab"},
{nomatch}},
{"a()b", 1,
{"ab"},
- {match}}
+ {match}},
+ {"GNVPN-0001-PAD(001110101001001010(0|1)*|001110101001001010000(0|1)*|001110101001001010001(0|1)*|001110101001001010010(0|1)*|001110101001001010011(0|1)*|001110101001001010100(0|1)*|001110101001001010101(0|1)*|001110101001001010110(0|1)*|001110101001001010111(0|1)*|0011101010110110(0|1)*|001110101011011000000(0|1)*|001110101011011000001(0|1)*|001110101011011000010(0|1)*|001110101011011000011(0|1)*|001110101011011000100(0|1)*|001110101011011000101(0|1)*|001110101011011000110(0|1)*|001110101011011000111(0|1)*|001110101011011001000(0|1)*|001110101011011001001(0|1)*|001110101011011001010(0|1)*|001110101011011001011(0|1)*|001110101011011001100(0|1)*|001110101011011001101(0|1)*|001110101011011001110(0|1)*|001110101011011001111(0|1)*|001110101011011010000(0|1)*|001110101011011010001(0|1)*|001110101011011010010(0|1)*|001110101011011010011(0|1)*|001110101011011010100(0|1)*|001110101011011010101(0|1)*|001110101011011010110(0|1)*|001110101011011010111(0|1)*|001110101011011011000(0|1)*|001110101011011011001(0|1)*|001110101011011011010(0|1)*|001110101011011011011(0|1)*|001110101011011011100(0|1)*|001110101011011011101(0|1)*|001110101011011011110(0|1)*|001110101011011011111(0|1)*|0011101110111101(0|1)*|001110111011110100000(0|1)*|001110111011110100001(0|1)*|001110111011110100010(0|1)*|001110111011110100011(0|1)*|001110111011110100100(0|1)*|001110111011110100101(0|1)*|001110111011110100110(0|1)*|001110111011110100111(0|1)*|001110111011110101000(0|1)*|001110111011110101001(0|1)*|001110111011110101010(0|1)*|001110111011110101011(0|1)*|001110111011110101100(0|1)*|001110111011110101101(0|1)*|001110111011110101110(0|1)*|001110111011110101111(0|1)*|001110111011110110000(0|1)*|001110111011110110001(0|1)*|001110111011110110010(0|1)*|001110111011110110011(0|1)*|001110111011110110100(0|1)*|001110111011110110101(0|1)*|001110111011110110110(0|1)*|001110111011110110111(0|1)*|001110111011110111000(0|1)*|001110111011110111001(0|1)*|001110111011110111010(0|1)*|001110111011110111011(0|1)*|001110111011110111100(0|1)*|001110111011110111101(0|1)*|001110111011110111110(0|1)*|0111010001010110(0|1)*|011101000101011000000(0|1)*|011101000101011000001(0|1)*|011101000101011000010(0|1)*|011101000101011000011(0|1)*|011101000101011000100(0|1)*|011101000101011000101(0|1)*|011101000101011000110(0|1)*|011101000101011000111(0|1)*|011101000101011001000(0|1)*|011101000101011001001(0|1)*|011101000101011001010(0|1)*|011101000101011001011(0|1)*|011101000101011001100(0|1)*|011101000101011001101(0|1)*|011101000101011001110(0|1)*|011101000101011001111(0|1)*|011101000101011010000(0|1)*|011101000101011010001(0|1)*|011101000101011010010(0|1)*|011101000101011010011(0|1)*|011101000101011010100(0|1)*|011101000101011010101(0|1)*|011101000101011010110(0|1)*|011101000101011010111(0|1)*|011101000101011011000(0|1)*|011101000101011011001(0|1)*|011101000101011011010(0|1)*|011101000101011011011(0|1)*|011101000101011011100(0|1)*|011101000101011011101(0|1)*|011101000101011011110(0|1)*|011101000101011011111(0|1)*|0111010001010111(0|1)*|011101000101011100000(0|1)*|011101000101011100001(0|1)*|011101000101011100010(0|1)*|011101000101011100011(0|1)*|011101000101011100100(0|1)*|011101000101011100101(0|1)*|011101000101011100110(0|1)*|011101000101011100111(0|1)*|011101000101011101000(0|1)*|011101000101011101001(0|1)*|011101000101011101010(0|1)*|011101000101011101011(0|1)*|011101000101011101100(0|1)*|011101000101011101101(0|1)*|011101000101011101110(0|1)*|011101000101011101111(0|1)*|011101000101011110000(0|1)*|011101000101011110001(0|1)*|011101000101011110010(0|1)*|011101000101011110011(0|1)*|011101000101011110100(0|1)*|011101000101011110101(0|1)*|011101000101011110110(0|1)*|011101000101011110111(0|1)*|011101000101011111000(0|1)*|011101000101011111001(0|1)*|011101000101011111010(0|1)*|011101000101011111011(0|1)*|011101000101011111100(0|1)*|011101000101011111101(0|1)*|011101000101011111110(0|1)*|011101000101011111111(0|1)*|0111010001011000(0|1)*|011101000101100000000(0|1)*|011101000101100000001(0|1)*|011101000101100000010(0|1)*|011101000101100000011(0|1)*|011101000101100000100(0|1)*|011101000101100000101(0|1)*|011101000101100000110(0|1)*|011101000101100000111(0|1)*|011101000101100001000(0|1)*|011101000101100001001(0|1)*|011101000101100001010(0|1)*|011101000101100001011(0|1)*|011101000101100001100(0|1)*|011101000101100001101(0|1)*|011101000101100001110(0|1)*|011101000101100001111(0|1)*|011101000101100010000(0|1)*|011101000101100010001(0|1)*|011101000101100010010(0|1)*|011101000101100010011(0|1)*|011101000101100010100(0|1)*|011101000101100010101(0|1)*|011101000101100010110(0|1)*|011101000101100010111(0|1)*|011101000101100011000(0|1)*|011101000101100011001(0|1)*|011101000101100011010(0|1)*|011101000101100011011(0|1)*|011101000101100011100(0|1)*|011101000101100011101(0|1)*|011101000101100011110(0|1)*|011101000101100011111(0|1)*|01110100010110010(0|1)*|011101000101100100000(0|1)*|011101000101100100001(0|1)*|011101000101100100010(0|1)*|011101000101100100011(0|1)*|011101000101100100100(0|1)*|011101000101100100101(0|1)*|011101000101100100110(0|1)*|011101000101100100111(0|1)*|011101000101100101000(0|1)*|011101000101100101001(0|1)*|011101000101100101010(0|1)*|011101000101100101011(0|1)*|011101000101100101100(0|1)*|011101000101100101101(0|1)*|011101000101100101110(0|1)*|011101000101100101111(0|1)*|011101000101100101111000(0|1)*|1100101010011100(0|1)*|110010101001110000000(0|1)*|110010101001110000000001(0|1)*|110010101001110000000010(0|1)*|110010101001110000000110(0|1)*|110010101001110000001(0|1)*|110010101001110000001000(0|1)*|110010101001110000001001(0|1)*|110010101001110000001010(0|1)*|110010101001110000001011(0|1)*|110010101001110000001101(0|1)*|110010101001110000001110(0|1)*|110010101001110000010(0|1)*|110010101001110000011(0|1)*|110010101001110000100(0|1)*|110010101001110000101(0|1)*|110010101001110000110(0|1)*|110010101001110000111(0|1)*|110010101001110001000(0|1)*|110010101001110001001(0|1)*|110010101001110001010(0|1)*|110010101001110001011(0|1)*|110010101001110001100(0|1)*|110010101001110001101(0|1)*|110010101001110001110(0|1)*|110010101001110001111(0|1)*|110010101001110010000(0|1)*|110010101001110010001(0|1)*|110010101001110010010(0|1)*|110010101001110010011(0|1)*|110010101001110010100(0|1)*|110010101001110010101(0|1)*|110010101001110010110(0|1)*|110010101001110010111(0|1)*|110010101001110011000(0|1)*|110010101001110011001(0|1)*|110010101001110011010(0|1)*|110010101001110011011(0|1)*|110010101001110011100(0|1)*|110010101001110011101(0|1)*|110010101001110011110(0|1)*|110010101001110011111(0|1)*|1101101010111010(0|1)*|110110101011101000000(0|1)*|110110101011101000000001(0|1)*|110110101011101000001000(0|1)*|110110101011101000001001(0|1)*|110110101011101000001010(0|1)*|110110101011101000001011(0|1)*|110110101011101000001100(0|1)*|110110101011101000001110(0|1)*|110110101011101000001111(0|1)*|110110101011101000010(0|1)*|110110101011101000010000(0|1)*|110110101011101000010001(0|1)*|110110101011101000010010(0|1)*|110110101011101000010011(0|1)*|110110101011101000011(0|1)*|110110101011101000100(0|1)*|110110101011101000101(0|1)*|110110101011101000110(0|1)*|110110101011101000111(0|1)*|110110101011101001000(0|1)*|110110101011101001001(0|1)*|110110101011101001010(0|1)*|110110101011101001011(0|1)*|110110101011101001100(0|1)*|110110101011101001101(0|1)*|110110101011101001110(0|1)*|110110101011101001111(0|1)*|110110101011101010000(0|1)*|110110101011101010001(0|1)*|110110101011101010010(0|1)*|110110101011101010011(0|1)*|110110101011101010100(0|1)*|110110101011101010101(0|1)*|110110101011101010110(0|1)*|110110101011101010111(0|1)*|110110101011101011000(0|1)*|110110101011101011001(0|1)*|110110101011101011010(0|1)*|110110101011101011011(0|1)*|110110101011101011100(0|1)*|110110101011101011101(0|1)*|110110101011101011110(0|1)*|110110101011101011111(0|1)*|1101101011010100(0|1)*|110110101101010000000(0|1)*|110110101101010000001(0|1)*|110110101101010000010(0|1)*|110110101101010000011(0|1)*|110110101101010000100(0|1)*|110110101101010000101(0|1)*|110110101101010000110(0|1)*|110110101101010000111(0|1)*|110110101101010001000(0|1)*|110110101101010001001(0|1)*|110110101101010001010(0|1)*|110110101101010001011(0|1)*|110110101101010001100(0|1)*|110110101101010001101(0|1)*|110110101101010001110(0|1)*|110110101101010001111(0|1)*|110110101101010010000(0|1)*|110110101101010010001(0|1)*|110110101101010010010(0|1)*|110110101101010010011(0|1)*|110110101101010010100(0|1)*|1101101011010100101000(0|1)*|110110101101010010101(0|1)*|110110101101010010110(0|1)*|110110101101010010111(0|1)*|110110101101010011000(0|1)*|110110101101010011010(0|1)*|110110101101010011011(0|1)*|110110101101010011100(0|1)*|110110101101010011101(0|1)*|110110101101010011110(0|1)*|110110101101010011111(0|1)*|1101111010100100(0|1)*|110111101010010000000(0|1)*|110111101010010000001(0|1)*|110111101010010000010(0|1)*|110111101010010000011(0|1)*|110111101010010000100(0|1)*|110111101010010000101(0|1)*|110111101010010000110(0|1)*|110111101010010000111(0|1)*|110111101010010001000(0|1)*|110111101010010001001(0|1)*|110111101010010001010(0|1)*|110111101010010001011(0|1)*|110111101010010001100(0|1)*|110111101010010001101(0|1)*|110111101010010001110(0|1)*|110111101010010001111(0|1)*|110111101010010010000(0|1)*|110111101010010010001(0|1)*|110111101010010010010(0|1)*|110111101010010010011(0|1)*|110111101010010010100(0|1)*|110111101010010010101(0|1)*|110111101010010010110(0|1)*|110111101010010010111(0|1)*|110111101010010011000(0|1)*|110111101010010011001(0|1)*|110111101010010011010(0|1)*|110111101010010011011(0|1)*|110111101010010011100(0|1)*|110111101010010011101(0|1)*|110111101010010011110(0|1)*|110111101010010011111(0|1)*|11011110101001010(0|1)*|110111101010010100000(0|1)*|110111101010010100001(0|1)*|110111101010010100010(0|1)*|110111101010010100011(0|1)*|110111101010010100100(0|1)*|110111101010010100101(0|1)*|110111101010010100110(0|1)*|110111101010010100111(0|1)*|110111101010010101000(0|1)*|110111101010010101001(0|1)*|110111101010010101010(0|1)*|110111101010010101011(0|1)*|110111101010010101100(0|1)*|110111101010010101101(0|1)*|110111101010010101110(0|1)*|110111101010010101111(0|1)*)",
+ 2,
+ {"GNVPN-0001-PAD1101111010100101011101010101010101",
+ "GNVPN-0001-PAD11001010100111000101101010101"},
+ {match, match}}
};
check_nfa = 0;
check_dfa = 0;
check_rand = 0;
};
check_nfa = 0;
check_dfa = 0;
check_rand = 0;
- for (i = 0; i < 1
8
; i++)
+ for (i = 0; i < 1
9
; i++)
{
if (0 != regcomp (&rx, rxstr[i].regex, REG_EXTENDED))
{
{
if (0 != regcomp (&rx, rxstr[i].regex, REG_EXTENDED))
{
@@
-335,19
+337,19
@@
main (int argc, char *argv[])
}
/* NFA test */
}
/* NFA test */
- a =
GNUNET_REGEX
_construct_nfa (rxstr[i].regex, strlen (rxstr[i].regex));
+ a =
REGEX_INTERNAL
_construct_nfa (rxstr[i].regex, strlen (rxstr[i].regex));
check_nfa += test_automaton (a, &rx, &rxstr[i]);
check_nfa += test_automaton (a, &rx, &rxstr[i]);
-
GNUNET_REGEX
_automaton_destroy (a);
+
REGEX_INTERNAL
_automaton_destroy (a);
/* DFA test */
/* DFA test */
- a =
GNUNET_REGEX_construct_dfa (rxstr[i].regex, strlen (rxstr[i].regex)
);
+ a =
REGEX_INTERNAL_construct_dfa (rxstr[i].regex, strlen (rxstr[i].regex), 0
);
check_dfa += test_automaton (a, &rx, &rxstr[i]);
check_dfa += test_automaton (a, &rx, &rxstr[i]);
- check_proof = GNUNET_strdup (
GNUNET_REGEX
_get_canonical_regex (a));
-
GNUNET_REGEX
_automaton_destroy (a);
+ check_proof = GNUNET_strdup (
REGEX_INTERNAL
_get_canonical_regex (a));
+
REGEX_INTERNAL
_automaton_destroy (a);
- a =
GNUNET_REGEX_construct_dfa (check_proof, strlen (check_proof)
);
+ a =
REGEX_INTERNAL_construct_dfa (check_proof, strlen (check_proof), 0
);
check_dfa += test_automaton (a, &rx, &rxstr[i]);
check_dfa += test_automaton (a, &rx, &rxstr[i]);
-
GNUNET_REGEX
_automaton_destroy (a);
+
REGEX_INTERNAL
_automaton_destroy (a);
if (0 != check_dfa)
GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "check_proof: %s\n", check_proof);
GNUNET_free_non_null (check_proof);
if (0 != check_dfa)
GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "check_proof: %s\n", check_proof);
GNUNET_free_non_null (check_proof);