add timeout to tests
GoogleCodeExporter opened this issue · comments
https://forum.st.cs.uni-saarland.de/boards/viewthread?thread=1562#8679
Original issue reported on code.google.com by felix@familie-freiberger.net
on 20 Jul 2012 at 11:37
Done.
Remember to do this for new tests, too.
Original comment by felix@familie-freiberger.net
on 20 Jul 2012 at 5:46
- Changed state: Fixed