Commit c229d61a authored by MARCHE Claude's avatar MARCHE Claude
Browse files

LRS: removed tests

parent c9031b7a
...@@ -139,6 +139,7 @@ let lcp (a:array int) (x y:int) : int ...@@ -139,6 +139,7 @@ let lcp (a:array int) (x y:int) : int
end end
(*
module LCP_test module LCP_test
(** test harness for lcp *) (** test harness for lcp *)
...@@ -177,6 +178,7 @@ let test () = ...@@ -177,6 +178,7 @@ let test () =
end end
*)
(** {2 Second module: sorting suffixes } *) (** {2 Second module: sorting suffixes } *)
module SuffixSort module SuffixSort
...@@ -337,7 +339,7 @@ end ...@@ -337,7 +339,7 @@ end
(*
module SuffixArray_test module SuffixArray_test
use import array.Array use import array.Array
...@@ -375,7 +377,7 @@ let test () = ...@@ -375,7 +377,7 @@ let test () =
*) *)
end end
*)
(** {2 Fourth module: Longest Repeated Substring} *) (** {2 Fourth module: Longest Repeated Substring} *)
...@@ -471,6 +473,7 @@ lemma le_le_common_prefix: ...@@ -471,6 +473,7 @@ lemma le_le_common_prefix:
end end
(*
module LRS_test module LRS_test
use import array.Array use import array.Array
...@@ -484,4 +487,4 @@ use import LRS ...@@ -484,4 +487,4 @@ use import LRS
check { !solStart = 1 /\ !solLength = 1 } check { !solStart = 1 /\ !solLength = 1 }
end end
*)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment