diff --git a/tests/script/jenkins/basic.txt b/tests/script/jenkins/basic.txt index a5d04f79a6c74dcb9d514bfc22d5dd6b8f03198a..1b2fe37c71f26486ba847006ecf3aa373b5f55c1 100644 --- a/tests/script/jenkins/basic.txt +++ b/tests/script/jenkins/basic.txt @@ -57,8 +57,8 @@ cd ../../../debug; make ./test.sh -f general/db/delete_reuse2.sim ./test.sh -f general/db/delete_reusevnode.sim ./test.sh -f general/db/delete_reusevnode2.sim -#./test.sh -f general/db/delete_writing1.sim -#./test.sh -f general/db/delete_writing2.sim +./test.sh -f general/db/delete_writing1.sim +./test.sh -f general/db/delete_writing2.sim ./test.sh -f general/db/delete.sim ./test.sh -f general/db/len.sim ./test.sh -f general/db/repeat.sim