16470249206
80%
master: 78%

Ran 23 Jul 2025 12:12PM UTC

Jobs 1

Files 34

Run time 1min

Badge

Embed ▾

Committed 23 Jul 2025 12:09PM UTC coverage: 80.345%. First build

Build # 16470249206

Build Type

push

github

Committed by

psafont

Commit Message

xcp_service, debug, xapi_globs: avoid ad-hoc functions for splitting strings

Replace them with the functionally identical function String.split_on_char.

I checked they were functionally identical using the REPL:

```
$ let rec split_c c str =
  try
    let i = String.index str c in
    String.sub str 0 i
    :: split_c c (String.sub str (i + 1) (String.length str - i - 1))
  with Not_found -> [str]
;;
val split_c : char -> string -> string list = <fun>

$ let eq c a = split_c c a = String.split_on_char c a ;;
val eq : char -> string -> bool = <fun>

$ List.for_all (eq ' ') [""; " "; " a"; "a "; " a "; "ab"; "a b"];;
- : bool = true
```

I also tested Xstringext.split similarly, and behaves the same as split_c.

Xstringext.split_f instead avoids producing empty strings, so it can be replaced
with filtering them from the result.

Signed-off-by: Pau Ruiz Safont <pau.safont@vates.tech>

Run Details

3491 of 4345 relevant lines covered (80.35%)

0.8 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	python3.11 - 16470249206.1	23 Jul 2025 12:12PM UTC	34	80.35	GitHub Action Run

psafont / xen-api / 16470249206
80%
master: 78%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 16470249206

psafont / xen-api / 16470249206 80% master: 78%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 16470249206

psafont / xen-api / 16470249206
80%
master: 78%

README BADGES
x