add test for vector

Author: alex-s168

tests/lib/vector-push-pop.lsts

@@ -0,0 +1,47 @@
+
+import LIB/default.lsts;
+
+let v = mk-vector(type(String), 4);
+
+print("part 0 done\n");
+
+let ai = 0_u64;
+while ai < 128 {
+   v = v.push(to-smart-string(ai));
+   ai = ai + 1;
+};
+
+print("part 1 done\n");
+
+assert(v.length == 128);
+let last-cap = v.capacity;
+
+ai = 0_u64;
+for x in v.iter() {
+   assert(x == to-smart-string(ai));
+   ai = ai + 1;
+};
+
+print("part 2 done\n");
+
+ai = 0_u64;
+while ai < 100 {
+   v = v.pop().first;
+   ai = ai + 1;
+};
+
+print("part 3 done\n");
+
+# should have shrunk from the pop() s
+assert(v.capacity < last-cap);
+last-cap = v.capacity;
+
+ai = 0_u64;
+for x in v.iter() {
+   assert(x == to-smart-string(ai));
+   ai = ai + 1;
+};
+
+print("part 4 done\n");
+
+