всички настройки
trixie  ] [  forky  ] [  sid  ]
[ Източник: ocaml-multicoretests  ]

Пакет: libqcheck-lin-ocaml-dev (0.7-3 и други)

Връзки за libqcheck-lin-ocaml-dev

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник ocaml-multicoretests.

Отговорници:

Външни препратки:

Подобни пакети:

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

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на libqcheck-lin-ocaml-dev

Изтегляне за всички налични архитектури
Архитектура Версия Големина на пакета Големина след инсталиране Файлове
amd64 0.7-3+b2 390,9 кБ845,0 кБ [списък на файловете]
arm64 0.7-3+b2 393,7 кБ1 047,0 кБ [списък на файловете]
armel 0.7-3+b2 332,8 кБ443,0 кБ [списък на файловете]
armhf 0.7-3+b2 332,8 кБ443,0 кБ [списък на файловете]
i386 0.7-3+b2 332,8 кБ443,0 кБ [списък на файловете]
ppc64el 0.7-3+b2 396,3 кБ1 088,0 кБ [списък на файловете]
riscv64 0.7-3+b2 413,9 кБ1 174,0 кБ [списък на файловете]
s390x 0.7-3+b2 388,7 кБ839,0 кБ [списък на файловете]