The function ilc_fail_stop_here is useful when you are running a Solver program from a debugger, such as dbx: you can stop the execution on failures. You can set a breakpoint for the function ilc_fail_stop_here to stop the program after each failure. You do that like this:

 (dbx) stop in ilc_fail_stop_here

On some platforms, such as Windows NT, for example, you must prefix an underscore to the name of the function, like this: _ilc_fail_stop_here.

For more information, see the concept Failure.