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