[eclipse-users] Failed goal

From: <marconci_at_...8...>
Date: Sat, 2 Dec 2006 17:34:21 +0100 (CET)
Hi everybody,

I am writing a program with a set of constraints that use
the ic library and finally the search functions

Sometimes, it may happen that at some point
my program fails giving no solution.

I would like to find which goal failed, to
do some more in depth search, i.e. refining
some constraints, by exploiting this information.

Is there a method to get this information from
inside the program, without using the tracer?

I have found a question on the same problem in the mailing list, here
but I have not found the replays.

Any tips on the problem would be wellcome.

Thank you very much

Received on Sat Dec 02 2006 - 16:34:26 CET

This archive was generated by hypermail 2.3.0 : Sat Aug 24 2019 - 06:15:04 CEST