First Last Prev Next    No search results available
Bug 217 - implement timeout for external solver
: implement timeout for external solver
Status: NEW
Product: satchmo
default
: unspecified
: PC Linux
: P5 enhancement
Assigned To: Johannes Waldmann
:
:
:
  Show dependency tree / graph
 
Reported: 2009-03-31 17:44 CEST by Johannes Waldmann
Modified: 2009-03-31 17:44 CEST (History)
0 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Johannes Waldmann 2009-03-31 17:44:30 CEST 
Requirements:

* when time is overrun, external solver (minisat) process must be killed
reliably

* when satchmo (Haskell thread) is killed earlier,
  external solver (minisat) process must be killed reliably.

System.Timeout.timeout looks good (so far, checked only the first req)
First Last Prev Next    No search results available