filament

---CODE---
1
---STDERR---
error: length of bundle wire availability must be less than event's delay
  ┌─ tests/errors/bundle-delay.fil:2:20
  │
1 │ comp Bar[#P, #K]<G:1>(
  │                    - event's delay
2 │    in[#K]: for<#j> @[G+#j, G+#K] 16,
  │                 -  ^^^^^^^^^^^^^ bundle's liveness is |#K-#j|
  │                 │   
  │                 parameter ranges from 0 to #K-1

error: length of bundle wire availability must be less than event's delay
  ┌─ tests/errors/bundle-delay.fil:6:29
  │
1 │ comp Bar[#P, #K]<G:1>(
  │                    - event's delay
  ·
6 │     bundle f[#P+1]: for<#k> @[G+#k, G+#P] 16;
  │                          -  ^^^^^^^^^^^^^ bundle's liveness is |#P-#k|
  │                          │   
  │                          parameter ranges from 0 to #P+1-1

error: bundle's liveness interval is malformed: end is not strictly greater than start
  ┌─ tests/errors/bundle-delay.fil:6:29
  │
6 │     bundle f[#P+1]: for<#k> @[G+#k, G+#P] 16;
  │                          -  ^^^^^^^^^^^^^ bundle's liveness is |#P-#k|
  │                          │   
  │                          parameter ranges from 0 to #P+1-1

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