From 7514cc15ee02f2ee1b8526227e59e78c427d8749 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 30 Oct 2011 18:40:33 +0100 Subject: [PATCH] Decrease the maximum bound used in random BUnOps. * 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. --- src/ltlvisit/randomltl.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/ltlvisit/randomltl.cc b/src/ltlvisit/randomltl.cc index 360dc25c7..3310f8118 100644 --- a/src/ltlvisit/randomltl.cc +++ b/src/ltlvisit/randomltl.cc @@ -127,8 +127,8 @@ namespace spot bunop_bounded_builder(const random_formula* rl, int n) { assert(n >= 2); - int min = rrand(0, 3); - int max = rrand(min, 4); + int min = rrand(0, 2); + int max = rrand(min, 3); 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) { assert(n >= 2); - int min = rrand(0, 3); - int max = rrand(min, 4); + int min = rrand(0, 2); + int max = rrand(min, 3); const random_sere* rp = static_cast(rl); return bunop::instance(Op, rp->rb.generate(n - 1), min, max); }