všetky možnosti
trixie  ] [  forky  ] [  sid  ]
[ Zdroj: ocaml-dscheck  ]

Balík: libdscheck-ocaml-dev (0.5.0-2 a iné)

Odkazy pre libdscheck-ocaml-dev

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík ocaml-dscheck:

Správcovia:

Externé zdroje:

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom libdscheck-ocaml-dev

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libdscheck-ocaml-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 0.5.0-2+b4 292.5 kB637.0 kB [zoznam súborov]
arm64 0.5.0-2+b4 294.2 kB691.0 kB [zoznam súborov]
ppc64el 0.5.0-2+b4 295.9 kB717.0 kB [zoznam súborov]
riscv64 0.5.0-2+b4 309.3 kB895.0 kB [zoznam súborov]
s390x 0.5.0-2+b5 290.4 kB637.0 kB [zoznam súborov]