reverted change to main

__main__.py

@@ -90,18 +90,18 @@ from .tests.stress.stress_tests import STRESS_TESTS
 
 TEST_SET = []
 # tests from here...
-# TEST_SET.append(TestCase("hello_cluster", hello_cluster))
-# TEST_SET.extend(BASIC_TESTS)
-# TEST_SET.extend(AVAILABILITY_TESTS)
-# TEST_SET.extend(CAUSAL_TESTS)
-# TEST_SET.extend(CONVERGENCE_TESTS)
+TEST_SET.append(TestCase("hello_cluster", hello_cluster))
+TEST_SET.extend(BASIC_TESTS)
+TEST_SET.extend(AVAILABILITY_TESTS)
+TEST_SET.extend(CAUSAL_TESTS)
+TEST_SET.extend(CONVERGENCE_TESTS)
 # ... to here can  be run in parallel. 
 # Below here should be run synchronously:
-# TEST_SET.extend(PROXY_TESTS)
-# TEST_SET.extend(SHUFFLE_TESTS)
+TEST_SET.extend(PROXY_TESTS)
+TEST_SET.extend(SHUFFLE_TESTS)
 TEST_SET.extend(STRESS_TESTS)
 # This one is less of a test and more a graphing program:
-# TEST_SET.extend(BENCHMARKS)
+TEST_SET.extend(BENCHMARKS)
 
 # set to True to stop at the first failing test
 FAIL_FAST = True