1#!/bin/sh 2# -*- coding: utf-8 -*- 3# Copyright (C) 2012, 2015 Laboratoire de Recherche et Développement 4# de l'Epita (LRDE). 5# 6# This file is part of Spot, a model checking library. 7# 8# Spot is free software; you can redistribute it and/or modify it 9# under the terms of the GNU General Public License as published by 10# the Free Software Foundation; either version 3 of the License, or 11# (at your option) any later version. 12# 13# Spot is distributed in the hope that it will be useful, but WITHOUT 14# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY 15# or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public 16# License for more details. 17# 18# You should have received a copy of the GNU General Public License 19# along with this program. If not, see <http://www.gnu.org/licenses/>. 20 21. ./defs 22set -e 23 24test "`ltlfilt -p -f 'GFP_0.b_c'`" = "G(F(P_0.b_c))" 25test "`ltlfilt -f 'GFP_0.b_c'`" = "GFP_0.b_c" 26foo=`ltlfilt -p -f 'GF"P_0.b_c"'` 27test "$foo" = "G(F(P_0.b_c))" 28 29foo=`ltlfilt -p -f '"a.b" U c.d.e'` 30test "$foo" = "(a.b) U (c.d.e)" 31 32foo=`ltlfilt -f '"a.b" U c.d.e'` 33test "$foo" = "a.b U c.d.e" 34