diff --git a/Source/IntegrationTests/LitTests.cs b/Source/IntegrationTests/LitTests.cs
index 5afa0c8edde..9177b9e46ff 100644
--- a/Source/IntegrationTests/LitTests.cs
+++ b/Source/IntegrationTests/LitTests.cs
@@ -26,6 +26,8 @@ public class LitTests {
     private static readonly string[] DefaultDafnyArguments = new[] {
       "/countVerificationErrors:0",
 
+      "/vcsCores:2",
+
       // We do not want absolute or relative paths in error messages, just the basename of the file
       "/useBaseNameForFileName",
 
diff --git a/Test/lit.site.cfg b/Test/lit.site.cfg
index 3bd80bdd8df..a07094ea04e 100644
--- a/Test/lit.site.cfg
+++ b/Test/lit.site.cfg
@@ -122,6 +122,8 @@ dafnyExecutable += ' -useBaseNameForFileName'
 # The following option adjusts the exit codes of the Dafny executable
 dafnyExecutable += ' -countVerificationErrors:0'
 
+dafnyExecutable += ' -vcsCores:2'
+
 # We do not want output such as "Compiled program written to Foo.cs"
 # from the compilers, since that changes with the target language
 dafnyExecutable += ' -compileVerbose:0'