1#!/bin/sh
2
3set -eu
4
5if [ $# != 1 ]; then
6    echo "usage: $0 <num-tests>"
7    exit 1
8fi
9
10dir=$(dirname $0)
11$dir/build.sh $1 &> /dev/null || true
12../summarize.sh $1 &> fails-x.txt
13cat fails-x.txt
14wc -l fails-x.txt
15