第12章 ‘expect’和‘assume’

12.1 ‘expect’                                                        圖12.1'expect'-基礎  'expect'在程序塊中與'assert'具有相同的語法（而不是語義）。請注意，'expect'只能在程序塊中使用。它不能像assert / property / sequence那樣在程序塊之外使用，但要記住，'asser

>>阅读原文<<