Merge pull request #47 from riscv/debug-0.13
authorPalmer Dabbelt <palmer@dabbelt.com>
Tue, 16 May 2017 20:48:55 +0000 (13:48 -0700)
committerGitHub <noreply@github.com>
Tue, 16 May 2017 20:48:55 +0000 (13:48 -0700)
Debug 0.13 Tests


Trivial merge