DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Update README.md

Browse Source
This commit is contained in:
Gustavo Grieco
2019-04-22 13:24:03 -03:00
committed by GitHub
parent 9d64719e84
commit d3704725b2
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+3 -1
View File
@@ -62,8 +62,10 @@ Runtime:
## Building on Ubuntu 16.04 (Xenial)
First make sure you install [Python 3.6 or greater](https://askubuntu.com/a/865569). Then use this command line to install additional requirements and compile DeepState:
```shell
sudo apt update && sudo apt-get install build-essential gcc-multilib g++-multilib cmake python python3-setuptools libffi-dev z3
sudo apt update && sudo apt-get install build-essential gcc-multilib g++-multilib cmake python3-setuptools libffi-dev z3
git clone https://github.com/trailofbits/deepstate deepstate
mkdir deepstate/build && cd deepstate/build
cmake ../