DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Increase timeout for manticore

Browse Source
This commit is contained in:
Alex Groce 2019-01-01 08:01:32 -07:00 committed by GitHub
parent 7431a9bd1b
commit e3bba13fd2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/test_runlen.py
View File

@ -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", 2700)
"deepstate.out", 2900)
self.assertEqual(r, 0)
self.assertTrue("Passed: Runlength_EncodeDecode" in output)