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

Paket: libdscheck-ocaml-dev (0.5.0-2 ve diğerleri)

libdscheck-ocaml-dev için bağlantılar

Screenshot

Debian Kaynakları:

ocaml-dscheck Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

model checker for testing concurrent programs

Experimental model checker for testing concurrent programs. DSCheck exploers interleavings of a user-provided program and helps ensure that its invariants are maintained regardless of scheduling decisions.

libdscheck-ocaml-dev ile İlgili Diğer Paketler

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

libdscheck-ocaml-dev indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
alpha (resmi olmayan port) 0.5.0-2+b6 195,2 kB658,0 kB [dosya listesi]
amd64 0.5.0-2+b7 240,3 kB972,0 kB [dosya listesi]
arm64 0.5.0-2+b7 243,3 kB1.038,0 kB [dosya listesi]
armhf 0.5.0-2+b3 195,1 kB658,0 kB [dosya listesi]
hppa (resmi olmayan port) 0.5.0-2+b2 195,0 kB658,0 kB [dosya listesi]
i386 0.5.0-2+b3 195,1 kB658,0 kB [dosya listesi]
loong64 (resmi olmayan port) 0.5.0-2+b6 246,5 kB323,0 kB [dosya listesi]
m68k (resmi olmayan port) 0.5.0-2+b1 246,4 kB323,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 0.5.0-2+b5 195,2 kB658,0 kB [dosya listesi]
ppc64el 0.5.0-2+b7 243,5 kB1.053,0 kB [dosya listesi]
riscv64 0.5.0-2+b7 257,2 kB1.231,0 kB [dosya listesi]
s390x 0.5.0-2+b8 239,4 kB991,0 kB [dosya listesi]
sh4 (resmi olmayan port) 0.5.0-2+b7 195,0 kB658,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 0.5.0-2+b5 195,2 kB658,0 kB [dosya listesi]
x32 (resmi olmayan port) 0.5.0-2+b2 195,1 kB658,0 kB [dosya listesi]