Skip to content
Find file Blame History Permalink
  • 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.
    f2e941cd
To find the state of this project's repository at the time of any of these versions, check out the tags.