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

Paket: libqcheck-lin-ocaml-dev (0.7-3 ve diğerleri)

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 Sürüm Paket Boyutu Kurulu Boyut Dosyalar
amd64 0.7-3+b2 390,9 kB845,0 kB [dosya listesi]
arm64 0.7-3+b2 393,7 kB1.047,0 kB [dosya listesi]
armel 0.7-3+b2 332,8 kB443,0 kB [dosya listesi]
armhf 0.7-3+b2 332,8 kB443,0 kB [dosya listesi]
i386 0.7-3+b2 332,8 kB443,0 kB [dosya listesi]
ppc64el 0.7-3+b2 396,3 kB1.088,0 kB [dosya listesi]
riscv64 0.7-3+b2 413,9 kB1.174,0 kB [dosya listesi]
s390x 0.7-3+b2 388,7 kB839,0 kB [dosya listesi]