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 ...

In the Introduction, we briefly mentioned variables. Variables store data in memory and are assigned with an equal sign, =. For example, the following statement creates a variable, 10, which is a 1x1 ...