Update to use memorydb for aleth.

This commit is contained in:
chriseth 2018-12-13 12:07:32 +01:00
parent 642c69f935
commit 02a8e5d4e9
2 changed files with 3 additions and 3 deletions

View File

@ -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/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).
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 --db memorydb --test -d /tmp/testeth``.
To run the actual tests, use: ``./scripts/soltest.sh --ipcpath /tmp/testeth/geth.ipc``.
@ -122,7 +122,7 @@ The CI runs additional tests (including ``solc-js`` and testing third party Soli
.. note ::
You can not use some versions of ``aleth`` for testing. We suggest using
Some versions of ``aleth`` can not be used for testing. We suggest using
the same version that the Solidity continuous integration tests use.
Currently the CI uses version ``1.5.0-alpha.7`` of ``aleth``.

View File

@ -149,7 +149,7 @@ function download_aleth()
# echos the PID
function run_aleth()
{
$ALETH_PATH --test -d "${WORKDIR}" >/dev/null 2>&1 &
$ALETH_PATH --db memorydb --test -d "${WORKDIR}" >/dev/null 2>&1 &
echo $!
# Wait until the IPC endpoint is available.
while [ ! -S "${WORKDIR}/geth.ipc" ] ; do sleep 1; done