Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
cdff47fcaThis file is pinned to the selected release. Download the original to open it in your design tool.
---CODE---
1
---STDERR---
error: Cannot prove constraint 10 >= max(G+2, G+11) - min(G, G+9)
┌─ tests/errors/share-range.fil:3:11
│
3 │ comp Main<G: 10>(
│ ^^^^^ event's delay must be longer than the difference between minimum start time and maximum end time of all invocations
·
12 │ m0 := M<G>(l0, r0);
│ - event use starts at `G' and ends at `G+2'
13 │ m1 := M<G+9>(l1, r1);
│ --- event use starts at `G+9' and ends at `G+11'
Compilation failed with 1 errors.
Run with --show-models to generate assignments for failing constraints.