find-bug.py

github.comsite

Automatically minimizes source files producing an error, creating small test cases for Coq bugs.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   minimize-requires.py github.com

   Removes loading of unused dependencies.

   site link ↗
   site
2. ▲

   proof-using-helper.py github.com

   Modifies source files to include proof annotations for faster parallel proving.

   site topic math link ↗
   site
3. ▲

   mCoq github.com

   Mutation analysis tool for Coq projects.

   tool link ↗
   
4. ▲

   TestMiner andrehora.github.io

   Software testing analysis for GitHub repositories.

   site topic programming link ↗
   site
5. ▲

   inline-imports.py github.com

   Creates stand-alone source files from developments by inlining the loading of all dependencies.

   site link ↗
   site
6. ▲

   ExtLib github.com

   Collection of theories and plugins that may be useful in other Coq developments.

   tool link ↗
   

Coq › Projects > Tools: “Automatically minimizes source files producing an error, creating small test cases for Coq bugs.”