Add weaselab namespace

2024-03-27 16:07:05 -07:00
parent 25cc427ec5
commit 5cf43d1bfa
6 changed files with 29 additions and 88 deletions
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -39,6 +39,8 @@ limitations under the License.

 #include <memcheck.h>

+using namespace weaselab;
+
 // Use assert for checking potentially complex properties during tests.
 // Use assume to hint simple properties to the optimizer.