Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / mutation.ml @ 4eada2bb

History | View | Annotate | Download (5.81 KB)

# Date Author Comment
4eada2bb 11/08/2013 11:15 AM Pierre-Loïc Garoche

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.

f30a2012 11/05/2013 04:21 PM Pierre-Loïc Garoche

Mutants generator for lustre