summaryrefslogtreecommitdiff
path: root/testsuite/tests/weak-ephe-final
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/weak-ephe-final')
-rw-r--r--testsuite/tests/weak-ephe-final/ephetest.ml3
-rw-r--r--testsuite/tests/weak-ephe-final/ephetest2.ml3
-rw-r--r--testsuite/tests/weak-ephe-final/ephetest3.ml3
-rw-r--r--testsuite/tests/weak-ephe-final/finaliser.ml3
-rw-r--r--testsuite/tests/weak-ephe-final/pr12001.ml3
-rw-r--r--testsuite/tests/weak-ephe-final/weaklifetime.ml3
-rw-r--r--testsuite/tests/weak-ephe-final/weaklifetime2.ml3
-rw-r--r--testsuite/tests/weak-ephe-final/weaktest.ml3
8 files changed, 8 insertions, 16 deletions
diff --git a/testsuite/tests/weak-ephe-final/ephetest.ml b/testsuite/tests/weak-ephe-final/ephetest.ml
index 2835ab8b7a..c246d647ef 100644
--- a/testsuite/tests/weak-ephe-final/ephetest.ml
+++ b/testsuite/tests/weak-ephe-final/ephetest.ml
@@ -1,5 +1,4 @@
-(* TEST
-*)
+(* TEST *)
let debug = false
diff --git a/testsuite/tests/weak-ephe-final/ephetest2.ml b/testsuite/tests/weak-ephe-final/ephetest2.ml
index 03e354f815..aa3f3e28a4 100644
--- a/testsuite/tests/weak-ephe-final/ephetest2.ml
+++ b/testsuite/tests/weak-ephe-final/ephetest2.ml
@@ -1,5 +1,4 @@
-(* TEST
-*)
+(* TEST *)
(***
This test evaluate boolean formula composed by conjunction and
diff --git a/testsuite/tests/weak-ephe-final/ephetest3.ml b/testsuite/tests/weak-ephe-final/ephetest3.ml
index 541910c91a..012563c5e6 100644
--- a/testsuite/tests/weak-ephe-final/ephetest3.ml
+++ b/testsuite/tests/weak-ephe-final/ephetest3.ml
@@ -1,5 +1,4 @@
-(* TEST
-*)
+(* TEST *)
(** This test weak table by application to the memoization of collatz
(also known as syracuse) algorithm suite computation *)
diff --git a/testsuite/tests/weak-ephe-final/finaliser.ml b/testsuite/tests/weak-ephe-final/finaliser.ml
index 68cb7b2662..b4e63794e4 100644
--- a/testsuite/tests/weak-ephe-final/finaliser.ml
+++ b/testsuite/tests/weak-ephe-final/finaliser.ml
@@ -1,5 +1,4 @@
-(* TEST
-*)
+(* TEST *)
let m = 1000
let m' = 100
diff --git a/testsuite/tests/weak-ephe-final/pr12001.ml b/testsuite/tests/weak-ephe-final/pr12001.ml
index e17c31bcf8..6d0c784404 100644
--- a/testsuite/tests/weak-ephe-final/pr12001.ml
+++ b/testsuite/tests/weak-ephe-final/pr12001.ml
@@ -1,5 +1,4 @@
-(* TEST
-*)
+(* TEST *)
let [@inline never] foo () =
let s = "Hello" ^ " world!" in
diff --git a/testsuite/tests/weak-ephe-final/weaklifetime.ml b/testsuite/tests/weak-ephe-final/weaklifetime.ml
index 233d986dfa..678850d1dc 100644
--- a/testsuite/tests/weak-ephe-final/weaklifetime.ml
+++ b/testsuite/tests/weak-ephe-final/weaklifetime.ml
@@ -1,5 +1,4 @@
-(* TEST
-*)
+(* TEST *)
let () = Random.init 12345
diff --git a/testsuite/tests/weak-ephe-final/weaklifetime2.ml b/testsuite/tests/weak-ephe-final/weaklifetime2.ml
index 2c75b00bfe..8c27aa6750 100644
--- a/testsuite/tests/weak-ephe-final/weaklifetime2.ml
+++ b/testsuite/tests/weak-ephe-final/weaklifetime2.ml
@@ -1,5 +1,4 @@
-(* TEST
-*)
+(* TEST *)
let n = 500
let loop = 2
diff --git a/testsuite/tests/weak-ephe-final/weaktest.ml b/testsuite/tests/weak-ephe-final/weaktest.ml
index 5b66088722..464944a960 100644
--- a/testsuite/tests/weak-ephe-final/weaktest.ml
+++ b/testsuite/tests/weak-ephe-final/weaktest.ml
@@ -1,5 +1,4 @@
-(* TEST
-*)
+(* TEST *)
let debug = false;;