From 8ceab96d29f6930c2afb5e2ae17747f39465986a Mon Sep 17 00:00:00 2001 From: Flash Sheridan Date: Tue, 10 Sep 2019 14:25:33 -0400 Subject: [PATCH] Shorten evmone link so it's not only for Linux Replace the Linux-only evmone link with the general URL for the release: https://github.com/ethereum/evmone/releases/tag/v0.1.0 --- docs/contributing.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: