Commit 59c0f082 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* tests/core/optba.test: Use set -x.

parent 80d50c56
#!/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 <http://www.gnu.org/licenses/>.
. ./defs
set -x
# This is a case where autfilt is used to optimize BA, but used to
# produce a larger one. See issue #79.
......
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