From: whitequark Date: Thu, 15 Oct 2020 17:02:50 +0000 (+0000) Subject: tests: keep comments up to date. NFC. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8f28ab09af2d0853f07d56ef96b8e7a5dd29e4f8;p=nmigen.git tests: keep comments up to date. NFC. --- diff --git a/nmigen/test/utils.py b/nmigen/test/utils.py index e00dbac..556b601 100644 --- a/nmigen/test/utils.py +++ b/nmigen/test/utils.py @@ -49,7 +49,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: diff --git a/tests/utils.py b/tests/utils.py index c165cf9..9f2282f 100644 --- a/tests/utils.py +++ b/tests/utils.py @@ -41,7 +41,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: