mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-07-31 10:23:19 +00:00
Code Activity

docs: add instructions for newer btorsim version required

Browse source
This commit is contained in:
N. Engelhardt 2022-05-24 11:39:10 +02:00
parent d10e472edf
commit ad2c33dd37
1 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
docs/source/install.rst
View file

@ -142,3 +142,11 @@ http://fmv.jku.at/boolector/
sudo cp build/bin/{boolector,btor*} /usr/local/bin/ sudo cp build/bin/{boolector,btor*} /usr/local/bin/
sudo cp deps/btor2tools/bin/btorsim /usr/local/bin/ sudo cp deps/btor2tools/bin/btorsim /usr/local/bin/
To use the ``btor`` engine you additionally need a newer version of btorsim than the boolector setup script builds:
.. code-block:: text
git clone https://github.com/boolector/btor2tools
./configure.sh
cmake .
make install