Я пытаюсь получить значение записи в 2D-массиве до реализации и после нее. Но следующее постусловие не работает, потому что две записи в чем-то одинаковы (и да, я переопределил is_equal, так что ~ будет равноправием объектов):
ensure
designated_cell_changed:
get_entry (row + 1, column + 1) /~ old get_entry (row + 1, column + 1)
Почему я получаю нарушение постусловия designated_cell_changed
?