this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "A simple state-machine framework for OCaml based on QCheck"
3description: """
4This library implements a simple, typed state machine framework for
5property-based testing of imperative code. Tests are described by
6(a generator of) symbolic commands and two command interpreters over
7an abstract model and the system under test.
8
9The library requires a recent installation of the QCheck framework.
10"""
11tags: [
12 "state machine"
13 "test"
14 "property"
15 "quickcheck"
16]
17license: "BSD-2-Clause"
18homepage: "https://github.com/jmid/qcstm"
19bug-reports: "https://github.com/jmid/qcstm/issues"
20authors: [ "Jan Midtgaard" ]
21maintainer: [ "Jan Midtgaard <mail@janmidtgaard.dk>" ]
22dev-repo: "git+https://github.com/jmid/qcstm.git"
23url {
24 src: "https://github.com/jmid/qcstm/archive/0.1.1.tar.gz"
25 checksum: [
26 "sha256=b634944b197512ff46c3e8ffeb86c4abd3b308db00b3e9defafaf9bb6112caa8"
27 "md5=aea97b691038c9c93d1378ba4d5ad7ad"
28 ]
29}
30depends: [
31 "ocaml" {>= "4.05.0"}
32 "qcheck" {>= "0.8"}
33 "ocamlfind" {build}
34 "ocamlbuild" {build}
35 "ppx_deriving" {with-test}
36 "ctypes" {with-test & < "0.18.0"}
37 "ctypes-foreign" {with-test}
38]
39
40build: [
41 [make "all"]
42]
43
44install: [
45 [make "install"]
46 [make "examples"] {with-test}
47]