package coq-async-test

  1. Overview
  2. No Docs
Testing asynchronous system

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. Y
    Yishuai Li <yishuai@cis.upenn.edu>

Maintainers

  1. Y
    Yishuai Li <yishuai@cis.upenn.edu>

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:AsyncTest

Published: 29 May 2022

Dependencies (4)

  1. coq-quickchick >= "1.6.3"
  2. coq-itree-io >= "0.1.0"
  3. coq-json >= "0.1.1"
  4. coq >= "8.14~"

Dev Dependencies

None

Used by (2)

  1. coq-file-sync
  2. coq-http >= "0.2.0"

Conflicts

None