blob: 5bcc2165a6397488798b53a74be577e5cf55f742 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
(*Generated by Lem from missing_pervasives.lem.*)
open Lem_num
open Lem_list
open Lem_basic_classes
open Lem_bool
open Lem_maybe
open Lem_string
open Lem_assert_extra
open Show
open Lem_sorting
open Missing_pervasives
let run_test n loc b =
if b then (Format.printf "%s: ok\n" n) else ((Format.printf "%s: FAILED\n %s\n\n" n loc); exit 1);;
(****************************************************)
(* *)
(* Assertions *)
(* *)
(****************************************************)
let _ = run_test "split_string_null" "File \"missing_pervasives.lem\", line 418, character 1 to line 422, character 32\n" (
(let afterSplit = (Ml_bindings.split_string_on_char (Xstring.implode ([null_char; 's'; null_char; 't']: char list)) null_char)
in
let _ = (prerr_endline ("split string is " ^ (string_of_list
instance_Show_Show_string_dict afterSplit)))
in (listEqualBy (=)
afterSplit [""; "s"; "t"]))
)
|
