A mutation analysis tool for Coq
Project description
pycoqmut
A mutation analysis tool for Coq.
Installation
First off, it is required to install the coq-serapi
library. Instructions to install it can be found here.
Once installed coq-serapi
, pycoqmut
can be installed via pip
:
pip --user install pycoqmut
pycoqmut
has only been tested with Python 3.8, but it is probabily fine also with 3.7 and 3.6.
Usage
From the command line:
pycoqmut-cli <options> <source file>
For more informations, execute pycoqmut --help
.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Filename, size | File type | Python version | Upload date | Hashes |
---|---|---|---|---|
Filename, size pycoqmut-0.1.0-py3-none-any.whl (6.7 kB) | File type Wheel | Python version py3 | Upload date | Hashes View |
Filename, size pycoqmut-0.1.0.tar.gz (6.0 kB) | File type Source | Python version None | Upload date | Hashes View |