Dont pre enumerate theories

This commit is contained in:
Rory&
2026-08-09 11:20:44 +02:00
parent 5ba283de41
commit 26da15d03c
+1 -1
View File
@@ -107,7 +107,7 @@ in
TEST_APPSETTINGS_PATH = testConfigPath;
};
serviceConfig = {
ExecStart = "${testBin} -reporter verbose -parallelAlgorithm aggressive -maxThreads unlimited -preEnumerateTheories";
ExecStart = "${testBin} -reporter verbose -parallelAlgorithm aggressive -maxThreads unlimited";
DynamicUser = true;
Restart = "no";
};