[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Check which IsaCoSy runs got interrupted



We now check stderr for 'interruption' messages and mark them as failed.