第三步三步论证 👁️ 1 人浏览 💬 0 人评论 ❤️ 添加收藏 第三步:把不变式证明的三步各验一次。这一步和第二步的区别是——它不依赖你挑了哪些输入。输出如 过/过/过。(本题用 g++ -std=c++17 -O0 编译。)
全部评论