├── Makefile.in ├── Mutation.mli ├── README.md ├── VERSION ├── configure.ac ├── mut_options.ml ├── mut_register.ml └── tests ├── search ├── oracle │ ├── search.err.oracle │ └── search.res.oracle └── search.c └── test_config.in /Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gpetiot/Frama-C-Mutation/HEAD/Makefile.in -------------------------------------------------------------------------------- /Mutation.mli: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gpetiot/Frama-C-Mutation/HEAD/README.md -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | 0.3.0 2 | -------------------------------------------------------------------------------- /configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gpetiot/Frama-C-Mutation/HEAD/configure.ac -------------------------------------------------------------------------------- /mut_options.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gpetiot/Frama-C-Mutation/HEAD/mut_options.ml -------------------------------------------------------------------------------- /mut_register.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gpetiot/Frama-C-Mutation/HEAD/mut_register.ml -------------------------------------------------------------------------------- /tests/search/oracle/search.err.oracle: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/search/oracle/search.res.oracle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gpetiot/Frama-C-Mutation/HEAD/tests/search/oracle/search.res.oracle -------------------------------------------------------------------------------- /tests/search/search.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gpetiot/Frama-C-Mutation/HEAD/tests/search/search.c -------------------------------------------------------------------------------- /tests/test_config.in: -------------------------------------------------------------------------------- 1 | --------------------------------------------------------------------------------