From 43acc275b4995781f877ffcf1b2a8dac3c818be1 Mon Sep 17 00:00:00 2001
From: vit9696 <vit9696@users.noreply.github.com>
Date: Wed, 9 Mar 2022 21:29:41 +0300
Subject: [PATCH] User: Update security predicate strategy

---
 User/Makefile | 15 ++++-----------
 1 file changed, 4 insertions(+), 11 deletions(-)

diff --git a/User/Makefile b/User/Makefile
index 0d820df9..950ae0d8 100644
--- a/User/Makefile
+++ b/User/Makefile
@@ -268,26 +268,19 @@ sydr-fuzz: $(PROJECT).sydr$(SUFFIX) $(PROJECT)$(SUFFIX) FORCE
 	@$(MKDIR) $(FUZZ_DIR)
 	@rm -rf sydr-fuzz-out
 	@cat <<- EOF > sydr-fuzz.toml
-	 	[sydr]
+		[sydr]
 		args = "--solving-timeout 60 -s 900 -j $(FUZZ_JOBS)"
 		target = "$(PROJECT).sydr$(SUFFIX) @@"
-		jobs = 1
+		jobs = $(FUZZ_JOBS)
 
 		[libfuzzer]
 		path = "$(PROJECT)$(SUFFIX)"
 		args = "-jobs=$(FUZZ_JOBS) -workers=$(FUZZ_JOBS) -rss_limit_mb=$(FUZZ_MEM) $(FUZZ_DIR)"
 	EOF
-	UBSAN_OPTIONS='halt_on_error=1' sydr-fuzz -l debug run -f
+	UBSAN_OPTIONS='halt_on_error=1' sydr-fuzz run -f
 
 sydr-fuzz-security: $(PROJECT).sydr$(SUFFIX) $(PROJECT)$(SUFFIX) FORCE
-	@cat <<- EOF > sydr-fuzz.toml
-	 	[sydr]
-		args = "--security --no-invert"
-		target = "$(PROJECT).sydr$(SUFFIX) @@"
-		corpus = "sydr-fuzz-out/corpus"
-		jobs = $(FUZZ_JOBS)
-	EOF
-	sydr-fuzz -l debug security
+	sydr-fuzz security
 
 sydr-fuzz-import: $(PROJECT).sydr$(SUFFIX) $(PROJECT)$(SUFFIX) FORCE
 	@$(MKDIR) sydr-fuzz-out/corpus