Loading files
---CODE---
1
---STDERR---
error: undefined port name: out
┌─ tests/errors/binding/port.fil:2:5
│
2 │ out = in;
│ ^^^ `out' is not a defined port
Compilation failed with 1 errors.
Run with --show-models to generate assignments for failing constraints.
83b774218This file is pinned to the selected release. Download the original to open it in your design tool.