Commit 22345d0c authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

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.
parent 1ca4204c
...@@ -75,6 +75,7 @@ check_PROGRAMS = \ ...@@ -75,6 +75,7 @@ check_PROGRAMS = \
core/length \ core/length \
core/intvcomp \ core/intvcomp \
core/intvcmp2 \ core/intvcmp2 \
core/kripkecat \
core/ltlprod \ core/ltlprod \
core/ltl2dot \ core/ltl2dot \
core/ltl2text \ core/ltl2text \
...@@ -83,7 +84,6 @@ check_PROGRAMS = \ ...@@ -83,7 +84,6 @@ check_PROGRAMS = \
core/nequals \ core/nequals \
core/nenoform \ core/nenoform \
core/ngraph \ core/ngraph \
core/parse_print \
core/readsat \ core/readsat \
core/reduc \ core/reduc \
core/reduccmp \ core/reduccmp \
...@@ -108,9 +108,9 @@ core_graph_SOURCES = core/graph.cc ...@@ -108,9 +108,9 @@ core_graph_SOURCES = core/graph.cc
core_ikwiad_SOURCES = core/ikwiad.cc core_ikwiad_SOURCES = core/ikwiad.cc
core_intvcomp_SOURCES = core/intvcomp.cc core_intvcomp_SOURCES = core/intvcomp.cc
core_intvcmp2_SOURCES = core/intvcmp2.cc core_intvcmp2_SOURCES = core/intvcmp2.cc
core_kripkecat_SOURCES = core/kripkecat.cc
core_ltlprod_SOURCES = core/ltlprod.cc core_ltlprod_SOURCES = core/ltlprod.cc
core_ngraph_SOURCES = core/ngraph.cc core_ngraph_SOURCES = core/ngraph.cc
core_parse_print_SOURCES = core/parse_print_test.cc
core_randtgba_SOURCES = core/randtgba.cc core_randtgba_SOURCES = core/randtgba.cc
core_readsat_SOURCES = core/readsat.cc core_readsat_SOURCES = core/readsat.cc
core_taatgba_SOURCES = core/taatgba.cc core_taatgba_SOURCES = core/taatgba.cc
...@@ -352,7 +352,7 @@ TESTS_ltsmin = \ ...@@ -352,7 +352,7 @@ TESTS_ltsmin = \
EXTRA_DIST += ltsmin/beem-peterson.4.dve ltsmin/finite.dve ltsmin/finite.pm 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 ############################## ############################## SANITY ##############################
......
...@@ -26,6 +26,7 @@ input ...@@ -26,6 +26,7 @@ input
intvcomp intvcomp
intvcmp2 intvcmp2
kind kind
kripkecat
length length
.libs .libs
ikwiad ikwiad
......
...@@ -75,8 +75,8 @@ State: [f] 5 ...@@ -75,8 +75,8 @@ State: [f] 5
--END-- --END--
EOF EOF
run 0 ../parse_print input1 > input1.out run 0 ../kripkecat input1 > input1.out
run 0 ../parse_print input1.out > input1.out2 run 0 ../kripkecat input1.out > input1.out2
cat >input2 <<EOF cat >input2 <<EOF
...@@ -123,7 +123,7 @@ Acc-Sig: +0 ...@@ -123,7 +123,7 @@ Acc-Sig: +0
2 2
EOF EOF
../parse_print input2 2>output2.err && exit 1 ../kripkecat input2 2>output2.err && exit 1
cat output2.err cat output2.err
cat >expected2<<EOF cat >expected2<<EOF
input2:9.1: state 1 has no definition input2:9.1: state 1 has no definition
......
...@@ -34,7 +34,7 @@ fi ...@@ -34,7 +34,7 @@ fi
set -e set -e
run 0 ../modelcheck -gK $srcdir/finite.dve 'F("P.a > 5")' > output 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 tr -d '"' < output >outputF
cmp outputF output2 cmp outputF output2
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment