diff options
| author | Columbus240 | 2020-09-12 22:18:31 +0200 |
|---|---|---|
| committer | Columbus240 | 2020-09-12 23:00:15 +0200 |
| commit | 1a9187c48d331c724b66fff2d0ac77a354a9f4e7 (patch) | |
| tree | dd3dfe1907309d20320b222190d697478b57b302 /BUILDING.md | |
| parent | 19573d9ce8448f8296195fe1990a6d88593b57f1 (diff) | |
Note in docs that some tests require cvc4
Diffstat (limited to 'BUILDING.md')
| -rw-r--r-- | BUILDING.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/BUILDING.md b/BUILDING.md index 8df08e0b..88bcfbcc 100644 --- a/BUILDING.md +++ b/BUILDING.md @@ -130,7 +130,8 @@ make isail To test Sail is installed correctly, execute the following from the root directory of the sail repository. You may also need to set $LEM_DIR to the root of the lem repository for the lem tests. Some of -the C backend tests will fail if valgrind isn't installed. +the C backend tests will fail if valgrind isn't installed. Some tests will +fail if cvc4 isn’t installed. ``` export SAIL_DIR=$PWD test/run_tests.sh |