rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to make it unambiguous for case-insensitive filesystems like on Mac. Fixes Mac builds

12 files changed, 12 insertions, 12 deletions

diff --git a/test/unit/context/cdmap_white.h b/test/unit/context/cdmap_white.h
index db940f3ea..0ff896f91 100644
--- a/test/unit/context/cdmap_white.h
+++ b/test/unit/context/cdmap_white.h
@@ -19,7 +19,7 @@
 #include <cxxtest/TestSuite.h>
 
 #include "context/cdhashmap.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 using namespace std;
 using namespace CVC4;
diff --git a/test/unit/context/cdo_black.h b/test/unit/context/cdo_black.h
index 6d40a0fb1..67ca2bfa9 100644
--- a/test/unit/context/cdo_black.h
+++ b/test/unit/context/cdo_black.h
@@ -23,7 +23,7 @@
 #include "context/context.h"
 #include "context/cdlist.h"
 #include "context/cdo.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 using namespace std;
 using namespace CVC4;
diff --git a/test/unit/context/context_black.h b/test/unit/context/context_black.h
index 1a50d0637..e47ba3950 100644
--- a/test/unit/context/context_black.h
+++ b/test/unit/context/context_black.h
@@ -23,7 +23,7 @@
 #include "context/context.h"
 #include "context/cdlist.h"
 #include "context/cdo.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 using namespace std;
 using namespace CVC4;
diff --git a/test/unit/context/context_white.h b/test/unit/context/context_white.h
index 9fb94097d..5fdcbf5c9 100644
--- a/test/unit/context/context_white.h
+++ b/test/unit/context/context_white.h
@@ -20,7 +20,7 @@
 
 #include "context/context.h"
 #include "context/cdo.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 using namespace std;
 using namespace CVC4;
diff --git a/test/unit/expr/attribute_white.h b/test/unit/expr/attribute_white.h
index 0fe0e93f0..eed826a4e 100644
--- a/test/unit/expr/attribute_white.h
+++ b/test/unit/expr/attribute_white.h
@@ -29,7 +29,7 @@
 #include "theory/theory.h"
 #include "theory/theory_engine.h"
 #include "theory/uf/theory_uf.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 using namespace CVC4;
 using namespace CVC4::kind;
diff --git a/test/unit/expr/node_builder_black.h b/test/unit/expr/node_builder_black.h
index 97abddc00..426477bc5 100644
--- a/test/unit/expr/node_builder_black.h
+++ b/test/unit/expr/node_builder_black.h
@@ -28,7 +28,7 @@
 #include "expr/node.h"
 #include "expr/kind.h"
 #include "context/context.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "util/rational.h"
 
 using namespace CVC4;
diff --git a/test/unit/expr/node_white.h b/test/unit/expr/node_white.h
index a042b1752..0860f735a 100644
--- a/test/unit/expr/node_white.h
+++ b/test/unit/expr/node_white.h
@@ -25,7 +25,7 @@
 #include "expr/node_manager.h"
 #include "expr/node.h"
 #include "context/context.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 using namespace CVC4;
 using namespace CVC4::kind;
diff --git a/test/unit/expr/symbol_table_black.h b/test/unit/expr/symbol_table_black.h
index 89fbf42e8..486872b0b 100644
--- a/test/unit/expr/symbol_table_black.h
+++ b/test/unit/expr/symbol_table_black.h
@@ -26,7 +26,7 @@
 #include "expr/expr_manager.h"
 #include "expr/expr.h"
 #include "expr/type.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 #include "util/exception.h"
 
 using namespace CVC4;
diff --git a/test/unit/memory.h b/test/unit/memory.h
index 19b45c05d..3c9fd0afa 100644
--- a/test/unit/memory.h
+++ b/test/unit/memory.h
@@ -31,7 +31,7 @@
 #include <sys/time.h>
 #include <sys/resource.h>
 
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 namespace CVC4 {
 namespace test {
diff --git a/test/unit/prop/cnf_stream_white.h b/test/unit/prop/cnf_stream_white.h
index cc7ea9bf6..81f108fb2 100644
--- a/test/unit/prop/cnf_stream_white.h
+++ b/test/unit/prop/cnf_stream_white.h
@@ -20,7 +20,7 @@
 /* #include <gmock/gmock.h> */
 /* #include <gtest/gtest.h> */
 
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 #include "expr/expr_manager.h"
 #include "expr/node_manager.h"
diff --git a/test/unit/theory/theory_engine_white.h b/test/unit/theory/theory_engine_white.h
index 2a176e3d9..17185899d 100644
--- a/test/unit/theory/theory_engine_white.h
+++ b/test/unit/theory/theory_engine_white.h
@@ -39,7 +39,7 @@
 #include "util/rational.h"
 #include "util/integer.h"
 #include "options/options.h"
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 using namespace CVC4;
 using namespace CVC4::theory;
diff --git a/test/unit/util/assert_white.h b/test/unit/util/assert_white.h
index 54c77b165..2f86feaea 100644
--- a/test/unit/util/assert_white.h
+++ b/test/unit/util/assert_white.h
@@ -21,7 +21,7 @@
 #include <string>
 #include <cstring>
 
-#include "util/Assert.h"
+#include "util/cvc4_assert.h"
 
 using namespace CVC4;
 using namespace std;