diff --git a/obn-run-tests.sh b/obn-run-tests.sh
index e3e3d5af23365db90c84c03533503c0a55d0c127..7011dc59ada134164831c80e12cf2bb077d5bdc9 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