add test 11

This commit is contained in:
Christian Grothoff 2019-09-04 04:11:40 +02:00
parent e975dd3bdd
commit 4b5de800dc
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

View File

@ -9,7 +9,7 @@ set -eu
# Set of numbers for all the testcases.
# When adding new tests, increase the last number:
ALL_TESTS=`seq 0 10`
ALL_TESTS=`seq 0 11`
# $TESTS determines which tests we should run.
# This construction is used to make it easy to