Các khẳng định không quan tâm đến việc mã của bạn có không có lỗi. Chúng quan tâm đến việc kết quả có vi phạm các bất biến của giao thức hay không. Đơn giản vậy thôi.
185