API tools faq
paste
Advertisement
Guest User

Ultimate run error

a guest
Dec 6th, 2016
67
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 82.64 KB | None | 0 0
raw download clone embed print report
  1. !SESSION 2016-12-06 15:10:30.757 -----------------------------------------------
  2. eclipse.buildId=unknown
  3. java.version=1.8.0_101
  4. java.vendor=Oracle Corporation
  5. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  6. Framework arguments: -product UltimateCore.Debug
  7. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  8.  
  9. !ENTRY org.eclipse.equinox.app 0 0 2016-12-06 15:10:31.091
  10. !MESSAGE Product UltimateCore.Debug could not be found.
  11.  
  12. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies 4 0 2016-12-06 15:10:31.105
  13. !MESSAGE FrameworkEvent ERROR
  14. !STACK 0
  15. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies [65]
  16. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder
  17. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder; bundle-version="0.0.1"; singleton:="true"
  18. de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [155]
  19. Unresolved requirement: Require-Bundle: UltimateCore
  20. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  21. UltimateCore [165]
  22. Unresolved requirement: Require-Bundle: Library-Log4j2
  23. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  24. -> Export-Package: de.uni_freiburg.informatik.ultimate.boogie.type; bundle-symbolic-name="BoogiePreprocessor"; bundle-version="0.0.1"; version="0.0.0"
  25. BoogiePreprocessor [167]
  26. Unresolved requirement: Require-Bundle: UltimateCore
  27. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  28. Unresolved requirement: Require-Bundle: UltimateCore
  29. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  30.  
  31. at org.eclipse.osgi.container.Module.start(Module.java:444)
  32. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  33. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  34. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  35. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  36. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  37. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  38. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  39.  
  40. !ENTRY org.eclipse.cdt.core 4 0 2016-12-06 15:10:31.121
  41. !MESSAGE FrameworkEvent ERROR
  42. !STACK 0
  43. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.cdt.core [117]
  44. Unresolved requirement: Require-Bundle: com.google.gson
  45.  
  46. at org.eclipse.osgi.container.Module.start(Module.java:444)
  47. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  48. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  49. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  50. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  51. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  52. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  53. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  54.  
  55. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator 4 0 2016-12-06 15:10:31.122
  56. !MESSAGE FrameworkEvent ERROR
  57. !STACK 0
  58. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator [131]
  59. Unresolved requirement: Require-Bundle: org.eclipse.cdt.core
  60. -> Bundle-SymbolicName: org.eclipse.cdt.core; bundle-version="6.1.0.201609121658"; singleton:="true"
  61. org.eclipse.cdt.core [117]
  62. Unresolved requirement: Require-Bundle: com.google.gson
  63. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.witnessprinter
  64. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.witnessprinter; bundle-version="0.0.1"; singleton:="true"
  65. de.uni_freiburg.informatik.ultimate.witnessprinter [132]
  66. Unresolved requirement: Require-Bundle: UltimateCore
  67. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  68. UltimateCore [165]
  69. Unresolved requirement: Require-Bundle: Library-Log4j2
  70. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  71. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  72. Library-ModelCheckerUtils [156]
  73. Unresolved requirement: Require-Bundle: UltimateCore
  74. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  75. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.witnessparser
  76. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.witnessparser; bundle-version="0.0.1"; singleton:="true"
  77. de.uni_freiburg.informatik.ultimate.witnessparser [154]
  78. Unresolved requirement: Require-Bundle: UltimateCore
  79. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  80. Unresolved requirement: Require-Bundle: UltimateCore
  81. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  82.  
  83. at org.eclipse.osgi.container.Module.start(Module.java:444)
  84. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  85. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  86. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  87. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  88. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  89. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  90. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  91.  
  92. !ENTRY de.uni_freiburg.informatik.ultimate.witnessprinter 4 0 2016-12-06 15:10:31.123
  93. !MESSAGE FrameworkEvent ERROR
  94. !STACK 0
  95. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessprinter [132]
  96. Unresolved requirement: Require-Bundle: UltimateCore
  97. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  98. UltimateCore [165]
  99. Unresolved requirement: Require-Bundle: Library-Log4j2
  100. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  101. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  102. Library-ModelCheckerUtils [156]
  103. Unresolved requirement: Require-Bundle: SMTSolverBridge
  104. -> Bundle-SymbolicName: SMTSolverBridge; bundle-version="0.0.1"
  105. SMTSolverBridge [130]
  106. Unresolved requirement: Require-Bundle: UltimateCore
  107. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  108. Unresolved requirement: Require-Bundle: UltimateCore
  109. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  110. Unresolved requirement: Require-Bundle: BoogiePreprocessor
  111. -> Bundle-SymbolicName: BoogiePreprocessor; bundle-version="0.0.1"; singleton:="true"
  112. BoogiePreprocessor [167]
  113. Unresolved requirement: Require-Bundle: UltimateCore
  114. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  115.  
  116. at org.eclipse.osgi.container.Module.start(Module.java:444)
  117. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  118. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  119. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  120. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  121. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  122. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  123. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  124.  
  125. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter 4 0 2016-12-06 15:10:31.124
  126. !MESSAGE FrameworkEvent ERROR
  127. !STACK 0
  128. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter [134]
  129. Unresolved requirement: Require-Bundle: AutomataScriptParser
  130. -> Bundle-SymbolicName: AutomataScriptParser; bundle-version="0.0.1"; singleton:="true"
  131. AutomataScriptParser [147]
  132. Unresolved requirement: Require-Bundle: UltimateCore
  133. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  134. UltimateCore [165]
  135. Unresolved requirement: Require-Bundle: Library-Log4j2
  136. Unresolved requirement: Require-Bundle: UltimateCore
  137. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  138. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.automata
  139. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.automata; bundle-version="0.0.1"
  140. de.uni_freiburg.informatik.ultimate.automata [136]
  141. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates
  142. -> Export-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates; bundle-symbolic-name="Library-ModelCheckerUtils"; bundle-version="0.0.1"; version="0.0.0"
  143. Library-ModelCheckerUtils [156]
  144. Unresolved requirement: Require-Bundle: UltimateCore
  145. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  146. Unresolved requirement: Require-Bundle: UltimateCore
  147. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  148.  
  149. at org.eclipse.osgi.container.Module.start(Module.java:444)
  150. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  151. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  152. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  153. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  154. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  155. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  156. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  157.  
  158. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding 4 0 2016-12-06 15:10:31.126
  159. !MESSAGE FrameworkEvent ERROR
  160. !STACK 0
  161. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding [138]
  162. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder
  163. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder; bundle-version="0.0.1"; singleton:="true"
  164. de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [155]
  165. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  166. -> Export-Package: de.uni_freiburg.informatik.ultimate.boogie.type; bundle-symbolic-name="BoogiePreprocessor"; bundle-version="0.0.1"; version="0.0.0"
  167. BoogiePreprocessor [167]
  168. Unresolved requirement: Require-Bundle: UltimateCore
  169. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  170. UltimateCore [165]
  171. Unresolved requirement: Require-Bundle: Library-Log4j2
  172. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  173. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  174. Library-ModelCheckerUtils [156]
  175. Unresolved requirement: Require-Bundle: UltimateCore
  176. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  177. Unresolved requirement: Require-Bundle: BoogiePreprocessor
  178. -> Bundle-SymbolicName: BoogiePreprocessor; bundle-version="0.0.1"; singleton:="true"
  179. Unresolved requirement: Require-Bundle: UltimateCore
  180. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  181.  
  182. at org.eclipse.osgi.container.Module.start(Module.java:444)
  183. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  184. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  185. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  186. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  187. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  188. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  189. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  190.  
  191. !ENTRY de.uni_freiburg.informatik.ultimate.buchiprogramproduct 4 0 2016-12-06 15:10:31.127
  192. !MESSAGE FrameworkEvent ERROR
  193. !STACK 0
  194. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.buchiprogramproduct [139]
  195. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder
  196. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder; bundle-version="0.0.1"; singleton:="true"
  197. de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [155]
  198. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  199. -> Export-Package: de.uni_freiburg.informatik.ultimate.boogie.type; bundle-symbolic-name="BoogiePreprocessor"; bundle-version="0.0.1"; version="0.0.0"
  200. BoogiePreprocessor [167]
  201. Unresolved requirement: Require-Bundle: UltimateCore
  202. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  203. UltimateCore [165]
  204. Unresolved requirement: Require-Bundle: Library-Log4j2
  205. Unresolved requirement: Require-Bundle: UltimateCore
  206. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  207. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.automata
  208. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.automata; bundle-version="0.0.1"
  209. de.uni_freiburg.informatik.ultimate.automata [136]
  210. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates
  211. -> Export-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates; bundle-symbolic-name="Library-ModelCheckerUtils"; bundle-version="0.0.1"; version="0.0.0"
  212. Library-ModelCheckerUtils [156]
  213. Unresolved requirement: Require-Bundle: UltimateCore
  214. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  215. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  216. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  217. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  218. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  219. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  220. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  221. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  222. Unresolved requirement: Require-Bundle: BoogiePreprocessor
  223. -> Bundle-SymbolicName: BoogiePreprocessor; bundle-version="0.0.1"; singleton:="true"
  224. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.ltl2aut
  225. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.ltl2aut; bundle-version="0.0.1"; singleton:="true"
  226. de.uni_freiburg.informatik.ultimate.ltl2aut [170]
  227. Unresolved requirement: Require-Bundle: UltimateCore
  228. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  229.  
  230. at org.eclipse.osgi.container.Module.start(Module.java:444)
  231. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  232. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  233. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  234. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  235. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  236. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  237. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  238.  
  239. !ENTRY BoogieParser 4 0 2016-12-06 15:10:31.128
  240. !MESSAGE FrameworkEvent ERROR
  241. !STACK 0
  242. org.osgi.framework.BundleException: Could not resolve module: BoogieParser [141]
  243. Unresolved requirement: Require-Bundle: UltimateCore
  244. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  245. UltimateCore [165]
  246. Unresolved requirement: Require-Bundle: Library-Log4j2
  247.  
  248. at org.eclipse.osgi.container.Module.start(Module.java:444)
  249. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  250. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  251. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  252. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  253. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  254. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  255. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  256.  
  257. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction 4 0 2016-12-06 15:10:31.129
  258. !MESSAGE FrameworkEvent ERROR
  259. !STACK 0
  260. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [142]
  261. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  262. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  263. Library-ModelCheckerUtils [156]
  264. Unresolved requirement: Require-Bundle: SMTSolverBridge
  265. -> Bundle-SymbolicName: SMTSolverBridge; bundle-version="0.0.1"
  266. SMTSolverBridge [130]
  267. Unresolved requirement: Require-Bundle: UltimateCore
  268. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  269. UltimateCore [165]
  270. Unresolved requirement: Require-Bundle: Library-Log4j2
  271. Unresolved requirement: Require-Bundle: UltimateCore
  272. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  273. Unresolved requirement: Require-Bundle: BoogiePreprocessor
  274. -> Bundle-SymbolicName: BoogiePreprocessor; bundle-version="0.0.1"; singleton:="true"
  275. BoogiePreprocessor [167]
  276. Unresolved requirement: Require-Bundle: UltimateCore
  277. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  278. Unresolved requirement: Require-Bundle: UltimateCore
  279. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  280.  
  281. at org.eclipse.osgi.container.Module.start(Module.java:444)
  282. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  283. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  284. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  285. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  286. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  287. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  288. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  289.  
  290. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.procedureinliner 4 0 2016-12-06 15:10:31.130
  291. !MESSAGE FrameworkEvent ERROR
  292. !STACK 0
  293. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [144]
  294. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator
  295. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator; bundle-version="0.0.1"; singleton:="true"
  296. de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator [131]
  297. Unresolved requirement: Require-Bundle: UltimateCore
  298. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  299. UltimateCore [165]
  300. Unresolved requirement: Require-Bundle: Library-Log4j2
  301. Unresolved requirement: Require-Bundle: UltimateCore
  302. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  303. Unresolved requirement: Require-Bundle: BoogiePreprocessor
  304. -> Bundle-SymbolicName: BoogiePreprocessor; bundle-version="0.0.1"; singleton:="true"
  305. BoogiePreprocessor [167]
  306. Unresolved requirement: Require-Bundle: UltimateCore
  307. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  308.  
  309. at org.eclipse.osgi.container.Module.start(Module.java:444)
  310. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  311. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  312. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  313. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  314. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  315. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  316. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  317.  
  318. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 4 0 2016-12-06 15:10:31.131
  319. !MESSAGE FrameworkEvent ERROR
  320. !STACK 0
  321. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck [146]
  322. Unresolved requirement: Require-Bundle: UltimateCore
  323. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  324. UltimateCore [165]
  325. Unresolved requirement: Require-Bundle: Library-Log4j2
  326. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder
  327. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder; bundle-version="0.0.1"; singleton:="true"
  328. de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [155]
  329. Unresolved requirement: Require-Bundle: UltimateCore
  330. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  331. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  332. -> Export-Package: de.uni_freiburg.informatik.ultimate.boogie.type; bundle-symbolic-name="BoogiePreprocessor"; bundle-version="0.0.1"; version="0.0.0"
  333. BoogiePreprocessor [167]
  334. Unresolved requirement: Require-Bundle: UltimateCore
  335. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  336. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.automata
  337. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.automata; bundle-version="0.0.1"
  338. de.uni_freiburg.informatik.ultimate.automata [136]
  339. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates
  340. -> Export-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates; bundle-symbolic-name="Library-ModelCheckerUtils"; bundle-version="0.0.1"; version="0.0.0"
  341. Library-ModelCheckerUtils [156]
  342. Unresolved requirement: Require-Bundle: UltimateCore
  343. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  344. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  345. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  346. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [142]
  347. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  348. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  349. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  350. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  351.  
  352. at org.eclipse.osgi.container.Module.start(Module.java:444)
  353. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  354. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  355. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  356. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  357. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  358. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  359. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  360.  
  361. !ENTRY AutomataScriptParser 4 0 2016-12-06 15:10:31.133
  362. !MESSAGE FrameworkEvent ERROR
  363. !STACK 0
  364. org.osgi.framework.BundleException: Could not resolve module: AutomataScriptParser [147]
  365. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.automata; bundle-version="0.0.1"
  366. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.automata; bundle-version="0.0.1"
  367. de.uni_freiburg.informatik.ultimate.automata [136]
  368. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates
  369. -> Export-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates; bundle-symbolic-name="Library-ModelCheckerUtils"; bundle-version="0.0.1"; version="0.0.0"
  370. Library-ModelCheckerUtils [156]
  371. Unresolved requirement: Require-Bundle: UltimateCore
  372. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  373. UltimateCore [165]
  374. Unresolved requirement: Require-Bundle: Library-Log4j2
  375. Unresolved requirement: Require-Bundle: UltimateCore
  376. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  377. Unresolved requirement: Require-Bundle: UltimateCore
  378. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  379.  
  380. at org.eclipse.osgi.container.Module.start(Module.java:444)
  381. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  382. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  383. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  384. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  385. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  386. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  387. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  388.  
  389. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent 4 0 2016-12-06 15:10:31.134
  390. !MESSAGE FrameworkEvent ERROR
  391. !STACK 0
  392. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [148]
  393. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  394. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  395. Library-ModelCheckerUtils [156]
  396. Unresolved requirement: Require-Bundle: UltimateCore
  397. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  398. UltimateCore [165]
  399. Unresolved requirement: Require-Bundle: Library-Log4j2
  400. Unresolved requirement: Require-Bundle: UltimateCore
  401. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  402. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder
  403. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder; bundle-version="0.0.1"; singleton:="true"
  404. de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [155]
  405. Unresolved requirement: Require-Bundle: UltimateCore
  406. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  407. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  408. -> Export-Package: de.uni_freiburg.informatik.ultimate.boogie.type; bundle-symbolic-name="BoogiePreprocessor"; bundle-version="0.0.1"; version="0.0.0"
  409. BoogiePreprocessor [167]
  410. Unresolved requirement: Require-Bundle: UltimateCore
  411. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  412. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  413. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  414. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [142]
  415. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  416. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  417. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.automata
  418. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.automata; bundle-version="0.0.1"
  419. de.uni_freiburg.informatik.ultimate.automata [136]
  420. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates
  421. -> Export-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates; bundle-symbolic-name="Library-ModelCheckerUtils"; bundle-version="0.0.1"; version="0.0.0"
  422.  
  423. at org.eclipse.osgi.container.Module.start(Module.java:444)
  424. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  425. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  426. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  427. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  428. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  429. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  430. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  431.  
  432. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions 4 0 2016-12-06 15:10:31.135
  433. !MESSAGE FrameworkEvent ERROR
  434. !STACK 0
  435. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions [149]
  436. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder
  437. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder; bundle-version="0.0.1"; singleton:="true"
  438. de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [155]
  439. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  440. -> Export-Package: de.uni_freiburg.informatik.ultimate.boogie.type; bundle-symbolic-name="BoogiePreprocessor"; bundle-version="0.0.1"; version="0.0.0"
  441. BoogiePreprocessor [167]
  442. Unresolved requirement: Require-Bundle: UltimateCore
  443. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  444. UltimateCore [165]
  445. Unresolved requirement: Require-Bundle: Library-Log4j2
  446. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  447. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  448. Library-ModelCheckerUtils [156]
  449. Unresolved requirement: Require-Bundle: UltimateCore
  450. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  451. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2
  452. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2; bundle-version="0.0.1"; singleton:="true"
  453. de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 [150]
  454. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  455. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  456. Unresolved requirement: Require-Bundle: BoogiePreprocessor
  457. -> Bundle-SymbolicName: BoogiePreprocessor; bundle-version="0.0.1"; singleton:="true"
  458. Unresolved requirement: Require-Bundle: UltimateCore
  459. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  460.  
  461. at org.eclipse.osgi.container.Module.start(Module.java:444)
  462. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  463. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  464. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  465. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  466. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  467. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  468. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  469.  
  470. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 4 0 2016-12-06 15:10:31.137
  471. !MESSAGE FrameworkEvent ERROR
  472. !STACK 0
  473. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 [150]
  474. Unresolved requirement: Require-Bundle: UltimateCore
  475. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  476. UltimateCore [165]
  477. Unresolved requirement: Require-Bundle: Library-Log4j2
  478. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  479. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  480. Library-ModelCheckerUtils [156]
  481. Unresolved requirement: Require-Bundle: SMTSolverBridge
  482. -> Bundle-SymbolicName: SMTSolverBridge; bundle-version="0.0.1"
  483. SMTSolverBridge [130]
  484. Unresolved requirement: Require-Bundle: UltimateCore
  485. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  486. Unresolved requirement: Require-Bundle: UltimateCore
  487. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  488. Unresolved requirement: Require-Bundle: BoogiePreprocessor
  489. -> Bundle-SymbolicName: BoogiePreprocessor; bundle-version="0.0.1"; singleton:="true"
  490. BoogiePreprocessor [167]
  491. Unresolved requirement: Require-Bundle: UltimateCore
  492. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  493.  
  494. at org.eclipse.osgi.container.Module.start(Module.java:444)
  495. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  496. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  497. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  498. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  499. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  500. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  501. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  502.  
  503. !ENTRY CDTParser 4 0 2016-12-06 15:10:31.138
  504. !MESSAGE FrameworkEvent ERROR
  505. !STACK 0
  506. org.osgi.framework.BundleException: Could not resolve module: CDTParser [152]
  507. Unresolved requirement: Require-Bundle: UltimateCore
  508. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  509. UltimateCore [165]
  510. Unresolved requirement: Require-Bundle: Library-Log4j2
  511. Unresolved requirement: Require-Bundle: org.eclipse.cdt.core; bundle-version="5.6.0"
  512. -> Bundle-SymbolicName: org.eclipse.cdt.core; bundle-version="6.1.0.201609121658"; singleton:="true"
  513. org.eclipse.cdt.core [117]
  514. Unresolved requirement: Require-Bundle: com.google.gson
  515.  
  516. at org.eclipse.osgi.container.Module.start(Module.java:444)
  517. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  518. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  519. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  520. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  521. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  522. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  523. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  524.  
  525. !ENTRY de.uni_freiburg.informatik.ultimate.witnessparser 4 0 2016-12-06 15:10:31.139
  526. !MESSAGE FrameworkEvent ERROR
  527. !STACK 0
  528. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessparser [154]
  529. Unresolved requirement: Require-Bundle: UltimateCore
  530. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  531. UltimateCore [165]
  532. Unresolved requirement: Require-Bundle: Library-Log4j2
  533.  
  534. at org.eclipse.osgi.container.Module.start(Module.java:444)
  535. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  536. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  537. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  538. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  539. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  540. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  541. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  542.  
  543. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder 4 0 2016-12-06 15:10:31.140
  544. !MESSAGE FrameworkEvent ERROR
  545. !STACK 0
  546. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [155]
  547. Unresolved requirement: Require-Bundle: UltimateCore
  548. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  549. UltimateCore [165]
  550. Unresolved requirement: Require-Bundle: Library-Log4j2
  551. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  552. -> Export-Package: de.uni_freiburg.informatik.ultimate.boogie.type; bundle-symbolic-name="BoogiePreprocessor"; bundle-version="0.0.1"; version="0.0.0"
  553. BoogiePreprocessor [167]
  554. Unresolved requirement: Require-Bundle: BoogieParser
  555. -> Bundle-SymbolicName: BoogieParser; bundle-version="0.0.1"; singleton:="true"
  556. BoogieParser [141]
  557. Unresolved requirement: Require-Bundle: UltimateCore
  558. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  559. Unresolved requirement: Require-Bundle: UltimateCore
  560. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  561.  
  562. at org.eclipse.osgi.container.Module.start(Module.java:444)
  563. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  564. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  565. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  566. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  567. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  568. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  569. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  570.  
  571. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer 4 0 2016-12-06 15:10:31.141
  572. !MESSAGE FrameworkEvent ERROR
  573. !STACK 0
  574. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  575. Unresolved requirement: Require-Bundle: UltimateCore
  576. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  577. UltimateCore [165]
  578. Unresolved requirement: Require-Bundle: Library-Log4j2
  579. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  580. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  581. Library-ModelCheckerUtils [156]
  582. Unresolved requirement: Require-Bundle: SMTSolverBridge
  583. -> Bundle-SymbolicName: SMTSolverBridge; bundle-version="0.0.1"
  584. SMTSolverBridge [130]
  585. Unresolved requirement: Require-Bundle: UltimateCore
  586. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  587. Unresolved requirement: Require-Bundle: UltimateCore
  588. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  589. Unresolved requirement: Require-Bundle: BoogiePreprocessor
  590. -> Bundle-SymbolicName: BoogiePreprocessor; bundle-version="0.0.1"; singleton:="true"
  591. BoogiePreprocessor [167]
  592. Unresolved requirement: Require-Bundle: UltimateCore
  593. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  594.  
  595. at org.eclipse.osgi.container.Module.start(Module.java:444)
  596. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  597. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  598. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  599. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  600. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  601. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  602. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  603.  
  604. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker 4 0 2016-12-06 15:10:31.142
  605. !MESSAGE FrameworkEvent ERROR
  606. !STACK 0
  607. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker [158]
  608. Unresolved requirement: Require-Bundle: UltimateCore
  609. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  610. UltimateCore [165]
  611. Unresolved requirement: Require-Bundle: Library-Log4j2
  612. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  613. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  614. Library-ModelCheckerUtils [156]
  615. Unresolved requirement: Require-Bundle: SMTSolverBridge
  616. -> Bundle-SymbolicName: SMTSolverBridge; bundle-version="0.0.1"
  617. SMTSolverBridge [130]
  618. Unresolved requirement: Require-Bundle: UltimateCore
  619. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  620. Unresolved requirement: Require-Bundle: UltimateCore
  621. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  622. Unresolved requirement: Require-Bundle: BoogiePreprocessor
  623. -> Bundle-SymbolicName: BoogiePreprocessor; bundle-version="0.0.1"; singleton:="true"
  624. BoogiePreprocessor [167]
  625. Unresolved requirement: Require-Bundle: UltimateCore
  626. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  627. Unresolved requirement: Require-Bundle: Library-LassoRanker
  628. -> Bundle-SymbolicName: Library-LassoRanker; bundle-version="0.9.5"
  629. Library-LassoRanker [159]
  630. Unresolved requirement: Require-Bundle: UltimateCore
  631. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  632.  
  633. at org.eclipse.osgi.container.Module.start(Module.java:444)
  634. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  635. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  636. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  637. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  638. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  639. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  640. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  641.  
  642. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization 4 0 2016-12-06 15:10:31.142
  643. !MESSAGE FrameworkEvent ERROR
  644. !STACK 0
  645. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization [160]
  646. Unresolved requirement: Require-Bundle: UltimateCore
  647. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  648. UltimateCore [165]
  649. Unresolved requirement: Require-Bundle: Library-Log4j2
  650. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.gui
  651. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.gui; bundle-version="0.0.1"; singleton:="true"
  652. de.uni_freiburg.informatik.ultimate.gui [153]
  653. Unresolved requirement: Require-Bundle: UltimateCore
  654. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  655.  
  656. at org.eclipse.osgi.container.Module.start(Module.java:444)
  657. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  658. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  659. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  660. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  661. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  662. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  663. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  664.  
  665. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.printer 4 0 2016-12-06 15:10:31.143
  666. !MESSAGE FrameworkEvent ERROR
  667. !STACK 0
  668. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.printer [164]
  669. Unresolved requirement: Require-Bundle: BoogieParser
  670. -> Bundle-SymbolicName: BoogieParser; bundle-version="0.0.1"; singleton:="true"
  671. BoogieParser [141]
  672. Unresolved requirement: Require-Bundle: UltimateCore
  673. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  674. UltimateCore [165]
  675. Unresolved requirement: Require-Bundle: Library-Log4j2
  676. Unresolved requirement: Require-Bundle: UltimateCore
  677. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  678.  
  679. at org.eclipse.osgi.container.Module.start(Module.java:444)
  680. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  681. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  682. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  683. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  684. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  685. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  686. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  687.  
  688. !ENTRY UltimateCore 4 0 2016-12-06 15:10:31.143
  689. !MESSAGE FrameworkEvent ERROR
  690. !STACK 0
  691. org.osgi.framework.BundleException: Could not resolve module: UltimateCore [165]
  692. Unresolved requirement: Require-Bundle: Library-Log4j2
  693.  
  694. at org.eclipse.osgi.container.Module.start(Module.java:444)
  695. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  696. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  697. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  698. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  699. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  700. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  701. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  702.  
  703. !ENTRY BoogiePreprocessor 4 0 2016-12-06 15:10:31.145
  704. !MESSAGE FrameworkEvent ERROR
  705. !STACK 0
  706. org.osgi.framework.BundleException: Could not resolve module: BoogiePreprocessor [167]
  707. Unresolved requirement: Require-Bundle: BoogieParser
  708. -> Bundle-SymbolicName: BoogieParser; bundle-version="0.0.1"; singleton:="true"
  709. BoogieParser [141]
  710. Unresolved requirement: Require-Bundle: UltimateCore
  711. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  712. UltimateCore [165]
  713. Unresolved requirement: Require-Bundle: Library-Log4j2
  714. Unresolved requirement: Require-Bundle: UltimateCore
  715. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  716.  
  717. at org.eclipse.osgi.container.Module.start(Module.java:444)
  718. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  719. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  720. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  721. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  722. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  723. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  724. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  725.  
  726. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas 4 0 2016-12-06 15:10:31.146
  727. !MESSAGE FrameworkEvent ERROR
  728. !STACK 0
  729. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas [168]
  730. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.automata
  731. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.automata; bundle-version="0.0.1"
  732. de.uni_freiburg.informatik.ultimate.automata [136]
  733. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates
  734. -> Export-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates; bundle-symbolic-name="Library-ModelCheckerUtils"; bundle-version="0.0.1"; version="0.0.0"
  735. Library-ModelCheckerUtils [156]
  736. Unresolved requirement: Require-Bundle: UltimateCore
  737. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  738. UltimateCore [165]
  739. Unresolved requirement: Require-Bundle: Library-Log4j2
  740. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  741. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  742. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [142]
  743. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  744. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  745. Unresolved requirement: Require-Bundle: BoogiePreprocessor
  746. -> Bundle-SymbolicName: BoogiePreprocessor; bundle-version="0.0.1"; singleton:="true"
  747. BoogiePreprocessor [167]
  748. Unresolved requirement: Require-Bundle: UltimateCore
  749. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  750. Unresolved requirement: Require-Bundle: UltimateCore
  751. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  752. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  753. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  754. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent
  755. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent; bundle-version="0.0.1"; singleton:="true"
  756. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [148]
  757. Unresolved requirement: Require-Bundle: UltimateCore
  758. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  759. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions
  760. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions; bundle-version="0.0.1"; singleton:="true"
  761. de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions [149]
  762. Unresolved requirement: Require-Bundle: UltimateCore
  763. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  764. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder
  765. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder; bundle-version="0.0.1"; singleton:="true"
  766. de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [155]
  767. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  768. -> Export-Package: de.uni_freiburg.informatik.ultimate.boogie.type; bundle-symbolic-name="BoogiePreprocessor"; bundle-version="0.0.1"; version="0.0.0"
  769.  
  770. at org.eclipse.osgi.container.Module.start(Module.java:444)
  771. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  772. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  773. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  774. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  775. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  776. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  777. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  778.  
  779. !ENTRY PEAtoBoogie 4 0 2016-12-06 15:10:31.147
  780. !MESSAGE FrameworkEvent ERROR
  781. !STACK 0
  782. org.osgi.framework.BundleException: Could not resolve module: PEAtoBoogie [169]
  783. Unresolved requirement: Require-Bundle: UltimateCore
  784. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  785. UltimateCore [165]
  786. Unresolved requirement: Require-Bundle: Library-Log4j2
  787.  
  788. at org.eclipse.osgi.container.Module.start(Module.java:444)
  789. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  790. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  791. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  792. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  793. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  794. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  795. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  796.  
  797. !ENTRY de.uni_freiburg.informatik.ultimate.ltl2aut 4 0 2016-12-06 15:10:31.149
  798. !MESSAGE FrameworkEvent ERROR
  799. !STACK 0
  800. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.ltl2aut [170]
  801. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder
  802. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder; bundle-version="0.0.1"; singleton:="true"
  803. de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [155]
  804. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  805. -> Export-Package: de.uni_freiburg.informatik.ultimate.boogie.type; bundle-symbolic-name="BoogiePreprocessor"; bundle-version="0.0.1"; version="0.0.0"
  806. BoogiePreprocessor [167]
  807. Unresolved requirement: Require-Bundle: UltimateCore
  808. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  809. UltimateCore [165]
  810. Unresolved requirement: Require-Bundle: Library-Log4j2
  811. Unresolved requirement: Require-Bundle: BoogieParser
  812. -> Bundle-SymbolicName: BoogieParser; bundle-version="0.0.1"; singleton:="true"
  813. BoogieParser [141]
  814. Unresolved requirement: Require-Bundle: UltimateCore
  815. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  816. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  817. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  818. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  819. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  820. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  821. Library-ModelCheckerUtils [156]
  822. Unresolved requirement: Require-Bundle: UltimateCore
  823. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  824. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  825. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  826. Unresolved requirement: Require-Bundle: UltimateCore
  827. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  828. Unresolved requirement: Require-Bundle: BoogiePreprocessor
  829. -> Bundle-SymbolicName: BoogiePreprocessor; bundle-version="0.0.1"; singleton:="true"
  830. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.automata
  831. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.automata; bundle-version="0.0.1"
  832. de.uni_freiburg.informatik.ultimate.automata [136]
  833. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates
  834. -> Export-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates; bundle-symbolic-name="Library-ModelCheckerUtils"; bundle-version="0.0.1"; version="0.0.0"
  835.  
  836. at org.eclipse.osgi.container.Module.start(Module.java:444)
  837. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  838. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  839. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  840. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  841. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  842. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  843. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  844.  
  845. !ENTRY GUIGeneratedPreferencePages 4 0 2016-12-06 15:10:31.150
  846. !MESSAGE FrameworkEvent ERROR
  847. !STACK 0
  848. org.osgi.framework.BundleException: Could not resolve module: GUIGeneratedPreferencePages [133]
  849. Unresolved requirement: Require-Bundle: UltimateCore
  850. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  851. UltimateCore [165]
  852. Unresolved requirement: Require-Bundle: Library-Log4j2
  853.  
  854. at org.eclipse.osgi.container.Module.start(Module.java:444)
  855. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  856. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1600)
  857. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  858. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  859. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  860. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  861. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  862.  
  863. !ENTRY org.eclipse.osgi 4 0 2016-12-06 15:10:31.150
  864. !MESSAGE Bundle initial@reference:file:../../src/ultimate/trunk/source/GUIGeneratedPreferencePages/ was not resolved.
  865.  
  866. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent 2 0 2016-12-06 15:10:31.157
  867. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [148]
  868. Unresolved requirement: Require-Bundle: UltimateCore
  869. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  870. UltimateCore [165]
  871. Unresolved requirement: Require-Bundle: Library-Log4j2
  872.  
  873.  
  874. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding 2 0 2016-12-06 15:10:31.157
  875. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding [138]
  876. Unresolved requirement: Require-Bundle: UltimateCore
  877. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  878. UltimateCore [165]
  879. Unresolved requirement: Require-Bundle: Library-Log4j2
  880.  
  881.  
  882. !ENTRY UltimateCore 2 0 2016-12-06 15:10:31.157
  883. !MESSAGE Could not resolve module: UltimateCore [165]
  884. Unresolved requirement: Require-Bundle: Library-Log4j2
  885.  
  886.  
  887. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies 2 0 2016-12-06 15:10:31.157
  888. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies [65]
  889. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder
  890. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder; bundle-version="0.0.1"; singleton:="true"
  891. de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [155]
  892. Unresolved requirement: Require-Bundle: UltimateCore
  893. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  894. UltimateCore [165]
  895. Unresolved requirement: Require-Bundle: Library-Log4j2
  896. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  897. -> Export-Package: de.uni_freiburg.informatik.ultimate.boogie.type; bundle-symbolic-name="BoogiePreprocessor"; bundle-version="0.0.1"; version="0.0.0"
  898. BoogiePreprocessor [167]
  899. Unresolved requirement: Require-Bundle: UltimateCore
  900. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  901. Unresolved requirement: Require-Bundle: UltimateCore
  902. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  903.  
  904.  
  905. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 2 0 2016-12-06 15:10:31.157
  906. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck [146]
  907. Unresolved requirement: Require-Bundle: UltimateCore
  908. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  909. UltimateCore [165]
  910. Unresolved requirement: Require-Bundle: Library-Log4j2
  911.  
  912.  
  913. !ENTRY de.uni_freiburg.informatik.ultimate.gui 2 0 2016-12-06 15:10:31.157
  914. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.gui [153]
  915. Unresolved requirement: Require-Bundle: UltimateCore
  916. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  917. UltimateCore [165]
  918. Unresolved requirement: Require-Bundle: Library-Log4j2
  919.  
  920.  
  921. !ENTRY AutomataScriptParser 2 0 2016-12-06 15:10:31.157
  922. !MESSAGE Could not resolve module: AutomataScriptParser [147]
  923. Unresolved requirement: Require-Bundle: UltimateCore
  924. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  925. UltimateCore [165]
  926. Unresolved requirement: Require-Bundle: Library-Log4j2
  927.  
  928.  
  929. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.printer 2 0 2016-12-06 15:10:31.157
  930. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.printer [164]
  931. Unresolved requirement: Require-Bundle: UltimateCore
  932. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  933. UltimateCore [165]
  934. Unresolved requirement: Require-Bundle: Library-Log4j2
  935.  
  936.  
  937. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 2 0 2016-12-06 15:10:31.158
  938. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 [150]
  939. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  940. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  941. Library-ModelCheckerUtils [156]
  942. Unresolved requirement: Require-Bundle: UltimateCore
  943. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  944. UltimateCore [165]
  945. Unresolved requirement: Require-Bundle: Library-Log4j2
  946.  
  947.  
  948. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder 2 0 2016-12-06 15:10:31.158
  949. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [155]
  950. Unresolved requirement: Require-Bundle: UltimateCore
  951. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  952. UltimateCore [165]
  953. Unresolved requirement: Require-Bundle: Library-Log4j2
  954. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  955. -> Export-Package: de.uni_freiburg.informatik.ultimate.boogie.type; bundle-symbolic-name="BoogiePreprocessor"; bundle-version="0.0.1"; version="0.0.0"
  956. BoogiePreprocessor [167]
  957. Unresolved requirement: Require-Bundle: UltimateCore
  958. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  959.  
  960.  
  961. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer 2 0 2016-12-06 15:10:31.159
  962. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  963. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  964. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  965. Library-ModelCheckerUtils [156]
  966. Unresolved requirement: Require-Bundle: UltimateCore
  967. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  968. UltimateCore [165]
  969. Unresolved requirement: Require-Bundle: Library-Log4j2
  970.  
  971.  
  972. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator 2 0 2016-12-06 15:10:31.159
  973. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator [131]
  974. Unresolved requirement: Require-Bundle: UltimateCore
  975. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  976. UltimateCore [165]
  977. Unresolved requirement: Require-Bundle: Library-Log4j2
  978.  
  979.  
  980. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions 2 0 2016-12-06 15:10:31.159
  981. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions [149]
  982. Unresolved requirement: Require-Bundle: UltimateCore
  983. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  984. UltimateCore [165]
  985. Unresolved requirement: Require-Bundle: Library-Log4j2
  986.  
  987.  
  988. !ENTRY BoogiePreprocessor 2 0 2016-12-06 15:10:31.159
  989. !MESSAGE Could not resolve module: BoogiePreprocessor [167]
  990. Unresolved requirement: Require-Bundle: UltimateCore
  991. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  992. UltimateCore [165]
  993. Unresolved requirement: Require-Bundle: Library-Log4j2
  994.  
  995.  
  996. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction 2 0 2016-12-06 15:10:31.159
  997. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [142]
  998. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  999. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  1000. Library-ModelCheckerUtils [156]
  1001. Unresolved requirement: Require-Bundle: UltimateCore
  1002. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1003. UltimateCore [165]
  1004. Unresolved requirement: Require-Bundle: Library-Log4j2
  1005.  
  1006.  
  1007. !ENTRY CDTParser 2 0 2016-12-06 15:10:31.159
  1008. !MESSAGE Could not resolve module: CDTParser [152]
  1009. Unresolved requirement: Require-Bundle: UltimateCore
  1010. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1011. UltimateCore [165]
  1012. Unresolved requirement: Require-Bundle: Library-Log4j2
  1013.  
  1014.  
  1015. !ENTRY GUILoggingWindow 2 0 2016-12-06 15:10:31.159
  1016. !MESSAGE Could not resolve module: GUILoggingWindow [135]
  1017. Unresolved requirement: Require-Bundle: UltimateCore
  1018. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1019. UltimateCore [165]
  1020. Unresolved requirement: Require-Bundle: Library-Log4j2
  1021.  
  1022.  
  1023. !ENTRY Library-ModelCheckerUtils 2 0 2016-12-06 15:10:31.159
  1024. !MESSAGE Could not resolve module: Library-ModelCheckerUtils [156]
  1025. Unresolved requirement: Require-Bundle: UltimateCore
  1026. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1027. UltimateCore [165]
  1028. Unresolved requirement: Require-Bundle: Library-Log4j2
  1029.  
  1030.  
  1031. !ENTRY BoogieParser 2 0 2016-12-06 15:10:31.159
  1032. !MESSAGE Could not resolve module: BoogieParser [141]
  1033. Unresolved requirement: Require-Bundle: UltimateCore
  1034. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1035. UltimateCore [165]
  1036. Unresolved requirement: Require-Bundle: Library-Log4j2
  1037.  
  1038.  
  1039. !ENTRY Library-LassoRanker 2 0 2016-12-06 15:10:31.160
  1040. !MESSAGE Could not resolve module: Library-LassoRanker [159]
  1041. Unresolved requirement: Require-Bundle: UltimateCore
  1042. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1043. UltimateCore [165]
  1044. Unresolved requirement: Require-Bundle: Library-Log4j2
  1045.  
  1046.  
  1047. !ENTRY de.uni_freiburg.informatik.ultimate.automata 2 0 2016-12-06 15:10:31.160
  1048. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.automata [136]
  1049. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates
  1050. -> Export-Package: de.uni_freiburg.informatik.ultimate.modelcheckerutils.smt.predicates; bundle-symbolic-name="Library-ModelCheckerUtils"; bundle-version="0.0.1"; version="0.0.0"
  1051. Library-ModelCheckerUtils [156]
  1052. Unresolved requirement: Require-Bundle: UltimateCore
  1053. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1054. UltimateCore [165]
  1055. Unresolved requirement: Require-Bundle: Library-Log4j2
  1056.  
  1057.  
  1058. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas 2 0 2016-12-06 15:10:31.160
  1059. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas [168]
  1060. Unresolved requirement: Require-Bundle: UltimateCore
  1061. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1062. UltimateCore [165]
  1063. Unresolved requirement: Require-Bundle: Library-Log4j2
  1064.  
  1065.  
  1066. !ENTRY GUIGeneratedPreferencePages 2 0 2016-12-06 15:10:31.160
  1067. !MESSAGE Could not resolve module: GUIGeneratedPreferencePages [133]
  1068. Unresolved requirement: Require-Bundle: UltimateCore
  1069. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1070. UltimateCore [165]
  1071. Unresolved requirement: Require-Bundle: Library-Log4j2
  1072.  
  1073.  
  1074. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter 2 0 2016-12-06 15:10:31.160
  1075. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter [134]
  1076. Unresolved requirement: Require-Bundle: UltimateCore
  1077. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1078. UltimateCore [165]
  1079. Unresolved requirement: Require-Bundle: Library-Log4j2
  1080.  
  1081.  
  1082. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization 2 0 2016-12-06 15:10:31.160
  1083. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization [160]
  1084. Unresolved requirement: Require-Bundle: UltimateCore
  1085. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1086. UltimateCore [165]
  1087. Unresolved requirement: Require-Bundle: Library-Log4j2
  1088.  
  1089.  
  1090. !ENTRY org.eclipse.cdt.core 2 0 2016-12-06 15:10:31.160
  1091. !MESSAGE Could not resolve module: org.eclipse.cdt.core [117]
  1092. Unresolved requirement: Require-Bundle: com.google.gson
  1093.  
  1094.  
  1095. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker 2 0 2016-12-06 15:10:31.160
  1096. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker [158]
  1097. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  1098. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  1099. Library-ModelCheckerUtils [156]
  1100. Unresolved requirement: Require-Bundle: UltimateCore
  1101. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1102. UltimateCore [165]
  1103. Unresolved requirement: Require-Bundle: Library-Log4j2
  1104.  
  1105.  
  1106. !ENTRY SMTSolverBridge 2 0 2016-12-06 15:10:31.160
  1107. !MESSAGE Could not resolve module: SMTSolverBridge [130]
  1108. Unresolved requirement: Require-Bundle: UltimateCore
  1109. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1110. UltimateCore [165]
  1111. Unresolved requirement: Require-Bundle: Library-Log4j2
  1112.  
  1113.  
  1114. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.procedureinliner 2 0 2016-12-06 15:10:31.161
  1115. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [144]
  1116. Unresolved requirement: Require-Bundle: UltimateCore
  1117. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1118. UltimateCore [165]
  1119. Unresolved requirement: Require-Bundle: Library-Log4j2
  1120.  
  1121.  
  1122. !ENTRY de.uni_freiburg.informatik.ultimate.witnessprinter 2 0 2016-12-06 15:10:31.161
  1123. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessprinter [132]
  1124. Unresolved requirement: Require-Bundle: UltimateCore
  1125. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1126. UltimateCore [165]
  1127. Unresolved requirement: Require-Bundle: Library-Log4j2
  1128. Unresolved requirement: Require-Bundle: Library-ModelCheckerUtils
  1129. -> Bundle-SymbolicName: Library-ModelCheckerUtils; bundle-version="0.0.1"
  1130. Library-ModelCheckerUtils [156]
  1131. Unresolved requirement: Require-Bundle: UltimateCore
  1132. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1133.  
  1134.  
  1135. !ENTRY de.uni_freiburg.informatik.ultimate.buchiprogramproduct 2 0 2016-12-06 15:10:31.161
  1136. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.buchiprogramproduct [139]
  1137. Unresolved requirement: Require-Bundle: UltimateCore
  1138. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1139. UltimateCore [165]
  1140. Unresolved requirement: Require-Bundle: Library-Log4j2
  1141.  
  1142.  
  1143. !ENTRY de.uni_freiburg.informatik.ultimate.ltl2aut 2 0 2016-12-06 15:10:31.161
  1144. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.ltl2aut [170]
  1145. Unresolved requirement: Require-Bundle: UltimateCore
  1146. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1147. UltimateCore [165]
  1148. Unresolved requirement: Require-Bundle: Library-Log4j2
  1149.  
  1150.  
  1151. !ENTRY de.uni_freiburg.informatik.ultimate.witnessparser 2 0 2016-12-06 15:10:31.161
  1152. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessparser [154]
  1153. Unresolved requirement: Require-Bundle: UltimateCore
  1154. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1155. UltimateCore [165]
  1156. Unresolved requirement: Require-Bundle: Library-Log4j2
  1157.  
  1158.  
  1159. !ENTRY PEAtoBoogie 2 0 2016-12-06 15:10:31.161
  1160. !MESSAGE Could not resolve module: PEAtoBoogie [169]
  1161. Unresolved requirement: Require-Bundle: UltimateCore
  1162. -> Bundle-SymbolicName: UltimateCore; bundle-version="0.0.1"; singleton:="true"
  1163. UltimateCore [165]
  1164. Unresolved requirement: Require-Bundle: Library-Log4j2
  1165.  
  1166.  
  1167. !ENTRY org.eclipse.osgi 4 0 2016-12-06 15:10:31.161
  1168. !MESSAGE Application error
  1169. !STACK 1
  1170. java.lang.RuntimeException: No application id has been found.
  1171. at org.eclipse.equinox.internal.app.EclipseAppContainer.startDefaultApp(EclipseAppContainer.java:242)
  1172. at org.eclipse.equinox.internal.app.MainApplicationLauncher.run(MainApplicationLauncher.java:29)
  1173. at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
  1174. at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
  1175. at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
  1176. at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
  1177. at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
  1178. at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
  1179. at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
  1180. at java.lang.reflect.Method.invoke(Method.java:498)
  1181. at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
  1182. at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
  1183. at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
  1184. at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!