diff --git a/tests/test_runlen.py b/tests/test_runlen.py index 4e7d8d4..58789f1 100644 --- a/tests/test_runlen.py +++ b/tests/test_runlen.py @@ -6,7 +6,7 @@ import logrun class RunlenTest(deepstate_base.DeepStateTestCase): def run_deepstate(self, deepstate): (r, output) = logrun.logrun([deepstate, "build/examples/Runlen"], - "deepstate.out", 1800) + "deepstate.out", 2700) self.assertEqual(r, 0) self.assertTrue("Passed: Runlength_EncodeDecode" in output)