Tweak

CTSRD-CHERI · Mar 27, 2023 · e25616f · e25616f
1 parent 8d3a914
commit e25616f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/de10-pro-e/Makefile b/de10-pro-e/Makefile
@@ -1,5 +1,5 @@
 SIMTIGHT_ROOT ?= $(realpath ..)
-NUM_SEEDS ?= 4
+NUM_SEEDS ?= 8
 PEBBLES_CABLE_ID ?= 1
 QPF = DE10_Pro.qpf
 

diff --git a/de10-pro/Makefile b/de10-pro/Makefile
@@ -1,5 +1,5 @@
 SIMTIGHT_ROOT ?= $(realpath ..)
-NUM_SEEDS ?= 4
+NUM_SEEDS ?= 8
 QPF = DE10_Pro.qpf
 
 .PHONY: one