Loading files
e65e46941This file is pinned to the selected release. Download the original to open it in your design tool.
---CODE---
1
---STDERR---
error: parameter in exists binding is not existentially quantified
┌─ tests/errors/existential/invalid-assign.fil:2:5
│
2 │ W := 10;
│ ^ parameter is not existentially quantified
Compilation failed with 1 errors.
Run with --show-models to generate assignments for failing constraints.