From 88638fd30b3c7898e1209b8128adf42b1e4bd315 Mon Sep 17 00:00:00 2001 From: Maximilian Szengel Date: Fri, 7 Sep 2012 16:38:49 +0000 Subject: coverage --- src/regex/regex_graph.c | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) (limited to 'src/regex/regex_graph.c') diff --git a/src/regex/regex_graph.c b/src/regex/regex_graph.c index 5db3780d0..483cef698 100644 --- a/src/regex/regex_graph.c +++ b/src/regex/regex_graph.c @@ -197,11 +197,8 @@ GNUNET_REGEX_automaton_save_graph_step (void *cls, unsigned int count, GNUNET_asprintf (&s_acc, "\"%s\" [shape=circle];\n", name, s->scc_id); } - if (NULL == s_acc) - { - GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Could not print state %s\n", s->name); - return; - } + GNUNET_assert (NULL != s_acc); + fwrite (s_acc, strlen (s_acc), 1, ctx->filep); GNUNET_free (s_acc); s_acc = NULL; @@ -256,12 +253,7 @@ GNUNET_REGEX_automaton_save_graph_step (void *cls, unsigned int count, GNUNET_free (to_name); - if (NULL == s_tran) - { - GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Could not print state %s\n", - s->name); - return; - } + GNUNET_assert (NULL != s_tran); fwrite (s_tran, strlen (s_tran), 1, ctx->filep); GNUNET_free (s_tran); -- cgit v1.2.3