Merge branch 'dev-ast-tests' into dev-yul-slot-offset

.github/workflows/parser.yml

@@ -38,6 +38,7 @@ jobs:
           git checkout 119dd05f58341811cb02b546f25269a7e8a10875
           python setup.py install
           solc-select install all
+          solc-select use 0.8.0
           cd ..
 
       - name: Test with pytest

CONTRIBUTING.md

@@ -51,6 +51,7 @@ To see the tests coverage, run `pytest  tests/test_detectors.py  --cov=slither/d
 
 ### Parser tests
 - Create a test in `tests/ast-parsing`
+- Run `python ./tests/test_ast_parsing.py --compile`. This will compile the artifact in `tests/compile`. Add the compiled artifact to git.
 - Run `python ./tests/test_ast_parsing.py --generate`. This will generate the json artifacts in `tests/expected_json`. Add the generated files to git.
 - Run `pytest ./tests/test_ast_parsing.py` and check that everything worked.