• Alexandre Duret-Lutz's avatar
    * src/sanity/style.test: Warn about places where size() is used · c30823f7
    Alexandre Duret-Lutz authored
    instead of empty().
    * src/misc/bddalloc.cc (bdd_allocator::extend): Use empty() rather
    than size() when checking emptiness of lists.
    * src/tgbaalgos/reductgba_sim_del.cc, src/tgbaalgos/minimalce.cc,
    src/ltlvisit/basicreduce.cc, src/ltlvisit/reduce.cc,
    src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/ltl2tgba_fm.cc,
    src/misc/minato.cc: Likewise.
    * src/ltlast/multop.cc (multop::instance): Call ->size() only once.
    c30823f7
style.test 3.48 KB