modelDeduce
Extends from Icons.TestCase.
Information
Tests that deduction of the range is possible for reduction expressions.Components
| Type | Name | Default | Description |
|---|---|---|---|
| Real[3] | x | {1, 2, 3} | |
| Real | y | sum(x[i] for i) |
Extends from Icons.TestCase.
| Type | Name | Default | Description |
|---|---|---|---|
| Real[3] | x | {1, 2, 3} | |
| Real | y | sum(x[i] for i) |