-
Alexandre Duret-Lutz authored
* 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.
0d8a88b2