From 7a2ffff9ac5471661c705404ed90d0693391d420 Mon Sep 17 00:00:00 2001 From: Andreas Kloeckner Date: Wed, 11 May 2016 00:04:31 -0500 Subject: [PATCH] Fix loopy tutorial doctests --- doc/tutorial.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/tutorial.rst b/doc/tutorial.rst index 8549f9952..cde36163d 100644 --- a/doc/tutorial.rst +++ b/doc/tutorial.rst @@ -1106,7 +1106,7 @@ Attempting to create this kernel results in an error: ... # While trying to find shape axis 0 of argument 'out', the following exception occurred: Traceback (most recent call last): ... - StaticValueFindingError: 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 }' 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 -- GitLab