1#! /bin/sh 2# -*- coding: utf-8 -*- 3# Copyright (C) 2016, 2020 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 22. ./defs || exit 1 23 24set -e 25test -w /dev/full || exit 77 26 27# Make sure we diagnose write errors. As we use streams, the error 28# usually has to be detected when closing the file. 29 30genltl --dac >/dev/full && exit 1 31genltl --dac | ltlfilt >/dev/full && exit 1 32genltl --dac | ltlfilt -c >/dev/full && exit 1 33genltl --eh | ltl2tgba --stats=%s >/dev/full && exit 1 34genltl --eh | ltl2tgba >/dev/full && exit 1 35randltl -n5 2 >/dev/full && exit 1 36randaut 2 >/dev/full && exit 37randaut 2 --stats=%s >/dev/full && exit 1 38randaut 2 | autfilt >/dev/full && exit 1 39randaut 2 | autfilt -c >/dev/full && exit 1 40randaut 2 | autfilt --stats=%s >/dev/full && exit 1 41randaut 2 | autfilt --output=/dev/full && exit 1 42randaut 2 | autfilt --output=- >/dev/full && exit 1 43randaut 2 | dstar2tgba >/dev/full && exit 1 44randaut 2 | dstar2tgba --stats=%s >/dev/full && exit 1 45ltlgrind -f GFa >/dev/full && exit 1 46ltlcross -f GFa ltl2tgba --csv=/dev/full && exit 1 47ltlcross -f GFa ltl2tgba --csv >/dev/full && exit 1 48ltlcross -f GFa ltl2tgba --json=/dev/full && exit 1 49ltlcross -f GFa ltl2tgba --json >/dev/full && exit 1 50ltlcross -f GFa ltl2tgba --save-inclusion-products=/dev/full && exit 1 51ltlcross -f GFa ltl2tgba --save-inclusion-products=- >/dev/full && exit 1 52ltldo ltl2tgba -f GFa >/dev/full && exit 1 53ltldo ltl2tgba -f GFa --output=- >/dev/full && exit 1 54ltldo ltl2tgba -f GFa --output=/dev/full && exit 1 55ltldo ltl2tgba -f GFa --stats=%s >/dev/full && exit 1 56 57: 58