Skip to content
  • Alexandre Duret-Lutz's avatar
    rename parse_print_test as kripkecat · 22345d0c
    Alexandre Duret-Lutz authored
    Fixes #135.
    
    * tests/core/parse_print_test.cc: Rename as...
    * tests/core/kripkecat.cc: ... this.
    * tests/Makefile.am, tests/core/.gitignore, tests/core/kripke.test,
    tests/ltsmin/kripke.test: Adjust.
    22345d0c