Пакет: libdscheck-ocaml-dev (0.5.0-2) [debports]

Ссылки для libdscheck-ocaml-dev

Ресурсы Debian:

Сообщения об ошибках

Исходный код :

Не найден

Сопровождающие:

Внешние ресурсы:

Сайт [github.com]

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

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

зависимости

рекомендации

предложения

enhances

dep: libcontainers-ocaml-dev-ui7p8

виртуальный пакет, предоставляемый libcontainers-ocaml-dev
dep: liboseq-ocaml-dev-oavf0

виртуальный пакет, предоставляемый liboseq-ocaml-dev
dep: libstdlib-ocaml-dev-bkvu1

виртуальный пакет, предоставляемый libstdlib-ocaml-dev
dep: ocaml-5.2.0

виртуальный пакет, предоставляемый ocaml

Загрузка libdscheck-ocaml-dev

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
sh4 (неофициальный перенос)	247,6 Кб	323,0 Кб	[список файлов]