diff --git a/doc/building-instructions.md b/doc/building-instructions.md index 7d81e00..3f56a48 100644 --- a/doc/building-instructions.md +++ b/doc/building-instructions.md @@ -39,3 +39,6 @@ Finally, build and run the tests as follows: ```bash $ make run-tests ``` + +After updating `plasp`, make sure to execute CMake again in order for the tests to run correctly. +Else, external files required by the test suite may be reported missing.