cerc-io/solidity
16
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

Shorten evmone link so it's not only for Linux

Browse Source 
Replace the Linux-only evmone link with the general URL for the release: https://github.com/ethereum/evmone/releases/tag/v0.1.0
This commit is contained in:
Flash Sheridan 2019-09-10 14:25:33 -04:00 committed by GitHub
parent 143e867353
commit 8ceab96d29
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: