Skip to content
  • Alexandre Duret-Lutz's avatar
    Rename src/tests/ltl2tgba as src/tests/ikwiad. · 17dc2f86
    Alexandre Duret-Lutz authored
    Fixes #23.
    
    * src/tests/ltl2tgba.cc: Rename as ...
    * src/tests/ikwiad.cc: ... this.
    * src/tests/Makefile.am, src/tests/babiak.test, src/tests/checkta.cc,
    src/tests/complementation.test, src/tests/cycles.test,
    src/tests/dbacomp.test, src/tests/degendet.test,
    src/tests/degenid.test, src/tests/det.test, src/tests/dfs.test,
    src/tests/dstar.test, src/tests/dupexp.test, src/tests/emptchke.test,
    src/tests/kv.test, src/tests/ltl2neverclaim-lbtt.test,
    src/tests/ltl2neverclaim.test, src/tests/ltl2tgba.test,
    src/tests/ltlcounter.test, src/tests/ltlcross.test,
    src/tests/neverclaimread.test, src/tests/obligation.test,
    src/tests/parseaut.test, src/tests/randaut.test,
    src/tests/randpsl.test, src/tests/renault.test,
    src/tests/satmin2.test, src/tests/sccsimpl.test, src/tests/sim2.test,
    src/tests/simdet.test, src/tests/spotlbtt.test, src/tests/wdba.test,
    src/tests/wdba2.test, bench/emptchk/README, bench/emptchk/defs.in,
    bench/ltlclasses/run, bench/ltlcounter/run, bench/wdba/run: Adjust.
    17dc2f86