From 93328c569caa894c482614d7b18e1ab16d64a0e1 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 30 Nov 2016 15:54:26 +0000
Subject: [TravisCI] Fix the list of available configuration environment
 variables.

---
 .travis.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 3c935912..822172c7 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -19,13 +19,17 @@ env:
     # configuration.
     ###########################################################################
 
-    # Check the matrix of:
+    # Check a subset of the matrix of:
     #   LLVM  : {2.9, 3.4}
     #   SOLVERS : {Z3, STP, STP:Z3, metaSMT}
     #   STP_VERSION   : {2.1.2, master}
     #   METASMT_DEFAULT : {btor, stp, z3}
     #   UCLIBC: {0, klee_uclibc_v1.0.0, klee_0_9_29} // Note ``0`` means disabled
-    # with Asserts enabled.
+    #   DISABLE_ASSERTIONS: {0, 1}
+    #   ENABLE_OPTIMIZED: {0, 1}
+    #   COVERAGE: {0, 1}
+    #   USE_TCMALLOC: {0, 1}
+    #   USE_CMAKE: {0, 1}
 
     # COVERAGE set indicated that coverage data should be uplaoded to the server, only ONE job should have COVERAGE set
 
-- 
cgit 1.4.1