how to terminate an external program after timeout?

[Andrés Sicard-Ramírez]

Hi Christian,

On Thu, Sep 9, 2010 at 4:35 AM, Christian Maeder
<Christian.Maeder at dfki.de> wrote:
> Hi,
>
> we call from our haskell application the metis prover via
>
>  System.Process.readProcessWithExitCode "metis" filename ""
>
> However, we are not able to get rid of this process if metis does not
> terminate by itself. In particular, wrapping this call into a
> System.Timeout.timeout does not work.
>

Maybe you want to know that the latest version of Metis has a new
--time-limit command line argument

http://www.gilith.com/pipermail/metis-users/2010-September/000001.html

Best regards,

-- 
Andrés