jixuchongai

导航

 

2022年6月6日

摘要: OO第三单元总结 测试方法 专项测试 针对复杂度较高的特定方法,基于互测与公测限制进行数据构造 queryBlockSum: /*@ ensures \result == @ (\sum int i; 0 <= i && i < people.length && @ (\forall int j; 阅读全文
posted @ 2022-06-06 14:47 继续宠爱 阅读(19) 评论(0) 推荐(0) 编辑