diff options
| author | Daniel Kirchner <daniel@ekpyron.org> | 2018-09-12 20:35:41 +0800 |
|---|---|---|
| committer | Daniel Kirchner <daniel@ekpyron.org> | 2018-12-11 11:47:05 +0800 |
| commit | 6d82ad13386493b80f303eb7dcda07095a62e1e8 (patch) | |
| tree | 3d8120924b26f5a9bbcceaea1adeefc87d7a201c /docs | |
| parent | baaefb4b422fb22a89af08b79e6595e7859d2323 (diff) | |
| download | dexon-solidity-6d82ad13386493b80f303eb7dcda07095a62e1e8.tar.gz dexon-solidity-6d82ad13386493b80f303eb7dcda07095a62e1e8.tar.zst dexon-solidity-6d82ad13386493b80f303eb7dcda07095a62e1e8.zip | |
Test updates for recent versions of aleth.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/contributing.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/contributing.rst b/docs/contributing.rst index 12dea7d1..47d0d070 100644 --- a/docs/contributing.rst +++ b/docs/contributing.rst @@ -90,7 +90,7 @@ The option ``--no-smt`` disables the tests that require ``libz3`` and ``--no-ipc`` disables those that require ``aleth``. If you want to run the ipc tests (that test the semantics of the generated code), -you need to install `aleth <https://github.com/ethereum/cpp-ethereum/releases/download/solidityTester/aleth_2018-06-20_artful>`_ and run it in testing mode: ``aleth --test -d /tmp/testeth`` (make sure to rename it). +you need to install `aleth <https://github.com/ethereum/aleth/releases/download/v1.5.0-alpha.7/aleth-1.5.0-alpha.7-linux-x86_64.tar.gz>`_ and run it in testing mode: ``aleth --test -d /tmp/testeth`` (make sure to rename it). To run the actual tests, use: ``./scripts/soltest.sh --ipcpath /tmp/testeth/geth.ipc``. @@ -124,7 +124,7 @@ The CI runs additional tests (including ``solc-js`` and testing third party Soli You can not use some versions of ``aleth`` for testing. We suggest using the same version that the Solidity continuous integration tests use. - Currently the CI uses ``d661ac4fec0aeffbedcdc195f67f5ded0c798278`` of ``aleth``. + Currently the CI uses version ``1.5.0-alpha.7`` of ``aleth``. Writing and running syntax tests -------------------------------- |