From 59c0f082783c2b50b36e507db9867f480ac75c78 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 8 Aug 2017 09:49:11 +0200 Subject: [PATCH] * tests/core/optba.test: Use set -x. --- tests/core/optba.test | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/tests/core/optba.test b/tests/core/optba.test index b4863fc6e..6a8817c56 100755 --- a/tests/core/optba.test +++ b/tests/core/optba.test @@ -1,7 +1,7 @@ #!/bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2015 Laboratoire de Recherche et Développement de -# l'Epita (LRDE). +# Copyright (C) 2015, 2017 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # @@ -19,6 +19,7 @@ # along with this program. If not, see . . ./defs +set -x # This is a case where autfilt is used to optimize BA, but used to # produce a larger one. See issue #79.