Lib.rs

› 关键词 #verification #design-by-contract #precondition #invariants #hash-set

后置条件

  1. 合约

    设计-by-contract 属性

    v0.6.3 14K #invariants #verification #precondition #postcondition #design-by-contract #hash-set

  2. disabled_contracts

    合约 crate 的一个明显简化的版本

    v0.1.0 550 #invariants #verification #postcondition #precondition #design-by-contract