Merge pull request #1083 from jordancarlin/verilator_assertions

Enable assertions in Verilator
This commit is contained in:
David Harris 2024-11-11 06:13:09 -08:00 committed by GitHub
commit 848c5feda7
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -6,7 +6,7 @@ SHELL := /bin/bash
.PHONY: profile run questa clean
# verilator configurations
OPT=
OPT=--assert
PARAMS?=--no-trace-top
NONPROF?=--stats
VERILATOR_DIR=${WALLY}/sim/verilator