摘要： 1. assertion assertion相关的 |->和 |=>的区别： sequence_expr |-> property_expr : the end of sequence_expr is the start of property_expr. sequence_expr |=> pro 阅读全文