mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-07 14:45:18 +00:00
Code Activity

Also add install docs for btorsim

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-12-08 23:42:52 +01:00
parent b8549f3a2d
commit 970e4b2857
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
docs/source/quickstart.rst
View file

@ -125,6 +125,7 @@ http://fmv.jku.at/boolector/
( cd boolector/deps/btor2tools && ./configure.sh -fPIC && make -j$(nproc); ) ( cd boolector/deps/btor2tools && ./configure.sh -fPIC && make -j$(nproc); )
( cd boolector && ./configure.sh && cd build && make -j$(nproc); ) ( cd boolector && ./configure.sh && cd build && make -j$(nproc); )
sudo cp boolector/build/bin/{boolector,btor*} /usr/local/bin/ sudo cp boolector/build/bin/{boolector,btor*} /usr/local/bin/
sudo cp boolector/deps/btor2tools/bin/btorsim /usr/local/bin/
First step: A simple BMC example First step: A simple BMC example
-------------------------------- --------------------------------