Revision 4eada2bb - Single mutation at a time Gather int constants to perform constant replacemen... - LustreC

« Previous | Next »

Revision 4eada2bb

Added by Pierre-Loïc Garoche about 11 years ago

ID 4eada2bb0ce455c5e89e59cfd78dca49c6b19a04
Parent f30a2012
Child 4cec0e67

Single mutation at a time
Gather int constants to perform constant replacement

Optimized the generation mechanism to avoid inifite run when the max number of mutant is reached.

added
modified
copied
renamed
deleted

src
- mutation.ml (diff)