标签： kleeg

 下面这段文字翻译于http://klee.github.io/getting-started/     KLEE搭建于LLVM平台，下面这些安装步骤基于LLVM 2.9（稳定版本），基于新版本L … Continue reading kleeg,klayout安装教程