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