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 ...
Некоторые результаты скрыты, так как они могут быть недоступны для вас.
Показать недоступные результаты