From 1a9187c48d331c724b66fff2d0ac77a354a9f4e7 Mon Sep 17 00:00:00 2001
From: Columbus240
Date: Sat, 12 Sep 2020 22:18:31 +0200
Subject: Note in docs that some tests require cvc4

---
 BUILDING.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'BUILDING.md')

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
-- 
cgit v1.2.3