[Java Path Finder][JPF学习笔记][4]将JPF源码导入Eclipse

======================================================
注：本文源代码点此下载
======================================================

[java path finder][jpf学习笔记][4]将jpf源码导入eclipse

这篇日志很简单,考虑到有些师弟在学习jpf,这里总结些经验。

在eclipse中新建"java project",在新建的project的src图标上点击右键——"import"——"file system"——点击"browse"并定位到%jpf_home%\jpf-core\src\main,选择导入该目录。

在新建工程名上点击右键——"properties"——“java build path”——“add external jars”——选择目录%jpf_home%\jpf-core\build中的6个jar包,导入工程之后发现报错消失,接下来就可以正常调试jpf源码了。

绿色通道:好文要顶关注我收藏该文与我联系

posted on 2011-12-10 20:27 qysh123 阅读(15) 评论(0)编辑 收藏

注册用户登录后才能发表评论,请 登录 或 注册,返回博客园首页。

首页博问闪存新闻园子招聘知识库

最新it新闻:

·传诺基亚本周展示ace at&t将负责在美销售

·onstar向开发者开放专有平台api

·去哪儿网回应火车票诈骗事件：乃400电话所致

·中电信与交通部签协议 共同打造智慧交通

·sprint计划今年在11大城市商用lte

» 更多新闻...

最新知识库文章:

·持续集成之“everything is code”

·持续集成之“软件自我识别”

·持续集成之戏说check-in dance

·什么是闭包。
       我的理解

·什么是闭包(closure)？

» 更多知识库文章...

china-pub 2011秋季教材巡展

china-pub 计算机绝版图书按需印刷服务

======================================================
在最后，我邀请大家参加新浪APP，就是新浪免费送大家的一个空间，支持PHP+MySql，免费二级域名，免费域名绑定 这个是我邀请的地址，您通过这个链接注册即为我的好友，并获赠云豆500个，价值5元哦！短网址是http://t.cn/SXOiLh我创建的小站每天访客已经达到2000+了，每天挂广告赚50+元哦，呵呵，饭钱不愁了，\(^o^)/