Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix missing consts in CLI args #1337

Merged
merged 5 commits into from
Jan 10, 2019
+41 −32
Merged

Fix missing consts in CLI args #1337

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
9cb497e
Fix constants missing from manticore --help
disconnect3d Jan 10, 2019
8c268d1
Use has_native for native constants
disconnect3d Jan 10, 2019
c72b641
Remove duplicated args from consts: stdin_size and timeout
disconnect3d Jan 10, 2019
d4463f2
Move timeout back to shutdown_timeout
disconnect3d Jan 10, 2019
f50016a
Update manticore/core/manticore.py
disconnect3d Jan 10, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Update manticore/core/manticore.py
@disconnect3d
disconnect3d authored Jan 10, 2019
commit f50016a6d242e5cb10e27fc141975b2f93fb1e63
2 changes: 1 addition & 1 deletion manticore/core/manticore.py
View file
Original file line number Diff line number Diff line change
@@ -421,7 +421,7 @@ def _finish_run(self, profiling=False):

self._publish('did_finish_run')

def run(self, procs=1, should_profile=False, timeout=None):
def run(self, procs=1, timeout=None, should_profile=False):
'''
Runs analysis.