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

Decrease the maximum bound used in random BUnOps.

Browse source 
* src/ltlvisit/randomltl.cc (bunop_bounded_builder,
bunop_bool_bounded_builder): Set the maximum value
to 3 instead of 4, to speed up the test suite.
This commit is contained in:
Alexandre Duret-Lutz 2011-10-30 18:40:33 +01:00
parent c54627bebd
commit 7514cc15ee
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/ltlvisit/randomltl.cc
View file

@ -127,8 +127,8 @@ namespace spot
bunop_bounded_builder(const random_formula* rl, int n) bunop_bounded_builder(const random_formula* rl, int n)
{ {
assert(n >= 2); assert(n >= 2);
int min = rrand(0, 3); int min = rrand(0, 2);
int max = rrand(min, 4); int max = rrand(min, 3);
return bunop::instance(Op, rl->generate(n - 1), min, max); return bunop::instance(Op, rl->generate(n - 1), min, max);
} }
@ -137,8 +137,8 @@ namespace spot
bunop_bool_bounded_builder(const random_formula* rl, int n) bunop_bool_bounded_builder(const random_formula* rl, int n)
{ {
assert(n >= 2); assert(n >= 2);
int min = rrand(0, 3); int min = rrand(0, 2);
int max = rrand(min, 4); int max = rrand(min, 3);
const random_sere* rp = static_cast<const random_sere*>(rl); const random_sere* rp = static_cast<const random_sere*>(rl);
return bunop::instance(Op, rp->rb.generate(n - 1), min, max); return bunop::instance(Op, rp->rb.generate(n - 1), min, max);
} }