From: Sebastien Bourdeauducq Date: Wed, 19 Aug 2020 04:36:00 +0000 (+0800) Subject: Clifford -> Claire X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6bdca7ed930b827b5d130a78b8355b1fa1e0f2a0;p=nmigen.git Clifford -> Claire --- 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: