diff --git a/Makefile b/Makefile index 3c14d756..f6190bbd 100644 --- a/Makefile +++ b/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 diff --git a/tests/core/reg/dune b/tests/core/reg/dune new file mode 100644 index 00000000..985274b0 --- /dev/null +++ b/tests/core/reg/dune @@ -0,0 +1,5 @@ + +(tests + (ocamlopt_flags :standard -inline 1000) + (names t_reg454) + (libraries containers)) diff --git a/tests/core/reg/t_reg454.expected b/tests/core/reg/t_reg454.expected new file mode 100644 index 00000000..e69de29b diff --git a/tests/core/reg/t_reg454.ml b/tests/core/reg/t_reg454.ml new file mode 100644 index 00000000..a8040580 --- /dev/null +++ b/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) diff --git a/tests/core/t_vector.ml b/tests/core/t_vector.ml index 5abe3292..121a7df7 100644 --- a/tests/core/t_vector.ml +++ b/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