Reached timeout in JFact even if not set

Issue #6 resolved
Giuseppe Cota created an issue

In trying the exact same test as in issue #4 with jfact.

I have attached the error output.

jfact returned a timeout even if I did not use a maxtime flag (so it was supposed by default to not have a maximum time).

Comments (4)

  1. Log in to comment