Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    Make it easier to debug reference counts in LTL nodes. · 631f4b5b
    Alexandre Duret-Lutz authored 
    * src/ltlast/automatop.cc, src/ltlast/automatop.hh,
src/ltlast/binop.cc, src/ltlast/binop.hh, src/ltlast/multop.cc,
src/ltlast/multop.hh, src/ltlast/unop.cc, src/ltlast/unop.hh:
Add a dump_instance() static method to all class.
* src/ltltest/readltl.cc: Add option -r to dump all instances
with their reference count, after parsing and after deletion.
    631f4b5b
To find the state of this project's repository at the time of any of these versions, check out the tags.