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

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

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