2020年6月16日
关于golang代码测试的形式化逻辑测试
摘要： ## 一些想法1. 可被验证的逻辑才是强壮的逻辑2. 可被逻辑测试的代码才是高质量的代码，如果一段代码功能很强，能做很多事情，但是，无法被测试和验证，那么，或许某个瞬间，会出现，我们无法识别的问题。3. 大家公认的POW共识很强大了，认为这个世界不可能存在51%的攻击力了，但是，谁知道呢？4. **要么崩溃，要么就是可以被验证，不要保留隐藏的状态**## 关于golang的测试框架1. golan... 阅读全文
posted @ 2020-06-16 18:17 白云辉 阅读(288) 评论(0) 推荐(0) 编辑