Index: src/tests/test.py
===================================================================
--- src/tests/test.py	(revision 4a3334cf1b33bf9d49940a420eba798a1e968186)
+++ src/tests/test.py	(revision 0e7b95c8b6e96fa15d9a05af23bbbdb80933a7ce)
@@ -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')