From ff3c02f51d20cce00e2bcb87af2ead191c744719 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 23 Oct 2011 22:02:19 +0200 Subject: [PATCH] * src/tgba/tgbasafracomplement.cc: Fix two asserts. --- ChangeLog | 4 ++++ src/tgba/tgbasafracomplement.cc | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 59af21b85..7d74d6520 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2011-10-23 Alexandre Duret-Lutz + + * src/tgba/tgbasafracomplement.cc: Fix two asserts. + 2011-10-23 Alexandre Duret-Lutz Improve the print_safra_automaton output. diff --git a/src/tgba/tgbasafracomplement.cc b/src/tgba/tgbasafracomplement.cc index f2952f310..9cfe57370 100644 --- a/src/tgba/tgbasafracomplement.cc +++ b/src/tgba/tgbasafracomplement.cc @@ -1129,7 +1129,7 @@ namespace spot tgba_safra_complement::tgba_safra_complement(const tgba* a) : automaton_(a), safra_(safra_determinisation::create_safra_automaton(a)) { - assert(safra_ || "safra construction fails"); + assert(safra_ || !"safra construction fails"); // We will use one acceptance condition for this automata. // Let's call it Acc[True]. @@ -1292,7 +1292,7 @@ namespace spot return new tgba_safra_complement_succ_iterator(succ_list, condition); } - assert("Safra automaton does not find this node"); + assert(!"Safra automaton does not find this node"); return 0; }