todas as opções
bianca  ]
[ Fonte: ocaml-dscheck  ]

Pacote: libdscheck-ocaml-dev (0.5.0-2 e outros)

Links para libdscheck-ocaml-dev

Screenshot

Baixe o pacote-fonte ocaml-dscheck:

Mantenedores(as):

Fontes externas:

Pacotes similares:

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.

Outros pacotes relacionados a libdscheck-ocaml-dev

  • depende
  • recomenda
  • sugere
  • melhora

Download de libdscheck-ocaml-dev

Baixe para todas as arquiteturas disponíveis
Arquitetura Versão Tamanho do pacote Tamanho instalado Arquivos
amd64 0.5.0-2+b3 292.7 kB637.0 kB [lista de arquivos]