Skip to content
Snippets Groups Projects
Commit 6fed8c2b authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Teach tutorial about StaticValueFindingError

parent 2c0311fa
No related branches found
No related tags found
No related merge requests found
Pipeline #
...@@ -1088,7 +1088,7 @@ Attempting to create this kernel results in an error: ...@@ -1088,7 +1088,7 @@ Attempting to create this kernel results in an error:
... # While trying to find shape axis 0 of argument 'out', the following exception occurred: ... # While trying to find shape axis 0 of argument 'out', the following exception occurred:
Traceback (most recent call last): Traceback (most recent call last):
... ...
ValueError: a static maximum was not found for PwAff '[n] -> { [(1)] : n = 1; [(n)] : n >= 2; [(1)] : n <= 0 }' StaticValueFindingError: a static maximum was not found for PwAff '[n] -> { [(1)] : n = 1; [(n)] : n >= 2; [(1)] : n <= 0 }'
The problem is that loopy cannot find a simple, universally valid expression The problem is that loopy cannot find a simple, universally valid expression
for the length of *out* in this case. Notice how the kernel accesses both the for the length of *out* in this case. Notice how the kernel accesses both the
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment