search

jmid / mutaml

An OCaml mutation tester
BSD 2-Clause "Simplified" License
65 stars 4 forks source link

Add --muts option to mutaml-runner #12

Closed jmid closed 1 year ago

jmid commented 1 year ago

This PR addresses #5 by adding an option --muts to mutaml-runner. In this first version, only a single specified .muts-file is supported. While writing the README, I however started wondering whether specifying an .ml-file would perhaps be more user-friendly, rather than exposing an implementation detail such as .muts files? :thinking:

For uniformity, the PR also changes the existing mutaml-runner and mutaml-report options to all use a two dash -- prefix, which seems to be the CLI standard for non-single-char options. I've however kept single-dash options in the ppxlib instrumentation to be consistent with the other available dune instrumentation flags.

Ping @raphael-proust

raphael-proust commented 1 year ago

I didn't look at the commit history, but the diff looks good!! :+1:

raphael-proust commented 1 year ago

All the CI failures seem to be related to either timeouts or to compiler/linker warnings leaking out into the cram tests. I think these can be safely ignored, although maybe the dune team (or some other people?) would want a heads up on that.