degen: improve test coverage

* spot/twaalgos/degen.cc: Make use_cust_acc_orders as unlikely, as it
was never true in the whole test suite before this patch.
* tests/core/ltlcross2.test: Play with degen-order and degen-lcache
options to test more cases.
This commit is contained in:
Alexandre Duret-Lutz 2017-03-08 15:48:38 +01:00
parent 4e9303e380
commit 0d8a88b28b
2 changed files with 6 additions and 7 deletions

View file

@ -276,11 +276,10 @@ namespace spot
if (s.second == 0)
{
auto set = outgoing.common_acc(s.first);
if (use_cust_acc_orders)
if (SPOT_UNLIKELY(use_cust_acc_orders))
s.second = orders.next_level(m->initial(), s.second, set);
else
while (s.second < order.size()
&& set.has(order[s.second]))
while (s.second < order.size() && set.has(order[s.second]))
{
++s.second;
if (!skip_levels)