diff --git a/obn-run-tests.sh b/obn-run-tests.sh
index e3e3d5af23365db90c84c03533503c0a55d0c127..fa1d728f373bbc133344fd14886982b2cdb21fe1 100755 (executable)
--- a/obn-run-tests.sh
+++ b/obn-run-tests.sh
maketest Test14
maketest Test15
maketest Test16
+
makefail Test17A
makefail Test17B
makecomp Test17C
makefail Test17E
makefail Test17F
+makecomp Test18A
+makefail Test18B
+makefail Test18C
+
+maketest Test19
+maketest Test20