User: Disable Sydr exit timeout and increase solving timeouts

acidanthera · Feb 4, 2022 · a29e2db · a29e2db
1 parent d9bb8f9
commit a29e2db
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/User/Makefile b/User/Makefile
@@ -268,10 +268,8 @@ sydr-fuzz: $(PROJECT).sydr$(SUFFIX) $(PROJECT)$(SUFFIX) FORCE
 	@$(MKDIR) $(FUZZ_DIR)
 	@rm -rf sydr-fuzz-out
 	@cat <<- EOF > sydr-fuzz.toml
-		exit-on-time = 7200
-
 	 	[sydr]
-		args = "-s 90 -j $(FUZZ_JOBS)"
+		args = "--solving-timeout 60 -s 900 -j $(FUZZ_JOBS)"
 		target = "$(PROJECT).sydr$(SUFFIX) @@"
 		jobs = 1