Makefile: enable CircumSpect in Verilator simulation

Author: ezelioli

Makefile

@@ -105,7 +105,7 @@ VERILATOR_ARGS += --x-assign fast --x-initial fast
 VERILATOR_CFLAGS += -O3 -march=native -mtune=native
 
 verilator/croc.f: Bender.lock Bender.yml
-	$(BENDER) script verilator -t rtl -t verilator -t cve2_include_tracer -DSYNTHESIS -DVERILATOR -DTRACE_EXECUTION > $@
+	$(BENDER) script verilator -t rtl -t verilator -t cve2_include_tracer -t cspect -DSYNTHESIS -DVERILATOR -DTRACE_EXECUTION > $@
 
 verilator/obj_dir/Vtb_croc_soc: verilator/croc.f $(CSPECT_LIB) $(SW_HEX)
 	cd verilator; $(VERILATOR) $(VERILATOR_ARGS) -O3 --top tb_croc_soc -f croc.f $(CSPECT_LIB)