diff --git a/docs/contributing.rst b/docs/contributing.rst index 4dfd18610..561f3f43e 100644 --- a/docs/contributing.rst +++ b/docs/contributing.rst @@ -93,7 +93,7 @@ Some tests require the ``libevmone.so`` library, others require ``libz3``. The test system will automatically try to discover the location of ``libevmone.so`` starting from the current directory. If it does not find it, the relevant tests are skipped. To run all tests, download the library from -`Github `_ +`Github `_ and either place it in the project root path or inside the ``deps`` folder. If you do not have libz3 installed on your system, you should disable the SMT tests: