文件名称:CBMCPluginSetingCfg
介绍说明－－下载内容均来自于网络，请自行研究使用
CodeLite IDE 的 CBMC 插件实现，CBMC 是一个C/C++ 程序验证工具。本插件研究 CodeLite IDE的插件接口，实现了 CBMC 界面（wxCrafter绘制），获取配置文件，并构建 CBMC 命令。当前为version1-CBMC plugin for CodeLite
(系统自动生成,下载前可以参看下载内容)
下载文件列表
CBMCPlugin
..........\CBMCCmd.cpp
..........\CBMCCmd.h
..........\CBMCConfigJson.cpp
..........\CBMCConfigJson.h
..........\CBMCConsolePanel.cpp
..........\CBMCConsolePanel.h
..........\CBMCDialog.cpp
..........\CBMCDialog.h
..........\cbmcplugin.cpp
..........\cbmcplugin.h
..........\CBMCPlugin.mk
..........\CBMCPlugin.project
..........\CBMCPlugin.txt
..........\CBMCPluginUI.cpp
..........\CBMCPluginUI.h
..........\CBMCPluginUI.wxcp
..........\CBMCPlugin_bitmaps.cpp
..........\CBMCPlugin_bitmaps.xrc
..........\WinDebugUnicode
..........\...............\.d
..........\...............\CBMCCmd.cpp.o
..........\...............\CBMCCmd.cpp.o.d
..........\...............\CBMCConfig.cpp.o
..........\...............\CBMCConfig.cpp.o.d
..........\...............\CBMCConfigJson.cpp.o
..........\...............\CBMCConfigJson.cpp.o.d
..........\...............\CBMCConsolePanel.cpp.o
..........\...............\CBMCConsolePanel.cpp.o.d
..........\...............\CBMCDialog.cpp.o
..........\...............\CBMCDialog.cpp.o.d
..........\...............\CBMCPlugin-dbg.dll
..........\...............\cbmcplugin.cpp.o
..........\...............\cbmcplugin.cpp.o.d
..........\...............\CBMCPluginUI.cpp.o
..........\...............\CBMCPluginUI.cpp.o.d
..........\...............\CBMCPlugin_bitmaps.cpp.o
..........\...............\CBMCPlugin_bitmaps.cpp.o.d
..........\...............\CBMCProcessor.cpp.o.d
..........\...............\CBMCUI.cpp.o
..........\...............\CBMCUI.cpp.o.d
..........\...............\CBMCUI_cbmcplugin_bitmaps.cpp.o
..........\...............\CBMCUI_cbmcplugin_bitmaps.cpp.o.d
..........\...............\MyDialog.cpp.o.d