Commit 78be3514 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/tgbaalgos/randomgraph.cc (random_graph): Do declare all the

acceptance conditions in the produced automaton, in case they are
not actually used.
parent d6f865ac
2004-11-15 Alexandre Duret-Lutz <adl@src.lip6.fr>
* 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.
......
......@@ -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);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment