Commit 6bacbe1e authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/ltltest/stutter.test: Run time only if present.

parent 176a7bf1
#! /bin/sh #! /bin/sh
# -*- coding: utf-8 -*- # -*- coding: utf-8 -*-
# Copyright (C) 2013, 2014 Laboratoire de Recherche et Développement # Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et
# de l'Epita (LRDE). # Développement de l'Epita (LRDE).
# #
# This file is part of Spot, a model checking library. # This file is part of Spot, a model checking library.
# #
...@@ -27,6 +27,12 @@ set -e ...@@ -27,6 +27,12 @@ set -e
randltl=../../bin/randltl randltl=../../bin/randltl
ltlfilt=../../bin/ltlfilt ltlfilt=../../bin/ltlfilt
# Use time only if it is available
time=
if (time ls) >/dev/null 2>&1; then
time=time
fi
FILE=formulae FILE=formulae
rm -f $FILE rm -f $FILE
for i in 10 12 14 16 18 20; do for i in 10 12 14 16 18 20; do
...@@ -38,7 +44,7 @@ done ...@@ -38,7 +44,7 @@ done
for i in 1 2 3 4 5 6 7 8; do for i in 1 2 3 4 5 6 7 8; do
SPOT_STUTTER_CHECK=$i SPOT_STUTTER_CHECK=$i
export SPOT_STUTTER_CHECK export SPOT_STUTTER_CHECK
time $ltlfilt --stutter-invariant -F $FILE > res.$i $time $ltlfilt --stutter-invariant -F $FILE > res.$i
done done
# All results should be equal # All results should be equal
......
Supports Markdown
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