Might be related to #657 "Distinguish not yet initialized objects" Consider the variable 'location' in the following example: public class LinearSearch { //@ requires array != null; //@ requires ...
Needs-Triage The issue is new and needs to be triaged by a work group.
Later in the DATA step, when you want to process the variables in the array, you can refer to a variable by either its name or its array reference. For example, the names Reference and books{1} are ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results