From 7e0723e42bc9aac806f6b354319a388dc49f7f66 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <t-nclaud@microsoft.com>
Date: Fri, 22 Mar 2013 11:51:28 -0700
Subject: [PATCH] add unit test for previous commit

Signed-off-by: Nuno Lopes <t-nclaud@microsoft.com>
---
 src/test/bit_vector.cpp | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/src/test/bit_vector.cpp b/src/test/bit_vector.cpp
index 2b67c3a71..7d3f96ae4 100644
--- a/src/test/bit_vector.cpp
+++ b/src/test/bit_vector.cpp
@@ -276,12 +276,35 @@ static void tst_bv_reset() {
     }
 }
 
+static void tst_eq() {
+    bit_vector b1, b2, b3;
+    b1.resize(32);
+    b2.resize(32);
+    b3.resize(32);
+
+    b1.set(3, true);
+    SASSERT(b1 != b2);
+    SASSERT(!(b1 == b2));
+    SASSERT(b2 == b3);
+
+    b3.set(3, true);
+    SASSERT(b1 == b3);
+    SASSERT(!(b1 != b3));
+    
+    b2.set(31, true);
+    b3.set(31);
+    b3.unset(3);
+    SASSERT(b2 == b3);
+    SASSERT(!(b2 != b3));
+}
+
 void tst_bit_vector() {
     tst_crash();
     tst_shift(); 
     tst_or();
     tst_and();
     tst_bv_reset();
+    tst_eq();
     return;
     tst2();
     for (unsigned i = 0; i < 20; i++) {