From 4a43e24afa2a57471e54c1e75f6ea1253feddd46 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 30 Sep 2015 11:08:34 +0200 Subject: [PATCH] * iface/ltsmin/kripke.test: Fix paths to test binaries. --- iface/ltsmin/kripke.test | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/iface/ltsmin/kripke.test b/iface/ltsmin/kripke.test index f2cd64988..9a38511e2 100755 --- a/iface/ltsmin/kripke.test +++ b/iface/ltsmin/kripke.test @@ -1,6 +1,6 @@ #! /bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2011, 2014 Laboratoire de Recherche et Developpement +# Copyright (C) 2011, 2014, 2015 Laboratoire de Recherche et Developpement # de l'Epita (LRDE) # # This file is part of Spot, a model checking library. @@ -34,9 +34,9 @@ fi set -e run 0 ../modelcheck -gK ${srcdir}/finite.dve 'F("P.a > 5")' > output -run 0 ${top_builddir}/src/kripketest/parse_print output | tr -d '"' > output2 +run 0 ${top_builddir}/src/tests/parse_print output | tr -d '"' > output2 tr -d '"' < output >outputF cmp outputF output2 ../modelcheck -gK $srcdir/beem-peterson.4.dve '!G("pos[1] < 3")' > outputP -${top_builddir}/src/tgbatest/ltl2tgba -e -KPoutputP '!G("pos[1] < 3")' +${top_builddir}/src/tests/ikwiad -e -KPoutputP '!G("pos[1] < 3")'