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.

Error By Using Declare Replayer Package

JasimJasim Posts: 4
Hello Everyone,

I am trying to measure the fitness of the declare model by using Declare replayer package. however, when I run the package, I always get this error message ( java.lang.ArithmeticException: / by zero). Also, I tried many different models by the same package and getting this type of error.

So, anyone can help to resolve this issue?

Thanks all.

Jasim  

the Prom version Prom 6.8
The package name: Declare Replayer 




Comments

  • hverbeekhverbeek Posts: 782
    Hello Jasim,

    I do not have an in-depth knowledge on the Declare replayer, but it seems that you have two traces, and that both traces fail to replay. It is clear that the replay of the second trace fails, as this is in the screenshot, but I assume the replay of the first also fails, as this explains the error: Some average is computed over the successfully replayed traces.

    Perhaps it would be best to contact Fabrizio Maggi (see https://scholar.google.nl/citations?user=Jo9fNKEAAAAJ&hl=nl) on this, as he is the lead developer on this.

    Kind regards,
    Eric.
  • JasimJasim Posts: 4
    Hi Eric, 

    Thank you so much for your helpful information.
  • JasimJasim Posts: 4
    edited December 2019
    hverbeek said:
    Hello Jasim,

    I do not have an in-depth knowledge on the Declare replayer, but it seems that you have two traces, and that both traces fail to replay. It is clear that the replay of the second trace fails, as this is in the screenshot, but I assume the replay of the first also fails, as this explains the error: Some average is computed over the successfully replayed traces.

    Perhaps it would be best to contact Fabrizio Maggi (see https://scholar.google.nl/citations?user=Jo9fNKEAAAAJ&hl=nl) on this, as he is the lead developer on this.

    Kind regards,
    Eric.
    Hi Eric, 

     Thank you so much for your helpful information.
    Post edited by Jasim on
Sign In or Register to comment.