From 034ecc4d999ad0742047b5cfc4faa103373c9d0e Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Wed, 17 Apr 2019 16:08:37 +0800
Subject: [PATCH] nmigen: run tests in verbose mode

---
 eda/nmigen.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eda/nmigen.nix b/eda/nmigen.nix
index ae578d6..e7f8323 100644
--- a/eda/nmigen.nix
+++ b/eda/nmigen.nix
@@ -10,7 +10,7 @@ python3Packages.buildPythonPackage {
     sha256 = "17s9771f1swb9aajmddmpcslwzla5y17gzjzlzwk5kmgywxydq3v";
   };
 
-  checkPhase = "PATH=${yosys}/bin:${symbiyosys}/bin:${yices}/bin:$PATH python -m unittest discover nmigen.test";
+  checkPhase = "PATH=${yosys}/bin:${symbiyosys}/bin:${yices}/bin:$PATH python -m unittest discover nmigen.test -v";
 
   propagatedBuildInputs = [ python3Packages.bitarray python3Packages.pyvcd ];