From 5e27790ad2c0a17e00a64d86851c5d8122beb029 Mon Sep 17 00:00:00 2001 From: Tei Im Date: Thu, 16 Jan 2025 13:59:17 -0800 Subject: [PATCH] Fix fuzztime --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a682875..e7fea13 100644 --- a/Makefile +++ b/Makefile @@ -28,7 +28,7 @@ test: build .PHONY: test fuzz-syscalls: build - go test -run NOTAREALTEST -v -fuzztime 1000s -fuzz=FuzzEverything ./rvgo/test --parallel 15 + go test -run NOTAREALTEST -v -fuzztime 100s -fuzz=FuzzEverything ./rvgo/test --parallel 15 .PHONY: fuzz-syscalls OP_PROGRAM_PATH ?= $(MONOREPO_ROOT)/op-program/bin-riscv/op-program-client-riscv.elf