1 2 3 4 5 6 7 8 9 10 11
#!/bin/sh topdir=../.. . $topdir/testenv.sh for f in abs minmax lsl lsr asr; do formal "test_${f}" done clean echo OK