publicUnclaimed/

filament

Clone

Design files

Edmund LamMerge branch 'main' into flopoco-name-conflicts70914e6fe

This file is pinned to the selected release. Download the original to open it in your design tool.

Source

---CODE---
1
---STDERR---
error: component's body does not satisfy constraint on existentially-quantified parameter
  ┌─ tests/errors/existential/multi-assign.fil:2:10
  │
2 │     some L where L > 10;
  │          ^ cannot prove constraint on existentially quantified parameter

Compilation failed with 1 errors.
Run with --show-models to generate assignments for failing constraints.