diff options
| author | chriseth <chris@ethereum.org> | 2017-10-04 20:56:24 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-04 20:56:24 +0800 |
| commit | f6fb7d96d3eb0d45ee93fbe25f01cb9f06b28b78 (patch) | |
| tree | 7816b6b544ea0794032deed0f14e15f0dfc8057b /docs | |
| parent | 22f112fc13e8d609435e53e18a66d0b0664b5c44 (diff) | |
| parent | fefdfc0711e1637df91ef0ec813af0c30ad53af6 (diff) | |
| download | dexon-solidity-f6fb7d96d3eb0d45ee93fbe25f01cb9f06b28b78.tar dexon-solidity-f6fb7d96d3eb0d45ee93fbe25f01cb9f06b28b78.tar.gz dexon-solidity-f6fb7d96d3eb0d45ee93fbe25f01cb9f06b28b78.tar.bz2 dexon-solidity-f6fb7d96d3eb0d45ee93fbe25f01cb9f06b28b78.tar.lz dexon-solidity-f6fb7d96d3eb0d45ee93fbe25f01cb9f06b28b78.tar.xz dexon-solidity-f6fb7d96d3eb0d45ee93fbe25f01cb9f06b28b78.tar.zst dexon-solidity-f6fb7d96d3eb0d45ee93fbe25f01cb9f06b28b78.zip | |
Merge pull request #2990 from ethereum/someMoreSMTStuff
Basic SMT tests.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/contributing.rst | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/contributing.rst b/docs/contributing.rst index 01caa5b1..0f7c3e72 100644 --- a/docs/contributing.rst +++ b/docs/contributing.rst @@ -64,9 +64,11 @@ Running the compiler tests ========================== Solidity includes different types of tests. They are included in the application -called ``soltest``. Some of them require the ``cpp-ethereum`` client in testing mode. +called ``soltest``. Some of them require the ``cpp-ethereum`` client in testing mode, +some others require ``libz3`` to be installed. -To run a subset of the tests that do not require ``cpp-ethereum``, use ``./build/test/soltest -- --no-ipc``. +To disable the z3 tests, use ``./build/test/soltest -- --no-smt`` and +to run a subset of the tests that do not require ``cpp-ethereum``, use ``./build/test/soltest -- --no-ipc``. For all other tests, you need to install `cpp-ethereum <https://github.com/ethereum/cpp-ethereum/releases/download/solidityTester/eth>`_ and run it in testing mode: ``eth --test -d /tmp/testeth``. |