Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
b3b0e8603This 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.