DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Update README.md (#670)

Browse Source
This commit is contained in:
Mark Mossberg
2017-12-22 18:44:09 -05:00
committed by Dan Guido
parent 8a588c70f4
commit a9be273c2e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -91,7 +91,7 @@ Manticore has a command line interface which can be used to easily symbolically
$ manticore ./path/to/binary # runs, and creates a mcore_* directory with analysis results
$ manticore ./path/to/binary ab cd # use concrete strings "ab", "cd" as program arguments
$ manticore ./path/to/binary ++ ++ # use two symbolic strings of length two as program arguments
$ manticore ./path/to/contract.sol
$ manticore ./path/to/contract.sol # runs, and creates a mcore_* directory with analysis results
```
### API