From 970e4b2857103d5237d6069e4e753b978dc480c4 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 8 Dec 2018 23:42:52 +0100 Subject: [PATCH] Also add install docs for btorsim Signed-off-by: Clifford Wolf --- docs/source/quickstart.rst | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst index 335f118..ffaff77 100644 --- a/docs/source/quickstart.rst +++ b/docs/source/quickstart.rst @@ -125,6 +125,7 @@ http://fmv.jku.at/boolector/ ( cd boolector/deps/btor2tools && ./configure.sh -fPIC && 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/deps/btor2tools/bin/btorsim /usr/local/bin/ First step: A simple BMC example -------------------------------- -- 2.30.2