alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix generation of randome SERE formulae.

Browse source 
* src/ltlvisit/randomltl.cc: Use the correct flavor of And and Or.
Reported by Etienne Renault.
* NEWS: Mention the bug.
This commit is contained in:
Alexandre Duret-Lutz 2012-05-10 10:09:04 +02:00
parent de64a48e8b
commit 9f127deae6
2 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -1,6 +1,8 @@
New in spot 0.9a:
Nothing yet.
* Bug fixes:
- The random SERE generator was using the wrong operators
for "and" and "or", mistaking And/Or with AndRat/OrRat.
New in spot 0.9 (2012-05-09):

4
src/ltlvisit/randomltl.cc
View file

@ -285,9 +285,9 @@ namespace spot
proba_[1].setup("boolform", 1, boolform_builder);
proba_[2].setup("star", 2, bunop_unbounded_builder<bunop::Star>);
proba_[3].setup("star_b", 2, bunop_bounded_builder<bunop::Star>);
proba_[4].setup("and", 3, multop_builder<multop::And>);
proba_[4].setup("and", 3, multop_builder<multop::AndRat>);
proba_[5].setup("andNLM", 3, multop_builder<multop::AndNLM>);
proba_[6].setup("or", 3, multop_builder<multop::Or>);
proba_[6].setup("or", 3, multop_builder<multop::OrRat>);
proba_[7].setup("concat", 3, multop_builder<multop::Concat>);
proba_[8].setup("fusion", 3, multop_builder<multop::Fusion>);