Merge pull request #90 from richardxia/comment-out-multicore-reg-test
authorPalmer Dabbelt <palmer@dabbelt.com>
Tue, 31 Oct 2017 23:07:21 +0000 (16:07 -0700)
committerGitHub <noreply@github.com>
Tue, 31 Oct 2017 23:07:21 +0000 (16:07 -0700)
Temporarily comment out MulticoreRegTest due to flakiness.


Trivial merge