博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
搞不定Eclipse TPTP
阅读量:3591 次
发布时间:2019-05-20

本文共 1260 字,大约阅读时间需要 4 分钟。

这两天花了很大功夫想让tptp跑起来,所有的工作都弄好了,就差最后一步,总是在启动的时候抛出一个time-out exception:

org.eclipse.core.runtime.CoreException: A time-out occurred while attempting to launch the process

 at org.eclipse.tptp.trace.ui.internal.launcher.core.LauncherUtility.createCoreException(LauncherUtility.java:124)
 at org.eclipse.tptp.trace.ui.internal.launcher.core.LauncherUtility.createCoreException(LauncherUtility.java:132)
 at org.eclipse.tptp.platform.jvmti.client.internal.launcher.TIDelegateHelper.handleError(TIDelegateHelper.java:721)
 at org.eclipse.tptp.platform.jvmti.client.internal.launcher.TIDelegateHelper.launchProcess(TIDelegateHelper.java:637)
 at org.eclipse.tptp.platform.jvmti.client.internal.launcher.TIDelegateHelper.launch(TIDelegateHelper.java:385)
 at org.eclipse.tptp.platform.jvmti.client.internal.launcher.TIJavaLauncherDelegate.launch(TIJavaLauncherDelegate.java:37)
 at org.eclipse.tptp.trace.ui.internal.launcher.core.LauncherUtility.delegateInit(LauncherUtility.java:1164)
 at org.eclipse.tptp.trace.ui.provisional.launcher.PrimaryLaunchDelegate.run(PrimaryLaunchDelegate.java:195)
 at java.lang.Thread.run(Thread.java:619)

 

而且最奇怪的是,另外一个小的project能够正常启动,而我要profiling的是一个大项目。google了半天,发现这好像是一个bug,貌似大的project启动会有一些问题。无语了,没工夫继续调查了。等以后有时间再来看一看。

 

我用的是all-in-one-package版本。

转载地址:http://oltwn.baihongyu.com/

你可能感兴趣的文章
with root cause java.lang.UnsupportedOperationException: null
查看>>
js中的深拷贝
查看>>
JS时间标准格式化
查看>>
JS 整数与罗马数字相互转换(1~3999)
查看>>
js 自定义迭代器
查看>>
Django2.1-mysql学习(一)
查看>>
Django2.1-mysql学习(二)
查看>>
解决 Django 问题:No migrations to apply. 无法生成表
查看>>
Django2.1-mysql学习(三)
查看>>
Django2.1-mysql学习(四)
查看>>
Django2.1-mysql学习(五)
查看>>
Django2.1-mysql学习(六)
查看>>
Django2.1-mysql学习(后续)
查看>>
Django连接mysql-workbench异常
查看>>
CSS中的各种选择器及优先级
查看>>
JS中Math对象的常用简单方法
查看>>
如何自己传入style后的属性
查看>>
基于pytorch的人工智能分类垃圾桶
查看>>
git学习笔记V1
查看>>
markdown学习笔记V1
查看>>