断言检查程序

断言检查程序

ピンイン duàn yán jiǎn chá chéng xù
日本語訳 アサーションチェッカー、表明検査システム