Переделано присваивание строк и добавлены процедуры COPY, ASSERT и HALT

[dsw-obn.git] / obn-run-tests.sh

diff --git a/obn-run-tests.sh b/obn-run-tests.sh
index 6017f7e2865044cbe86f7cb78999cbaf82ee43f0..d809c75a049eba6821cf82b0fbe0a4ef2be4e278 100755 (executable)
--- a/obn-run-tests.sh
+++ b/obn-run-tests.sh
@@ -30,3 +30,6 @@ compile_false_positive()
 maketest Test1
 maketest Test2
 maketest Test3
+maketest Test4
+maketest Test5
+maketest Test6