Message in Chinese (Traditional) (中文(繁體))
後置條件於擲回例外狀況後失敗: <var>X</var>
Unlocalized message
Postcondition failed after throwing an exception: <var>X</var>
Search by Google後置條件於擲回例外狀況後失敗: <var>X</var>
Postcondition failed after throwing an exception: <var>X</var>
Search by Google