Index: tests/test.py
===================================================================
--- tests/test.py	(revision 8514bcf8ef7c43f89a87762cbc1b2daf22c2a06b)
+++ tests/test.py	(revision 045cda3e622c6be55873852ec248feb1e565921f)
@@ -116,5 +116,5 @@
 	parser.add_argument('--no-invariant', help='Tell the compiler not to check invariants.', action='store_false', dest='invariant')
 	parser.add_argument('--invariant', help='Tell the compiler to check invariants.', action='store_const', const=True)
-	parser.add_argument('--timeout', help='Maximum duration in seconds after a single test is considered to have timed out', type=int, default=180)
+	parser.add_argument('--timeout', help='Maximum duration in seconds after a single test is considered to have timed out', type=int, default=240)
 	parser.add_argument('--global-timeout', help='Maximum cumulative duration in seconds after the ALL tests are considered to have timed out', type=int, default=7200)
 	parser.add_argument('--timeout-with-gdb', help='Instead of killing the command when it times out, orphan it and print process id to allow gdb to attach', type=yes_no, default="no")