From 22345d0c679ceceda95dec75892d37d93be75c68 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 3 Feb 2016 21:19:30 +0100
Subject: [PATCH] rename parse_print_test as kripkecat

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.
---
 tests/Makefile.am                                | 6 +++---
 tests/core/.gitignore                            | 1 +
 tests/core/kripke.test                           | 6 +++---
 tests/core/{parse_print_test.cc => kripkecat.cc} | 0
 tests/ltsmin/kripke.test                         | 2 +-
 5 files changed, 8 insertions(+), 7 deletions(-)
 rename tests/core/{parse_print_test.cc => kripkecat.cc} (100%)

diff --git a/tests/Makefile.am b/tests/Makefile.am
index 2a8a99a20..80531918f 100644
--- a/tests/Makefile.am
+++ b/tests/Makefile.am
@@ -75,6 +75,7 @@ check_PROGRAMS = \
   core/length \
   core/intvcomp \
   core/intvcmp2 \
+  core/kripkecat \
   core/ltlprod \
   core/ltl2dot \
   core/ltl2text \
@@ -83,7 +84,6 @@ check_PROGRAMS = \
   core/nequals \
   core/nenoform \
   core/ngraph \
-  core/parse_print \
   core/readsat \
   core/reduc \
   core/reduccmp \
@@ -108,9 +108,9 @@ core_graph_SOURCES = core/graph.cc
 core_ikwiad_SOURCES = core/ikwiad.cc
 core_intvcomp_SOURCES = core/intvcomp.cc
 core_intvcmp2_SOURCES = core/intvcmp2.cc
+core_kripkecat_SOURCES = core/kripkecat.cc
 core_ltlprod_SOURCES  = core/ltlprod.cc
 core_ngraph_SOURCES = core/ngraph.cc
-core_parse_print_SOURCES = core/parse_print_test.cc
 core_randtgba_SOURCES = core/randtgba.cc
 core_readsat_SOURCES = core/readsat.cc
 core_taatgba_SOURCES = core/taatgba.cc
@@ -352,7 +352,7 @@ TESTS_ltsmin = \
 
 EXTRA_DIST += ltsmin/beem-peterson.4.dve ltsmin/finite.dve ltsmin/finite.pm
 
-ltlsmin/kripke.log: core/parse_print$(EXEEXT)
+ltlsmin/kripke.log: core/kripkecat$(EXEEXT)
 
 
 ############################## SANITY ##############################
diff --git a/tests/core/.gitignore b/tests/core/.gitignore
index bad8812a1..6be3085f4 100644
--- a/tests/core/.gitignore
+++ b/tests/core/.gitignore
@@ -26,6 +26,7 @@ input
 intvcomp
 intvcmp2
 kind
+kripkecat
 length
 .libs
 ikwiad
diff --git a/tests/core/kripke.test b/tests/core/kripke.test
index f84d1ec1d..958386e5c 100755
--- a/tests/core/kripke.test
+++ b/tests/core/kripke.test
@@ -75,8 +75,8 @@ State: [f] 5
 --END--
 EOF
 
-run 0 ../parse_print input1 > input1.out
-run 0 ../parse_print input1.out > input1.out2
+run 0 ../kripkecat input1 > input1.out
+run 0 ../kripkecat input1.out > input1.out2
 
 
 cat >input2 <<EOF
@@ -123,7 +123,7 @@ Acc-Sig: +0
 2
 EOF
 
-../parse_print input2 2>output2.err && exit 1
+../kripkecat input2 2>output2.err && exit 1
 cat output2.err
 cat >expected2<<EOF
 input2:9.1: state 1 has no definition
diff --git a/tests/core/parse_print_test.cc b/tests/core/kripkecat.cc
similarity index 100%
rename from tests/core/parse_print_test.cc
rename to tests/core/kripkecat.cc
diff --git a/tests/ltsmin/kripke.test b/tests/ltsmin/kripke.test
index 50e5b9973..7fffd403c 100755
--- a/tests/ltsmin/kripke.test
+++ b/tests/ltsmin/kripke.test
@@ -34,7 +34,7 @@ fi
 set -e
 
 run 0 ../modelcheck -gK $srcdir/finite.dve 'F("P.a > 5")' > output
-run 0 ../../core/parse_print output | tr -d '"' > output2
+run 0 ../../core/kripkecat output | tr -d '"' > output2
 tr -d '"' < output >outputF
 cmp outputF output2