cachet/test/test.ml

let random ?g len =
  let bstr = Bigarray.Array1.create Bigarray.char Bigarray.c_layout len in
  for i = 0 to len - 1 do
    let chr =
      match g with
      | Some g -> Char.unsafe_chr (Random.State.bits g land 0xff)
      | None -> Char.unsafe_chr (Random.bits () land 0xff)
    in
    bstr.{i} <- chr
  done;
  bstr

let make ?cachesize ?pagesize ?g len =
  let bstr = random ?g len in
  let map () ~pos len =
    if pos < 0 || len < 0 || pos > Bigarray.Array1.dim bstr then
      Printf.ksprintf invalid_arg "map ~pos:%d %d" pos len;
    let len' = Int.min (Bigarray.Array1.dim bstr - pos) len in
    Bigarray.Array1.sub bstr pos len'
  in
  (Cachet.make ?cachesize ?pagesize ~map (), Cachet.Bstr.of_bigstring bstr)

let test01 =
  Alcotest.test_case "test01" `Quick @@ fun () ->
  let t, oracle = make ~cachesize:0x100 ~pagesize:0x100 0xe000 in
  let a = Cachet.get_uint8 t 0xdead in
  let b = Char.code (Cachet.Bstr.get oracle 0xdead) in
  Alcotest.(check int) "0xdead" a b;
  let a = Cachet.get_string t 0xdead ~len:10 in
  let b = Cachet.Bstr.sub_string oracle ~off:0xdead ~len:10 in
  Alcotest.(check string) "0xdead" a b;
  let a = Cachet.get_string t 0xdea0 ~len:10 in
  let b = Cachet.Bstr.sub_string oracle ~off:0xdea0 ~len:10 in
  Alcotest.(check string) "0xdea0" a b;
  let a = Cachet.get_seq t 0 in
  let b = Cachet.Bstr.to_string oracle in
  let a = List.of_seq a in
  let a = String.concat "" a in
  Alcotest.(check string) "all" a b

let () = Alcotest.run "cachet" [ ("simple", [ test01 ]) ]