Skip to content
  • Alexandre Duret-Lutz's avatar
    introduce output_aborter, and use it in ltlcross · a8504509
    Alexandre Duret-Lutz authored
    * spot/twaalgos/alternation.cc, spot/twaalgos/alternation.hh,
    spot/twaalgos/complement.cc, spot/twaalgos/complement.hh,
    spot/twaalgos/determinize.cc, spot/twaalgos/determinize.hh,
    spot/twaalgos/minimize.cc, spot/twaalgos/minimize.hh,
    spot/twaalgos/postproc.cc, spot/twaalgos/postproc.hh,
    spot/twaalgos/powerset.cc, spot/twaalgos/powerset.hh,
    spot/twaalgos/product.cc, spot/twaalgos/product.hh: Use an
    output_aborter argument to abort if the output is too large.
    * bin/ltlcross.cc: Use complement() with an output_aborter
    so that ltlcross will not attempt to build complement larger
    than 500 states or 5000 edges.  Add --determinize-max-states
    and --determinize-max-edges options.
    * tests/core/ltlcross3.test, tests/core/ltlcrossce2.test,
    tests/core/sccsimpl.test, tests/core/wdba2.test,
    tests/python/stutter-inv.ipynb: Adjust test cases.
    * NEWS: Document this.
    * bin/spot-x.cc: Add documentation for postprocessor's
    det-max-states and det-max-edges arguments.
    * doc/org/ltlcross.org: Update description.
    a8504509
To find the state of this project's repository at the time of any of these versions, check out the tags.