你即將離開本站

並前往http://spinroot.com/spin/Man/assert.html

Promela Reference -- assert(4) - Spin

assert - for stating simple safety properties. SYNTAX assert( expr ). EXECUTABILITY true. EFFECT none. DESCRIPTION An assert statement is ...

確定！ 回上一頁

查詢 「assert」的人也找了：

  1. assert意思
    2.
  2. assert中文
    3.
  3. assert用法python
    4.
  4. assert用法
    5.
  5. Python assert 用途
    6.
  6. assert c語言
    7.
  7. Deassert
    8.
  8. assert java用法
    9.