[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Check which IsaCoSy runs got interrupted
- Subject: Check which IsaCoSy runs got interrupted
- From: Chris Warburton
- Date: Tue, 06 Mar 2018 14:04:41 +0000
- Resolution: fixed
- State: resolved
IsaCoSy can die early due to running out of memory. Check for these, by
looking through the stderr, and ensure their 'success' isn't set.