• Alexandre Duret-Lutz's avatar
    bin: factor handling of -B/-C/-D/... output options · 71979840
    Alexandre Duret-Lutz authored
    * src/bin/common_post.cc: Handle the options
    for BA/TGBA/Monitor as well as Complete/SBAcc here,
    and in the same group.  Rename "Translation intent"
    and "Optimization level" to "Simplification goal" and
    "Simplification level" so that it makes sense even
    in autfilt.
    * src/bin/autfilt.cc, src/bin/dstar2tgba.cc,
    src/bin/ltl2tgba.cc: Remove common code.
    * doc/org/autfilt.org, doc/org/dstar2tgba.org,
    doc/org/ltl2tgba.org: Adjust sed invocations.