usb-tools/amaranth
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

tests: keep comments up to date. NFC.

Browse source
This commit is contained in:
whitequark 2020-10-15 17:02:50 +00:00
parent d22b2c5604
commit e58233b441
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
nmigen/test/utils.py
View file

@ -49,7 +49,7 @@ class FHDLTestCase(unittest.TestCase):
shutil.rmtree(os.path.join(spec_dir, spec_name)) shutil.rmtree(os.path.join(spec_dir, spec_name))
if mode == "hybrid": 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" script = "setattr -unset init w:* a:nmigen.sample_reg %d"
mode = "bmc" mode = "bmc"
else: else:

2
tests/utils.py
View file

@ -41,7 +41,7 @@ class FHDLTestCase(unittest.TestCase):
shutil.rmtree(os.path.join(spec_dir, spec_name)) shutil.rmtree(os.path.join(spec_dir, spec_name))
if mode == "hybrid": 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" script = "setattr -unset init w:* a:nmigen.sample_reg %d"
mode = "bmc" mode = "bmc"
else: else: