Message in Korean (한국어)
예외를 throw한 후 사후 조건 실패: <var>X</var>
Unlocalized message
Postcondition failed after throwing an exception: <var>X</var>
Search by Google예외를 throw한 후 사후 조건 실패: <var>X</var>
Postcondition failed after throwing an exception: <var>X</var>
Search by Google