diff --git a/src/smt/theory_array_full.cpp b/src/smt/theory_array_full.cpp
index 0a046e023..e876bae5f 100644
--- a/src/smt/theory_array_full.cpp
+++ b/src/smt/theory_array_full.cpp
@@ -780,6 +780,7 @@ namespace smt {
     }
 
     void theory_array_full::propagate() {
+        theory_array::propagate();
         if (m_choice_qhead == m_choice_terms.size())
             return;
         ctx.push_trail(value_trail(m_choice_qhead));
diff --git a/src/test/main.cpp b/src/test/main.cpp
index 6c0052094..d8b3ab736 100644
--- a/src/test/main.cpp
+++ b/src/test/main.cpp
@@ -534,7 +534,7 @@ int main(int argc, char ** argv) {
     }
 
 #ifndef __EMSCRIPTEN__
-    if (num_jobs > 0)
+    if (num_jobs > 0 && (test_all || requested_tests.size() > 1))
         return run_parallel(argv[0], test_all, num_jobs, extra_args, requested_tests);
 #endif