commit 29220af9bcb2b072b26913394c5a6404c7fe2426
author Philipp Wagner <phw@lowrisc.org> Thu Apr 22 17:57:32 2021 +0100
committer Philipp Wagner <mail@philipp-wagner.com> Fri Apr 23 09:12:54 2021 +0100
tree af3f2d7bd8b508fa4ae154d8ca54779e1e81470f
parent 6ec64d31b9f3d03c64b27ae4d4bdc537919973c2

[otbnsim] Run tests through mypy

Signed-off-by: Philipp Wagner <phw@lowrisc.org>

hw/ip/otbn/dv/otbnsim/Makefile

diff --git a/hw/ip/otbn/dv/otbnsim/Makefile b/hw/ip/otbn/dv/otbnsim/Makefile
index b0c11d6..78b5104 100644
--- a/hw/ip/otbn/dv/otbnsim/Makefile
+++ b/hw/ip/otbn/dv/otbnsim/Makefile
@@ -14,7 +14,7 @@
 	mkdir -p $@
 
 py-scripts := standalone.py stepped.py
-py-files   := $(wildcard *.py sim/*.py)
+py-files   := $(wildcard *.py sim/*.py test/*.py)
 py-libs    := $(filter-out $(py-scripts),$(py-files))
 
 lint-stamps := $(foreach scr,$(py-scripts),$(build-dir)/$(scr).stamp)