diff options
| author | Armaël Guéneau <armael.gueneau@ens-lyon.fr> | 2018-01-24 13:38:11 +0100 |
|---|---|---|
| committer | Armaël Guéneau <armael.gueneau@ens-lyon.fr> | 2018-02-01 14:07:56 +0100 |
| commit | 826f45e2fb1aeffb258cf01103010aae391bcb41 (patch) | |
| tree | ba5e9764a764e48d70ebf71231cb71c22aeabfc8 | |
| parent | 76762c9a04366c61c7ba85be6e2baf0bf2ce86a0 (diff) | |
| download | ocaml-826f45e2fb1aeffb258cf01103010aae391bcb41.tar.gz | |
Migrate test "regression/pr5233" to ocamltest
| -rw-r--r-- | testsuite/tests/regression/pr5233/Makefile | 19 | ||||
| -rw-r--r-- | testsuite/tests/regression/pr5233/ocamltests | 1 | ||||
| -rw-r--r-- | testsuite/tests/regression/pr5233/pr5233.ml | 2 |
3 files changed, 3 insertions, 19 deletions
diff --git a/testsuite/tests/regression/pr5233/Makefile b/testsuite/tests/regression/pr5233/Makefile deleted file mode 100644 index 46dd302503..0000000000 --- a/testsuite/tests/regression/pr5233/Makefile +++ /dev/null @@ -1,19 +0,0 @@ -#************************************************************************** -#* * -#* OCaml * -#* * -#* Xavier Clerc, SED, INRIA Rocquencourt * -#* * -#* Copyright 2010 Institut National de Recherche en Informatique et * -#* en Automatique. * -#* * -#* All rights reserved. This file is distributed under the terms of * -#* the GNU Lesser General Public License version 2.1, with the * -#* special exception on linking described in the file LICENSE. * -#* * -#************************************************************************** - -MAIN_MODULE=pr5233 - -include ../../../makefiles/Makefile.one -include ../../../makefiles/Makefile.common diff --git a/testsuite/tests/regression/pr5233/ocamltests b/testsuite/tests/regression/pr5233/ocamltests new file mode 100644 index 0000000000..19c4be2b68 --- /dev/null +++ b/testsuite/tests/regression/pr5233/ocamltests @@ -0,0 +1 @@ +pr5233.ml diff --git a/testsuite/tests/regression/pr5233/pr5233.ml b/testsuite/tests/regression/pr5233/pr5233.ml index b7fddd7f8b..05fe687237 100644 --- a/testsuite/tests/regression/pr5233/pr5233.ml +++ b/testsuite/tests/regression/pr5233/pr5233.ml @@ -1,3 +1,5 @@ +(* TEST *) + open Printf;; (* PR#5233: Create a dangling pointer and use it to access random parts |