From c776ef3fd4ea4ab8b041e0a35137408a84189888 Mon Sep 17 00:00:00 2001
From: Jordan Carlin <jordanmcarlin@gmail.com>
Date: Sun, 10 Nov 2024 22:20:51 -0800
Subject: [PATCH] enable assertions in Verilator

---
 sim/verilator/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sim/verilator/Makefile b/sim/verilator/Makefile
index 326c397de4..6a6ad267ad 100644
--- a/sim/verilator/Makefile
+++ b/sim/verilator/Makefile
@@ -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