diff --git a/tests/logrun.py b/tests/logrun.py index b5b8265..6fc7efb 100644 --- a/tests/logrun.py +++ b/tests/logrun.py @@ -15,7 +15,7 @@ def logrun(cmd, file, timeout): lastOutput = time.time() while (p.poll() is None) and ((time.time() - start) < timeout): if (time.time() - lastOutput) > 300: - sys.stderr.write("\n\n** FIVE MINUTE KEEPALIVE FROM TEST LOGGING **\n\n") + sys.stderr.write(".") sys.stderr.flush() with open(file, 'r') as inf: contents = inf.read() diff --git a/tests/test_basic_functionality.py b/tests/test_basic_functionality.py index f59ba96..5f3c270 100644 --- a/tests/test_basic_functionality.py +++ b/tests/test_basic_functionality.py @@ -74,7 +74,7 @@ class TestBasicFunctionality(TestCase): if os.getenv("TASK") is None or os.getenv("TASK") == "LISTS": (r, output) = logrun.logrun([deepstate, "build/examples/Lists"], - "deepstate.out", 1800) + "deepstate.out", 3000) self.assertEqual(r, 0) self.assertTrue("Passed: Vector_DoubleReversal" in output)