Index: src/tests/test.py
===================================================================
--- src/tests/test.py	(revision 871b664007b379ce205a1c98c3284d7973afcedd)
+++ src/tests/test.py	(revision c3acb841f4d192142b1ebb1e1c00c6cf23e0a7c7)
@@ -250,5 +250,5 @@
 parser = argparse.ArgumentParser(description='Script which runs cforall tests')
 parser.add_argument('--debug', help='Run all tests in debug or release', type=yes_no, default='no')
-parser.add_argument('--concurrent', help='Run concurrent tests', type=yes_no, default='no')
+parser.add_argument('--concurrent', help='Run concurrent tests', type=yes_no, default='yes')
 parser.add_argument('--dry-run', help='Don\'t run the tests, only output the commands', action='store_true')
 parser.add_argument('--list', help='List all test available', action='store_true')