Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
---CODE---
1
---STDERR---
error: cannot prove source-level fact
┌─ tests/errors/existential/sig.fil:10:5
│
10 │ assert F::L < 10;
│ ^^^^^^^^^^^^^^^^^ cannot prove source-level fact
Compilation failed with 1 errors.
Run with --show-models to generate assignments for failing constraints.
1c36f2b98This file is pinned to the selected release. Download the original to open it in your design tool.