Code

Fix missing consts in CLI args#1337

Code

Merged

disconnect3d merged 5 commits intomastertrailofbits/manticore:masterfrom fix-missing-conststrailofbits/manticore:fix-missing-constsCopy head branch name to clipboardJan 10, 2019

+41-32

Commits

Commits on Jan 10, 2019

• Fix constants missing from manticore --help

  disconnect3d

  committed
  9cb497e

  Copy full SHA for 9cb497e

• Use has_native for native constants

  disconnect3d

  committed
  8c268d1

  Copy full SHA for 8c268d1

• Remove duplicated args from consts: stdin_size and timeout

  disconnect3d

  committed
  c72b641

  Copy full SHA for c72b641

• Move timeout back to shutdown_timeout

  disconnect3d

  committed
  d4463f2

  Copy full SHA for d4463f2

• Update manticore/core/manticore.py

  disconnect3d

  authored
  f50016a

  Copy full SHA for f50016a