Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: m-labs/nmigen
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: b14f5572d8f7
Choose a base ref
...
head repository: m-labs/nmigen
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 98278a044d74
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Aug 28, 2019

  1. test.tools: use _toolchain.get_tool.

    emilazy authored and whitequark committed Aug 28, 2019
    Copy the full SHA
    98278a0 View commit details
Showing with 2 additions and 1 deletion.
  1. +2 −1 nmigen/test/tools.py
3 changes: 2 additions & 1 deletion nmigen/test/tools.py
Original file line number Diff line number Diff line change
@@ -11,6 +11,7 @@
from ..hdl.ast import *
from ..hdl.ir import *
from ..back import rtlil
from .._toolchain import get_tool


__all__ = ["FHDLTestCase"]
@@ -94,7 +95,7 @@ def assertFormal(self, spec, mode="bmc", depth=1):
script=script,
rtlil=rtlil.convert(Fragment.get(spec, platform="formal"))
)
with subprocess.Popen(["sby", "-f", "-d", spec_name], cwd=spec_dir,
with subprocess.Popen([get_tool("sby"), "-f", "-d", spec_name], cwd=spec_dir,
universal_newlines=True,
stdin=subprocess.PIPE, stdout=subprocess.PIPE) as proc:
stdout, stderr = proc.communicate(config)