they test properties for all values up to some limiting depth, pro- ... properties is that they can be tested automatically, perhaps reveal- ing bugs.
確定! 回上一頁