test: better regression test for #454

Makefile

@@ -6,7 +6,8 @@ build:
 	dune build @install -p $(PACKAGES)
 
 test: build
-	dune runtest --display=quiet --cache=disabled --no-buffer --force
+	# run tests in release mode to expose bug in #454
+	dune runtest --display=quiet --cache=disabled --no-buffer --force --profile=release
 
 clean:
 	dune clean

tests/core/reg/dune

@@ -0,0 +1,5 @@
+
+(tests
+ (ocamlopt_flags :standard -inline 1000)
+ (names t_reg454)
+ (libraries containers))

tests/core/reg/t_reg454.ml

@@ -0,0 +1,8 @@
+module Vec = CCVector
+
+let () =
+  let arr : Int32.t Vec.vector = Vec.create () in
+  Vec.push arr (Int32.of_int 123456);
+  Format.printf "%d\n" (Int32.to_int (Vec.get arr 0));
+  let x = Vec.get arr 0 in
+  Format.printf "%d\n" (Int32.to_int x)

tests/core/t_vector.ml

@@ -753,15 +753,3 @@ push v 0;
 push v 0;
 push v 0;
 6 = foldi (fun i acc _ -> acc + i) 0 v
-;;
-
-t ~name:"reg454" @@ fun () ->
-let arr : Int32.t vector = create () in
-CCVector.push arr (Int32.of_int 123456);
-let s = spf "%d\n" (Int32.to_int (CCVector.get arr 0)) in
-Printf.eprintf "%d\n" (Int32.to_int (CCVector.get arr 0));
-let x = CCVector.get arr 0 in
-let s2 = spf "%d\n" (Int32.to_int x) in
-Printf.eprintf "%d\n" (Int32.to_int x);
-assert_equal ~printer:(spf "%S") s s2;
-true