testsuite/parseok/semko.stp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#! /bin/sh

# make sure that we can *parse* all semko test files, to ensure
# that it is semantic (elaboration) checks that fail, not parse errors


set -e
for file in ${SRCDIR}/testsuite/semko/*.stp
do
  if grep -q /bin/sh $file; then
    true # can't override stap options
  else
    ./stap -p1 $file
  fi
done