1#!/bin/sh 2# -*- shell-script -*- 3# Copyright (C) 2012, 2013, 2016 Laboratoire de Recherche et 4# Developpement 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 22 23$GENLTL --dac-patterns --eh-patterns --sb-patterns | 24$LTLCROSS "$@" --csv=known.csv --json=known.json 2>&1 | 25tee known.log 26