学而时习之

摘要： 今天将CCI项目源码下载下来，整体编译时，看起来是成功了，但是打开Samples下的AnalysisToText时，却报错了。顺着提示找到Z3Wrapper进行编译，这时又报了错。提示说是没有libz3.dll、Microsoft.Z3.dll、Microsoft.Z... 阅读全文

摘要： 在使用VS开发时，有时断点会无法进入，特别是在一个项目中引用另一个类库项目时。如下图。我在一个项目中引用了自定义的控件MyControl类库，但在使用时发现，有些地方还需要调整，比如这里我需要增加一个GUID作为特殊标识，并输出以供测试。但是当我将这段代码加入进去后，... 阅读全文