A mutation analysis tool for Coq
A mutation analysis tool for Coq.
First off, it is required to install the
coq-serapi library. Instructions to install it can be found here.
pycoqmut can be installed via
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.
From the command line:
pycoqmut-cli <options> <source file>
For more informations, execute
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|