diff --git a/tests/script/jenkins/basic.txt b/tests/script/jenkins/basic.txt index 465677de806a055bf78eef4eb4114966d382137f..50d4c04a9354b29fdb0c2b9ca3d9eb7b4b819b5a 100644 --- a/tests/script/jenkins/basic.txt +++ b/tests/script/jenkins/basic.txt @@ -170,6 +170,7 @@ # --- valgrind ./test.sh -f tsim/valgrind/checkError1.sim ./test.sh -f tsim/valgrind/checkError2.sim +./test.sh -f tsim/valgrind/checkError3.sim # --- vnode # ./test.sh -f tsim/vnode/replica3_basic.sim