tüm seçenekler
trixie  ] [  forky  ] [  sid  ]
[ Kaynak: ocaml-multicoretests  ]

Paket: libqcheck-lin-ocaml-dev (0.9-1)

libqcheck-lin-ocaml-dev için bağlantılar

Screenshot

Debian Kaynakları:

ocaml-multicoretests Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

QCheck module testing sequential consistency

Allows for testing an API for sequential consistency. I.e. it performs a sequence of random commands in parallel, records the results and checks whether the observed results can be liniarized and reconciled with some sequential execution. The library offers an embedded, combinator DSL to describe signatures succinctly.

libqcheck-lin-ocaml-dev ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libqcheck-lin-ocaml-dev indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
amd64 403,2 kB864,0 kB [dosya listesi]