From 78be35142db23bdf5b325e592e1708a21b329cb6 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 15 Nov 2004 13:29:04 +0000 Subject: [PATCH] * src/tgbaalgos/randomgraph.cc (random_graph): Do declare all the acceptance conditions in the produced automaton, in case they are not actually used. --- ChangeLog | 4 ++++ src/tgbaalgos/randomgraph.cc | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 99fd3e94e..7f9216979 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2004-11-15 Alexandre Duret-Lutz + * src/tgbaalgos/randomgraph.cc (random_graph): Do declare all the + acceptance conditions in the produced automaton, in case they are + not actually used. + * src/tgbaalgos/replayrun.cc (replay_tgba_run): Write to the supplied stream, not std::cout. diff --git a/src/tgbaalgos/randomgraph.cc b/src/tgbaalgos/randomgraph.cc index 3fbb3b06c..79c646293 100644 --- a/src/tgbaalgos/randomgraph.cc +++ b/src/tgbaalgos/randomgraph.cc @@ -91,7 +91,7 @@ namespace spot { ltl::formula* f = env->require(acc(i)); int v = dict->register_acceptance_variable(f, res); - ltl::destroy(f); + res->declare_acceptance_condition(f); allneg &= bdd_nithvar(v); bdd b = bdd_ithvar(v); accs.push_back(b);