From a29e2db3d03e040c4b3c2721804c3dbd1413d250 Mon Sep 17 00:00:00 2001 From: vit9696 Date: Sat, 5 Feb 2022 02:04:00 +0300 Subject: [PATCH] User: Disable Sydr exit timeout and increase solving timeouts --- User/Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/User/Makefile b/User/Makefile index 089cf8026c5..11f4f4e8a42 100644 --- 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