• Alexandre Duret-Lutz's avatar
    degen: improve test coverage · 0d8a88b2
    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
degen.cc 20.7 KB