Add option to enable assertions in the Verilator testbench

This commit is contained in:
Cesar Fuguet 2025-06-17 13:34:30 +02:00 committed by Casamatta Yannick
parent 086e8ea75f
commit f01a036402

View file

@ -661,6 +661,7 @@ verilate_command := $(verilator) --no-timing verilator_config.vlt
-Wno-UNOPTFLAT \ -Wno-UNOPTFLAT \
-Wno-BLKANDNBLK \ -Wno-BLKANDNBLK \
-Wno-style \ -Wno-style \
$(if $(filter $(ASSERT),1),--assert,) \
$(if ($(PRELOAD)!=""), -DPRELOAD=1,) \ $(if ($(PRELOAD)!=""), -DPRELOAD=1,) \
$(if $(PROFILE),--stats --stats-vars --profile-cfuncs,) \ $(if $(PROFILE),--stats --stats-vars --profile-cfuncs,) \
$(if $(DEBUG), --trace-structs,) \ $(if $(DEBUG), --trace-structs,) \