Fix Travis for unit test compilation errors. (#1651)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 9 Mar 2018 00:03:01 +0000 (16:03 -0800)
committerGitHub <noreply@github.com>
Fri, 9 Mar 2018 00:03:01 +0000 (16:03 -0800)
commit5d19d98e0720ccaf993c45e2997297751a6fc1ba
tree4bd77cf568cf22e7c79e4d7bafb2486e28108d2b
parentc6b2e085d4eb2c232a528a96e13fc7b65fd98fea
Fix Travis for unit test compilation errors. (#1651)

make units does not fail if we have compile error for a unit test, however, make check does.
-Wsuggest-override is now explicitly disabled for unit tests since CxxTest does not add override keywords to the generated source code and thus get a lot of compiler warnings.

Further, this fixes some issues introduced with #1647 due to make units not failing on Travis and fixes the nightly builds.
.travis.yml
src/theory/theory.cpp
test/regress/Makefile.levels
test/unit/Makefile.am
test/unit/theory/logic_info_white.h
test/unit/theory/theory_engine_white.h