From 6bdca7ed930b827b5d130a78b8355b1fa1e0f2a0 Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Wed, 19 Aug 2020 12:36:00 +0800 Subject: [PATCH] Clifford -> Claire --- nmigen/test/utils.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nmigen/test/utils.py b/nmigen/test/utils.py index 4124127..29bd5b6 100644 --- a/nmigen/test/utils.py +++ b/nmigen/test/utils.py @@ -67,7 +67,7 @@ class FHDLTestCase(unittest.TestCase): shutil.rmtree(os.path.join(spec_dir, spec_name)) if mode == "hybrid": - # A mix of BMC and k-induction, as per personal communication with Clifford Wolf. + # A mix of BMC and k-induction, as per personal communication with Claire Wolf. script = "setattr -unset init w:* a:nmigen.sample_reg %d" mode = "bmc" else: -- 2.30.2