hw/ip/otbn/dv/rig/mypy.ini - 3p/lowrisc/opentitan - Git at Google

 [mypy]
 # Add OTBN and OpenTitan util dirs to MYPYPATH
 mypy_path = $MYPY_CONFIG_FILE_DIR/../../util, $MYPY_CONFIG_FILE_DIR/../../../../../util
	[mypy]
	# Add OTBN and OpenTitan util dirs to MYPYPATH
	mypy_path = $MYPY_CONFIG_FILE_DIR/../../util, $MYPY_CONFIG_FILE_DIR/../../../../../util