阳光是金色的

摘要： 这篇博客开始介绍VCC的用法，先用简单的例子介绍VCC的基本语法，当然面对更复杂的程序时，VCC也是将他简化然后分析的。 1.Assertion#include int main() { int x,y,z; if (x 中定义了#define _(...) /∗nothing∗/一个类... 阅读全文