new test case to improve coverage stats

The streett_to_generalized_buchi() function was not tested unless
ltl2dstar is installed.

* tests/core/streett.test: New file.
* tests/Makefile.am: Add it.

tests/Makefile.am

@@ -248,6 +248,7 @@ TESTS_twa = \
   core/dra2dba.test \
   core/unambig.test \
   core/ltlcross4.test \
+  core/streett.test \
   core/ltl3dra.test \
   core/ltl2dstar.test \
   core/ltl2dstar2.test \

tests/core/streett.test

+#!/bin/sh
+# -*- coding: utf-8 -*-
+# Copyright (C) 2016 Laboratoire de Recherche et Développement
+# de l'Epita (LRDE).
+#
+# This file is part of Spot, a model checking library.
+#
+# Spot is free software; you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# Spot is distributed in the hope that it will be useful, but WITHOUT
+# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+# or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
+# License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+. ./defs
+set -e
+
+## Save the output of ltl2dstar, so that we can exercise the
+## conversion from Streett to TGBA regardless of whether ltl2dstar is
+## installed.
+# ltldo 'ltl2dstar --automata=streett' -f 'GFa & GFb & FGc' > streett.hoa
+cat >streett.hoa <<EOF
+HOA: v1
+States: 8
+Start: 0
+AP: 3 "a" "b" "c"
+acc-name: Streett 3
+Acceptance: 6 (Fin(0) | Inf(1)) & (Fin(2) | Inf(3)) & (Fin(4) | Inf(5))
+properties: trans-labels explicit-labels state-acc complete
+properties: deterministic
+--BODY--
+State: 0 {1 3}
+[!0&!1&!2] 7
+[0&!1&!2] 6
+[!0&1&!2] 5
+[0&1&!2] 4
+[!0&!1&2] 3
+[0&!1&2] 2
+[!0&1&2] 1
+[0&1&2] 0
+State: 1 {0 3}
+[!0&!1&!2] 7
+[0&!1&!2] 6
+[!0&1&!2] 5
+[0&1&!2] 4
+[!0&!1&2] 3
+[0&!1&2] 2
+[!0&1&2] 1
+[0&1&2] 0
+State: 2 {1 2}
+[!0&!1&!2] 7
+[0&!1&!2] 6
+[!0&1&!2] 5
+[0&1&!2] 4
+[!0&!1&2] 3
+[0&!1&2] 2
+[!0&1&2] 1
+[0&1&2] 0
+State: 3 {0 2}
+[!0&!1&!2] 7
+[0&!1&!2] 6
+[!0&1&!2] 5
+[0&1&!2] 4
+[!0&!1&2] 3
+[0&!1&2] 2
+[!0&1&2] 1
+[0&1&2] 0
+State: 4 {1 3 4}
+[!0&!1&!2] 7
+[0&!1&!2] 6
+[!0&1&!2] 5
+[0&1&!2] 4
+[!0&!1&2] 3
+[0&!1&2] 2
+[!0&1&2] 1
+[0&1&2] 0
+State: 5 {0 3 4}
+[!0&!1&!2] 7
+[0&!1&!2] 6
+[!0&1&!2] 5
+[0&1&!2] 4
+[!0&!1&2] 3
+[0&!1&2] 2
+[!0&1&2] 1
+[0&1&2] 0
+State: 6 {1 2 4}
+[!0&!1&!2] 7
+[0&!1&!2] 6
+[!0&1&!2] 5
+[0&1&!2] 4
+[!0&!1&2] 3
+[0&!1&2] 2
+[!0&1&2] 1
+[0&1&2] 0
+State: 7 {0 2 4}
+[!0&!1&!2] 7
+[0&!1&!2] 6
+[!0&1&!2] 5
+[0&1&!2] 4
+[!0&!1&2] 3
+[0&!1&2] 2
+[!0&1&2] 1
+[0&1&2] 0
+--END--
+EOF
+
+run 0 autfilt --tgba streett.hoa > out.hoa
+autfilt -q --equivalent-to streett.hoa out.hoa
+grep 'generalized-Buchi 2' out.hoa