все параметры
trixie  ] [  forky  ] [  sid  ]
[ Источник: ocaml-multicoretests  ]

Пакет: libqcheck-lin-ocaml-dev (0.9-1)

Ссылки для 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 403,2 Кб864,0 Кб [список файлов]