第12章 ‘expect’和‘assume’

12.1 ‘expect’                                                        图12.1'expect'-基础  'expect'在程序块中与'assert'具有相同的语法（而不是语义）。请注意，'expect'只能在程序块中使用。它不能像assert / property / sequence那样在程序块之外使用，但要记住，'asser

>>阅读原文<<