package coq-async-test
Testing asynchronous system
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.0.tar.gz
md5=11edde75a469675be08ab7cf55ccb415
sha512=e92a2d160f43050f6a2084de199c537750db3bbe0c7005de7043f528a077f0948c0cfffff712d5f8ccb3573705a4bc77c4de6a534a7cb42292346adb976a3b0e
Description
From interaction trees to asynchronous tests.
Tags
category:Miscellaneous/Extracted Programs/Decision procedures keyword:extraction keyword:reactive systems logpath:AsyncTestPublished: 29 May 2022
Dependencies (4)
-
coq-quickchick
>= "1.6.3" -
coq-itree-io
>= "0.1.0" -
coq-json
>= "0.1.1" -
coq
>= "8.14~"
Dev Dependencies
None
Used by (2)
- coq-file-sync
-
coq-http
>= "0.2.0"
Conflicts
None
On This Page