dcswaveltl.test 163 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
#! /bin/sh

. ./defs || exit 1

set -e

cp -R $srcdir/examples/DCSwave .

../ltlgspn-srg DCSwave/DCSWave '!G(ATTiIDLj => F(!SCj U SCi))' ATTiIDLj SCi SCj > output