Index: tests/test.py
===================================================================
--- tests/test.py	(revision 3cbe3208a46cac04121664ab55595e2679b6dcb3)
+++ tests/test.py	(revision 15b5abac85a377b252c458a49494f936bb5d33a1)
@@ -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")