From 1ab5dcaa2225542722e570fa929e5802e5948cbd Mon Sep 17 00:00:00 2001 From: Mathias Baumann Date: Thu, 5 Dec 2019 14:07:09 +0100 Subject: [PATCH] Docs: Add missing ` --- docs/contributing.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/contributing.rst b/docs/contributing.rst index 6220d7d7f..1b50ccaaa 100644 --- a/docs/contributing.rst +++ b/docs/contributing.rst @@ -86,7 +86,7 @@ but for quicker feedback, you might want to run specific tests. Solidity includes different types of tests, most of them bundled into the `Boost C++ Test Framework `_ application ``soltest``. -Running ``build/test/soltest` or its wrapper ``scripts/soltest.sh`` is sufficient for most changes. +Running ``build/test/soltest`` or its wrapper ``scripts/soltest.sh`` is sufficient for most changes. Some tests require the ``evmone`` library, others require ``libz3``. @@ -113,7 +113,7 @@ See especially: If you are running this in plain Command Prompt, use ``.\build\test\Release\soltest.exe -- --no-smt``. To run a subset of tests, you can use filters: -``./scripts/soltest.sh -t TestSuite/TestName, +``./scripts/soltest.sh -t TestSuite/TestName``, where ``TestName`` can be a wildcard ``*``. For example, here is an example test you might run;