tree 72b346d1625c73f75394ac3a8454841b792225f2
parent 6b451c71fa353c2d95cf27b47bc4e7f4b343e84d
author DrAceX <dracex@hotmail.com> 1608871267 -0500
committer DrAceX <dracex@hotmail.com> 1608871267 -0500

Add caravel level DV tests, which required minor module renaming (and rebuilding) in decred_controller.v.