LTL Checker Errors

eshezo

Hello,

I am trying to use LTL Checker plugin so i checkout from SVN using the following URL:

https://svn.win.tue.nl/repos/prom

but this result a lot of errors in many files.

please advice, i am using Eclips helios 

best regards

JBuijs

Dear eshezo,

I just did the same: a fresh check-out of the LTL package.

However, I do not experience the same issues as you.
It looks like the LTLChecker project does not have the ProM framework in its path (since it does not recognize the Plugin annotation).

You could try to update the Java JRE to the newest version and make sure Eclipse uses that (I tested on 1.6).

JBuijs

Dear Eshez

In order to use a plug-in, you do not need to download the whole Prom source code.
If you just want to run the package, go to http://www.promtools.org/prom6/ and download ProM 6. Then in the package manager, make sure the LTL pacakge is downloaded.
Should you need to develop on top of the LTL package, then please refer to https://svn.win.tue.nl/trac/prom/wiki/setup/HowToBecomeAProMDeveloper and download the LTL package from the packages subdirectory (so not /repos/prom but /repos/pacakages/LTL...)
Hope this helps,

eshezo

I will check and let you know
Thnx in advance

eshezo

ok jBuijis

i tried to check out LTL Checker using the follwoing link:

https://svn.win.tue.nl/repos/prom/packages/ltlchecker/trunk

but when i try to run this project alot of errors occur in the code,as shown in the image                                                                                                    attache

 

best regards

 

please help

eshezo

thank you very much thats was very helpful