Revision f29f1bee - Renaming mutant nodes. Solved bug for not operator injection. - LustreC

« Previous | Next »

Revision f29f1bee

ID	f29f1bee8cfa611ec4901dedf58845e4ab05294d
Parent	9d6dceb4
Child	3618484e

Added by Pierre-Loïc Garoche over 7 years ago

Renaming mutant nodes. Solved bug for not operator injection.

Files

added
modified
copied
renamed
deleted

View differences

src
- mutation.ml (diff)
- options.ml (diff)
- pathConditions.ml (diff)
test
- Makefile (diff)