diff options
Diffstat (limited to 'docs/contributing.rst')
| -rw-r--r-- | docs/contributing.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/contributing.rst b/docs/contributing.rst index f9c4d9d9..43b2fd38 100644 --- a/docs/contributing.rst +++ b/docs/contributing.rst @@ -102,6 +102,9 @@ For example, here's an example test you might run; ``./scripts/soltest.sh -t "yulOptimizerTests/disambiguator/*" --no-ipc --no-smt``. This will test all the tests for the disambiguator. +To get a list of all tests, use +``./build/test/soltest --list_content=HRF -- --ipcpath /tmp/irrelevant``. + If you want to debug using GDB, make sure you build differently than the "usual". For example, you could run the following command in your ``build`` folder: :: |