User: Update security predicate strategy
@@ -271,23 +271,16 @@ sydr-fuzz: $(PROJECT).sydr$(SUFFIX) $(PROJECT)$(SUFFIX) FORCE
[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
