cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #7397 from FlashSheridan/patch-2

Browse Source 
Shorten evmone link so it's not only for Linux
This commit is contained in:
Daniel Kirchner 2019-09-11 10:34:36 +02:00 committed by GitHub
commit 5063e53730
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/contributing.rst
View File

@ -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`` 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 starting from the current directory. If it does not find it, the relevant tests
are skipped. To run all tests, download the library from are skipped. To run all tests, download the library from
`Github <https://github.com/ethereum/evmone/releases/download/v0.1.0/evmone-0.1.0-linux-x86_64.tar.gz>`_ `Github <https://github.com/ethereum/evmone/releases/tag/v0.1.0>`_
and either place it in the project root path or inside the ``deps`` folder. 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: If you do not have libz3 installed on your system, you should disable the SMT tests: