Add first test for std::vec::Vec.

diff --git a/test/heap.rs b/test/heap.rs
index c40165909df02335044ad4e7b7145ca0a0d8eb57..05efc56f0f33e2a74e473e9118d41083e478f414 100755 (executable)
--- a/test/heap.rs
+++ b/test/heap.rs
@@ -10,8 +10,3 @@ fn make_box() -> Box<(i16, i16)> {
 fn make_box_syntax() -> Box<(i16, i16)> {
     box (1, 2)
 }
-
-// #[miri_run]
-// fn make_vec() -> Vec<i32> {
-//     Vec::new()
-// }

diff --git a/test/vecs.rs b/test/vecs.rs
new file mode 100755 (executable)
index 0000000..e3cb67b
--- /dev/null
+++ b/test/vecs.rs
@@ -0,0 +1,15 @@
+#![feature(custom_attribute)]
+#![allow(dead_code, unused_attributes)]
+
+#[miri_run]
+fn make_vec() -> Vec<i32> {
+    let v = Vec::with_capacity(4);
+    v.push(1);
+    v.push(2);
+    v
+}
+
+// #[miri_run]
+// fn make_vec_macro() -> Vec<i32> {
+//     vec![1, 2]
+// }