Skip to content
  • Alexandre Duret-Lutz's avatar
    homogenize dstar_parse() and parse_aut() outputs · f831f729
    Alexandre Duret-Lutz authored
    * src/dstarparse/dstarparse.yy, src/dstarparse/dstarscan.ll
    src/dstarparse/parsedecl.hh, src/dstarparse/public.hh:
    Adjust to return the same return types as parse_aut.
    * src/dstarparse/fmterror.cc: Delete, we can use
    the one of parse_aut.
    * src/dstarparse/Makefile.am: Adjust.
    * src/tests/ikwiad.cc, src/bin/dstar2tgba.cc,
    src/bin/ltldo.cc: Adjust usage.
    * src/bin/ltlcross.cc: The the result of dstar_parse() as-is, now that
    it is a TωA like those produced by parse_aut().  As a consequence,
    get rid of all the code storing statistics about the input
    automaton.
    * src/tests/ltlcross3.test, src/tests/ltl2dstar.test: Adjust expected
    CSV output.
    * doc/org/ltlcross.org, src/bin/man/ltlcross.x: Adjust to not
    mention that %D performs a tranformation to Büchi.
    f831f729