Commit 86b7f269 authored by Denis Poitrenaud's avatar Denis Poitrenaud
Browse files

* src/tgbaparse/tgbaparse.yy: Accept automaton without state.

* src/ltltest/randltl.cc: Typo.
parent 3f279006
2005-01-11 Denis Poitrenaud <Denis.Poitrenaud@lip6.fr>
* src/tgbaparse/tgbaparse.yy: Accept automaton without state.
* src/ltltest/randltl.cc: Typo.
2005-01-10 Denis Poitrenaud <Denis.Poitrenaud@lip6.fr>
* src/tgbatest/randtgba.cc: Typo.
......
......@@ -148,10 +148,10 @@ main(int argc, char** argv)
exit(2);
}
if (opt_r > opt_F)
if (opt_r > opt_f)
{
std::cerr << "-r's argument (" << opt_r << ") should not be larger than "
<< "-F's (" << opt_F << ")" << std::endl;
<< "-f's (" << opt_F << ")" << std::endl;
exit(2);
}
......
......@@ -81,7 +81,12 @@ typedef std::map<std::string, bdd> formula_cache;
} acc_list
%%
tgba: acceptance_decl lines | lines;
tgba: acceptance_decl lines
| acceptance_decl
{ result->add_state("0"); }
| lines
|
{ result->add_state("0"); };
acceptance_decl: ACC_DEF acc_decl ';'
......
Supports Markdown
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