všetky možnosti
bianca  ]
[ Zdroj: ocaml-multicoretests  ]

Balík: libqcheck-lin-ocaml-dev (0.7-3 a iné)

Odkazy pre libqcheck-lin-ocaml-dev

Screenshot

Stiahnuť zdrojový balík ocaml-multicoretests:

Správcovia:

Externé zdroje:

Podobné balíky:

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.

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

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

Stiahnuť libqcheck-lin-ocaml-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 0.7-3+b2 390.9 kB845.0 kB [zoznam súborov]
arm64 0.7-3+b2 393.7 kB1,047.0 kB [zoznam súborov]