diff --git a/tests/script/jenkins/basic.txt b/tests/script/jenkins/basic.txt index f2b9e0caabb3bc9fc7d6f6ddb5e795e7eeb5db6c..9f197b16c8d326592c92d00a51060ed6f80487ee 100644 --- a/tests/script/jenkins/basic.txt +++ b/tests/script/jenkins/basic.txt @@ -70,6 +70,11 @@ ./test.sh -f tsim/tmq/basic2.sim ./test.sh -f tsim/tmq/basic3.sim ./test.sh -f tsim/tmq/basic4.sim +./test.sh -f tsim/tmq/basic1Of2Cons.sim +./test.sh -f tsim/tmq/basic2Of2Cons.sim +./test.sh -f tsim/tmq/basic3Of2Cons.sim +./test.sh -f tsim/tmq/basic4Of2Cons.sim +./test.sh -f tsim/tmq/basic2Of2ConsOverlap.sim # --- stable ./test.sh -f tsim/stable/disk.sim