Fix tests that used --timeout

trailofbits · Jan 10, 2019 · 97cfde0 · 97cfde0
1 parent 324504e
commit 97cfde0
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/tests/test_binaries.py b/tests/test_binaries.py
@@ -119,7 +119,7 @@ def test_timeout(self):
         with open(os.path.join(os.pardir, self.test_dir, 'output.log'), "w") as output:
             subprocess.check_call([PYTHON_BIN, '-m', 'manticore',
                                 '--workspace', workspace,
-                                '--timeout', '1',
+                                '--core.timeout', '1',
                                 '--procs', '4',
                                 filename,
                                 '+++++++++'], stdout=output)
@@ -137,7 +137,7 @@ def test_solidity_timeout(self):
         cmd = [
             PYTHON_BIN, '-m', 'manticore',
             '--workspace', workspace,
-            '--timeout', str(timeout_secs),
+            '--core.timeout', str(timeout_secs),
             '--no-color',
             filename
         ]
@@ -299,7 +299,7 @@ def test_decree(self):
         workspace = os.path.join(self.test_dir, 'workspace')
         self._run_with_timeout([PYTHON_BIN, '-m', 'manticore',
                               '--workspace', workspace,
-                              '--timeout', '20',
+                              '--core.timeout', '20',
                               '--proc', '4',
                               '--no-color',
                               '--policy', 'uncovered',