Re: [eclipse-clp-users] Preventing bb_min from printing debug info

From: Sergey Dymchenko <kit1980_at_...6...>
Date: Sat, 5 May 2012 21:34:46 +0300
Ah, yes, that was exactly my problem.
Thank you!

On Sat, May 5, 2012 at 4:29 PM, Joachim Schimpf <jschimpf@...311...> wrote:
> The messages does go to log_output.  Maybe you are redirecting too late?
>
> Try placing
> :- set_stream(log_output, null).
> before
> :- lib(eplex).
> in your source file.
>
>
> Sergey Dymchenko wrote:
>> Hello!
>>
>> What about suppressing "loading OSI clpcbc ... done" when using eplex?
>> I tried set_stream(warning_output, null), set_stream(log_output, null)
>> without any success.
>>
>> Sergey.
>>
>> On Tue, Nov 22, 2011 at 2:16 AM, Joachim Schimpf <jschimpf@...311...> wrote:
>>> Sergey Dymchenko wrote:
>>>> Hmm, but how to prevent "Branch-and-bound timeout!" message from
>>>> printing in the case when timeout option is set?
>>>> It looks like report_success and report_failure don't affect this message.
>>> The easiest way to suppress this (and similar) messages is
>>> to redirect the log_output stream, onto which these messages
>>> are printed.
>>>
>>> You can for example redirect to the 'null' stream by calling
>>> set_stream(log_output,null).  The messages are then lost.
>>>
>>> Or you can open a log file and redirect the messages there:
>>> open("log.txt",write,S), set_stream(log_output,S).
>>>
>>>
>>> -- Joachim
>
>
> ------------------------------------------------------------------------------
> Live Security Virtual Conference
> Exclusive live event will cover all the ways today's security and
> threat landscape has changed and how IT managers can respond. Discussions
> will include endpoint security, mobile security and the latest in malware
> threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
Received on Sat May 05 2012 - 18:34:54 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST