Merge pull request #5648 from ethereum/useMemoryDB

Update to use memorydb for aleth.
This commit is contained in:
chriseth 2018-12-13 15:58:33 +01:00 committed by GitHub
commit 996bfb2a83
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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``. ``--no-ipc`` disables those that require ``aleth``.
If you want to run the ipc tests (that test the semantics of the generated code), 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``. 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 :: .. 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. the same version that the Solidity continuous integration tests use.
Currently the CI uses version ``1.5.0-alpha.7`` of ``aleth``. Currently the CI uses version ``1.5.0-alpha.7`` of ``aleth``.

View File

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