能证明没有bug就行，参考seL4
【 在 xshoushoux 的大作中提到: 】
: 我的一个同事，写出来的代码，可读性/可维护性/简洁优美程度/写代码速度/架构设计能力，都只能说中规中矩，但真的就是几乎零bug，感觉也挺神奇的。
--
FROM 124.205.78.*