• Alexandre Duret-Lutz's avatar
    Add missing instance_count() in automatop and eltl2tgba. · f2e941cd
    Alexandre Duret-Lutz authored
    * src/ltlast/automatop.hh, src/ltlast/automatop.cc: Add missing
    instance_count() functions.
    * src/tgbatests/eltl2tgba.cc: Add missing instance_count()
    assertions at the end.
    * src/tgbatests/ltl2tgba.cc: Also call automatop::instance_count(),
    even if automatop are not used in ltl2tgba yet.  This way we won't
    forget once eltl2tgba and ltl2tgba are merged.
ltl2tgba.cc 27.6 KB