To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

LTL Checker Errors

eshezoeshezo Posts: 5
edited February 2014 in - Development
Hello,
I am trying to use LTL Checker plugin so i checkout from SVN using the following URL:

but this result a lot of errors in many files.

please advice, i am using Eclips helios 

best regards

Best Answer

  • JBuijsJBuijs Posts: 912
    Answer ✓

    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).

    Joos Buijs

    Senior Data Scientist and process mining expert at APG (Dutch pension fund executor).
    Previously Assistant Professor in Process Mining at Eindhoven University of Technology

Answers

  • JBuijsJBuijs Posts: 912

    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,

    Joos Buijs

    Senior Data Scientist and process mining expert at APG (Dutch pension fund executor).
    Previously Assistant Professor in Process Mining at Eindhoven University of Technology
  • I will check and let you know
    Thnx in advance
    ;)
  • 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

    errors.png 80.4K
  • thank you very much thats was very helpful

Sign In or Register to comment.