2025-06-29 17:55.30: New job: test jmid/mutaml https://github.com/jmid/mutaml.git#refs/heads/main (983230ac24d5433c1d42e18e97ac0ac70149ca62) (windows-amd64:windows-server-2022-amd64-4.14_opam-2.3)
Base: windows-server-2022-amd64-ocaml-4.14
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/jmid/mutaml.git" -b "main" && cd "mutaml" && git reset --hard 983230ac
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM windows-server-2022-amd64-ocaml-4.14
# windows-server-2022-amd64-4.14_opam-2.3
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
RUN ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
RUN cd ~/opam-repository && (git cat-file -e 4f977ccb61d6694f12c27cd4e9b06ef51088bd9b || git fetch origin master) && git reset -q --hard 4f977ccb61d6694f12c27cd4e9b06ef51088bd9b && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 mutaml.opam /Users/opam/src/./
RUN opam pin add -yn mutaml.dev '/Users/opam/src/./'
RUN echo '(lang dune 3.0)' > '/cygdrive/c/Users/opam/src/./dune-project'
ENV DEPS="arch-x86_64.1 base.v0.16.4 base-bigarray.base base-threads.base base-unix.base conf-diffutils.2 conf-mingw-w64-gcc-x86_64.1 conf-timeout.1 cppo.1.8.0 csexp.1.5.2 dune.3.19.1 dune-configurator.3.19.1 flexdll.0.44 host-arch-x86_64.1 host-system-mingw.1 mingw-w64-shims.0.2.0 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-env-mingw64.1 ocaml-options-vanilla.1 ocamlfind.1.9.8 octavius.1.2.2 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_js_style.v0.16.0 ppx_yojson_conv.v0.16.0 ppx_yojson_conv_lib.v0.16.0 ppxlib.0.35.0 seq.base sexplib0.v0.16.0 stdlib-random.1.2.0 stdlib-shims.0.3.0 system-mingw.1 yojson.3.0.0"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --depext-only -y mutaml.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /Users/opam/src
RUN cd /cygdrive/c/Users/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2025-06-29 17:55.30: Using cache hint "jmid/mutaml-windows-server-2022-amd64-ocaml-4.14-windows-server-2022-amd64-4.14_opam-2.3-3c0adfd2ac841b7b1210f7e6a5eabd06"
2025-06-29 17:55.30: Using OBuilder spec:
((from windows-server-2022-amd64-ocaml-4.14)
(comment windows-server-2022-amd64-4.14_opam-2.3)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(run (shell "ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 4f977ccb61d6694f12c27cd4e9b06ef51088bd9b || git fetch origin master) && git reset -q --hard 4f977ccb61d6694f12c27cd4e9b06ef51088bd9b && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src mutaml.opam) (dst /Users/opam/src/./))
(run (network host)
(shell "opam pin add -yn mutaml.dev '/Users/opam/src/./'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > '/cygdrive/c/Users/opam/src/./dune-project'"))
(env DEPS "arch-x86_64.1 base.v0.16.4 base-bigarray.base base-threads.base base-unix.base conf-diffutils.2 conf-mingw-w64-gcc-x86_64.1 conf-timeout.1 cppo.1.8.0 csexp.1.5.2 dune.3.19.1 dune-configurator.3.19.1 flexdll.0.44 host-arch-x86_64.1 host-system-mingw.1 mingw-w64-shims.0.2.0 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-env-mingw64.1 ocaml-options-vanilla.1 ocamlfind.1.9.8 octavius.1.2.2 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_js_style.v0.16.0 ppx_yojson_conv.v0.16.0 ppx_yojson_conv_lib.v0.16.0 ppxlib.0.35.0 seq.base sexplib0.v0.16.0 stdlib-random.1.2.0 stdlib-shims.0.3.0 system-mingw.1 yojson.3.0.0")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y mutaml.dev $DEPS"))
(run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /Users/opam/src))
(run (shell "cd /cygdrive/c/Users/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
)
2025-06-29 17:55.30: Waiting for resource in pool OCluster
2025-06-29 17:55.30: Waiting for worker…
2025-06-29 17:55.30: Got resource from pool OCluster
Building on thyme
All commits already cached
HEAD is now at 983230a Merge pull request #41 from jmid/avoid-opam-patching
(from windows-server-2022-amd64-ocaml-4.14)
2025-06-29 17:55.30 ---> using "55c9cbebb0e098c78ccc09b1cc6e84ec9f0bd2275b7cebf331cc913575946dc0" from cache
/: (comment windows-server-2022-amd64-4.14_opam-2.3)
/: (user (uid 1000) (gid 1000))
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (run (shell "ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-06-29 17:55.30 ---> using "fe3978d598c814685c6ee8922c3ae17147a3127f83af70ca6588d6b26847cd93" from cache
/: (run (shell "opam init --reinit -ni"))
No configuration file found, using built-in defaults.
<><> Unix support infrastructure ><><><><><><><><><><><><><><><><><><><><><><><>
opam and the OCaml ecosystem in general require various Unix tools in order to operate correctly. At present, this requires the installation of Cygwin to provide these tools.
How should opam obtain Unix tools?
> 1. Use tools found in PATH (Cygwin installation at C:\cygwin64)
2. Automatically create an internal Cygwin installation that will be managed by opam (recommended)
3. Use Cygwin installation found in C:\cygwin64
4. Use another existing Cygwin/MSYS2 installation
5. Abort initialisation
[1/2/3/4/5] 1
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from file://C:/Users/opam/opam-repository
2025-06-29 17:55.30 ---> using "0caf41f56a7e1f8a9ba062ae44d7d1f50471f3874e543c30c0d1c2b229f1e062" from cache
/: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
CYGWIN_NT-10.0-20348 3.5.4-1.x86_64
The OCaml toplevel, version 4.14.2
2.3.0
2025-06-29 17:55.30 ---> using "6a7802e4db8e302e8ba8d87ff4e9376ae777099db0cd03bdab21ff27a442740c" from cache
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 4f977ccb61d6694f12c27cd4e9b06ef51088bd9b || git fetch origin master) && git reset -q --hard 4f977ccb61d6694f12c27cd4e9b06ef51088bd9b && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
11bdbee611..5a84d84c0b master -> origin/master
4f977ccb61 Merge pull request #28109 from mseri/frama-c
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file://C:/Users/opam/opam-repository
The following actions will be performed:
=== recompile 3 packages
- recompile ocaml 4.14.2 [uses ocaml-base-compiler]
- recompile ocaml-base-compiler 4.14.2 (pinned) [uses flexdll]
- recompile ocaml-config 3 [uses ocaml-base-compiler]
=== upgrade 1 package
- upgrade flexdll 0.43 to 0.44
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> retrieved flexdll.0.44 (cached)
-> removed ocaml.4.14.2
-> removed ocaml-config.3
-> retrieved ocaml-base-compiler.4.14.2 (cached)
-> removed ocaml-base-compiler.4.14.2
-> removed flexdll.0.43
-> installed flexdll.0.44
-> installed ocaml-base-compiler.4.14.2
-> installed ocaml-config.3
-> installed ocaml.4.14.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-06-29 18:01.03 ---> saved as "da9bccfc4718ae38ed9a5dc30b4cbdebba5c7419b4c759beccc03883c261e4f5"
/: (copy (src mutaml.opam) (dst /Users/opam/src/./))
2025-06-29 18:01.22 ---> saved as "14edbe8f734ea3f4446514227eaeebbac16d96f2aaf83be096779f45d78048dd"
/: (run (network host)
(shell "opam pin add -yn mutaml.dev '/Users/opam/src/./'"))
[mutaml.dev] synchronised (file://C:/Users/opam/src/.)
mutaml is now pinned to file://C:/Users/opam/src/. (version dev)
2025-06-29 18:01.43 ---> saved as "50e0bfda7a966038be025332afe47e8cd0caafcc96371fae8e6e2313b17d0139"
/: (run (network host)
(shell "echo '(lang dune 3.0)' > '/cygdrive/c/Users/opam/src/./dune-project'"))
2025-06-29 18:02.02 ---> saved as "4ee87e6ef525f70dda99e74bee32fce14f07c7a44f05f37b19dce3c774e75115"
/: (env DEPS "arch-x86_64.1 base.v0.16.4 base-bigarray.base base-threads.base base-unix.base conf-diffutils.2 conf-mingw-w64-gcc-x86_64.1 conf-timeout.1 cppo.1.8.0 csexp.1.5.2 dune.3.19.1 dune-configurator.3.19.1 flexdll.0.44 host-arch-x86_64.1 host-system-mingw.1 mingw-w64-shims.0.2.0 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.3 ocaml-env-mingw64.1 ocaml-options-vanilla.1 ocamlfind.1.9.8 octavius.1.2.2 ounit2.2.2.7 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppx_js_style.v0.16.0 ppx_yojson_conv.v0.16.0 ppx_yojson_conv_lib.v0.16.0 ppxlib.0.35.0 seq.base sexplib0.v0.16.0 stdlib-random.1.2.0 stdlib-shims.0.3.0 system-mingw.1 yojson.3.0.0")
/: (env CI true)
/: (env OCAMLCI true)
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "opam update --depexts && opam install --cli=2.3 --depext-only -y mutaml.dev $DEPS"))
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[mutaml.dev] synchronised (file://C:/Users/opam/src/.)
[NOTE] Package system-mingw is already installed (current version is 1).
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-env-mingw64 is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package mingw-w64-shims is already installed (current version is 0.2.0).
[NOTE] Package host-system-mingw is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package flexdll is already installed (current version is 0.44).
[NOTE] Package conf-mingw-w64-gcc-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
[NOTE] Package arch-x86_64 is already installed (current version is 1).
2025-06-29 18:03.21 ---> saved as "62682256951160986cd844281f149104975049a1cd434d425640612b68375914"
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\local\\opam\\download-cache")))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package system-mingw is already installed (current version is 1).
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-env-mingw64 is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package mingw-w64-shims is already installed (current version is 0.2.0).
[NOTE] Package host-system-mingw is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
[NOTE] Package flexdll is already installed (current version is 0.44).
[NOTE] Package conf-mingw-w64-gcc-x86_64 is already installed (current version is 1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
[NOTE] Package arch-x86_64 is already installed (current version is 1).
The following actions will be performed:
=== install 22 packages
- install base v0.16.4
- install conf-diffutils 2
- install conf-timeout 1
- install cppo 1.8.0
- install csexp 1.5.2
- install dune 3.19.1
- install dune-configurator 3.19.1
- install ocaml-compiler-libs v0.12.4
- install ocamlfind 1.9.8
- install octavius 1.2.2
- install ounit2 2.2.7
- install ppx_derivers 1.2.1
- install ppx_deriving 6.0.3
- install ppx_js_style v0.16.0
- install ppx_yojson_conv v0.16.0
- install ppx_yojson_conv_lib v0.16.0
- install ppxlib 0.35.0
- install seq base
- install sexplib0 v0.16.0
- install stdlib-random 1.2.0
- install stdlib-shims 0.3.0
- install yojson 3.0.0
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cppo.1.8.0 (cached)
-> retrieved base.v0.16.4 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved octavius.1.2.2 (cached)
-> retrieved ounit2.2.2.7 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> installed conf-diffutils.2
-> retrieved ppx_deriving.6.0.3 (cached)
-> retrieved ppx_js_style.v0.16.0 (cached)
-> retrieved ppx_yojson_conv.v0.16.0 (cached)
-> retrieved ppx_yojson_conv_lib.v0.16.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved sexplib0.v0.16.0 (cached)
-> installed conf-timeout.1
-> retrieved stdlib-random.1.2.0 (https://github.com/ocaml/stdlib-random/archive/refs/tags/1.2.0.tar.gz)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved yojson.3.0.0 (https://github.com/ocaml-community/yojson/releases/download/3.0.0/yojson-3.0.0.tbz)
-> retrieved dune.3.19.1, dune-configurator.3.19.1 (https://github.com/ocaml/dune/releases/download/3.19.1/dune-3.19.1.tbz)
[WARNING] .install file is missing .exe extension for src/findlib/ocamlfind
[WARNING] .install file is missing .exe extension for src/findlib/ocamlfind_opt
[WARNING] Automatically adding .exe to C:\Users\opam\AppData\Local\opam\4.14.2\.opam-switch\build\ocamlfind.1.9.8\src\findlib\ocamlfind.exe
[WARNING] Automatically adding .exe to C:\Users\opam\AppData\Local\opam\4.14.2\.opam-switch\build\ocamlfind.1.9.8\src\findlib\ocamlfind_opt.exe
[WARNING] C:\Users\opam\AppData\Local\opam\4.14.2\bin\safe_camlp4 is a script; the command won't be available
-> installed ocamlfind.1.9.8
-> installed dune.3.19.1
-> installed csexp.1.5.2
-> installed ppx_derivers.1.2.1
-> installed cppo.1.8.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed octavius.1.2.2
-> installed sexplib0.v0.16.0
-> installed stdlib-shims.0.3.0
-> installed yojson.3.0.0
-> installed stdlib-random.1.2.0
-> installed ppx_yojson_conv_lib.v0.16.0
-> installed dune-configurator.3.19.1
-> installed ounit2.2.2.7
-> installed base.v0.16.4
-> installed ppxlib.0.35.0
-> installed ppx_js_style.v0.16.0
-> installed ppx_deriving.6.0.3
-> installed ppx_yojson_conv.v0.16.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-06-29 18:10.59 ---> saved as "08060d29e86723160fd0ffec485b55eb283317dc967d2de988ccea0f7d923730"
/: (copy (src .) (dst /Users/opam/src))
2025-06-29 18:11.34 ---> saved as "2cf0b76c0db5d594bc56ca84d41c274181db7d8b174a52f306d2ab3fad23fa4e"
/: (run (shell "cd /cygdrive/c/Users/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/examples/testproj-2-modules/test && .\ounittest.exe)
..
Ran: 2 tests in: 0.00 seconds.
OK
(cd _build/default/examples/testproj-1-module && .\ounittest.exe)
....
Ran: 4 tests in: 0.02 seconds.
OK
File "test/instrumentation-tests/records.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/f58e59a58ecff9b6ba688a56bfa06b97/default/test/instrumentation-tests/records.t _build/.sandbox/f58e59a58ecff9b6ba688a56bfa06b97/default/test/instrumentation-tests/records.t.corrected
diff --git a/_build/.sandbox/f58e59a58ecff9b6ba688a56bfa06b97/default/test/instrumentation-tests/records.t b/_build/.sandbox/f58e59a58ecff9b6ba688a56bfa06b97/default/test/instrumentation-tests/records.t.corrected
index 883a9cc..213ef48 100644
--- a/_build/.sandbox/f58e59a58ecff9b6ba688a56bfa06b97/default/test/instrumentation-tests/records.t
+++ b/_build/.sandbox/f58e59a58ecff9b6ba688a56bfa06b97/default/test/instrumentation-tests/records.t.corrected
@@ -21,7 +21,23 @@ An simple record example
Randomness seed: 896745231 Mutation rate: 50 GADTs enabled: true
Created 3 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
File "test/instrumentation-tests/simple_print.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/bddb260a31d124c42265ec9788469633/default/test/instrumentation-tests/simple_print.t _build/.sandbox/bddb260a31d124c42265ec9788469633/default/test/instrumentation-tests/simple_print.t.corrected
diff --git a/_build/.sandbox/bddb260a31d124c42265ec9788469633/default/test/instrumentation-tests/simple_print.t b/_build/.sandbox/bddb260a31d124c42265ec9788469633/default/test/instrumentation-tests/simple_print.t.corrected
index 9161045..c70803f 100644
--- a/_build/.sandbox/bddb260a31d124c42265ec9788469633/default/test/instrumentation-tests/simple_print.t
+++ b/_build/.sandbox/bddb260a31d124c42265ec9788469633/default/test/instrumentation-tests/simple_print.t.corrected
@@ -28,7 +28,23 @@ Compile with instrumentation and filter result:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 2 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
File "test/instrumentation-tests/bool.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/402b25e60c942990a134adf98bc2a750/default/test/instrumentation-tests/bool.t _build/.sandbox/402b25e60c942990a134adf98bc2a750/default/test/instrumentation-tests/bool.t.corrected
diff --git a/_build/.sandbox/402b25e60c942990a134adf98bc2a750/default/test/instrumentation-tests/bool.t b/_build/.sandbox/402b25e60c942990a134adf98bc2a750/default/test/instrumentation-tests/bool.t.corrected
index 5c6c1d6..7468355 100644
--- a/_build/.sandbox/402b25e60c942990a134adf98bc2a750/default/test/instrumentation-tests/bool.t
+++ b/_build/.sandbox/402b25e60c942990a134adf98bc2a750/default/test/instrumentation-tests/bool.t.corrected
@@ -19,7 +19,23 @@ Test true:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -51,7 +67,23 @@ Test false:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
File "test/issue-attributes.t/run.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/fa81b2997076be123c0fcc64aaeca9fa/default/test/issue-attributes.t/run.t _build/.sandbox/fa81b2997076be123c0fcc64aaeca9fa/default/test/issue-attributes.t/run.t.corrected
diff --git a/_build/.sandbox/fa81b2997076be123c0fcc64aaeca9fa/default/test/issue-attributes.t/run.t b/_build/.sandbox/fa81b2997076be123c0fcc64aaeca9fa/default/test/issue-attributes.t/run.t.corrected
index f01a6b8..7dd1829 100644
--- a/_build/.sandbox/fa81b2997076be123c0fcc64aaeca9fa/default/test/issue-attributes.t/run.t
+++ b/_build/.sandbox/fa81b2997076be123c0fcc64aaeca9fa/default/test/issue-attributes.t/run.t.corrected
@@ -52,7 +52,6 @@ Set seed and (full) mutation rate as environment variables, for repeatability
test.pp.ml
$ mutaml-runner _build/default/test.exe
- read mut file test.muts
- Warning: No mutations were listed in test.muts
- Did not find any mutations across the files listed in mutaml-mut-files.txt
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
[1]
File "test/issue-stdlib-equal.t/run.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/262a1a2acb1e4d4ac7f970f7a0610f07/default/test/issue-stdlib-equal.t/run.t _build/.sandbox/262a1a2acb1e4d4ac7f970f7a0610f07/default/test/issue-stdlib-equal.t/run.t.corrected
diff --git a/_build/.sandbox/262a1a2acb1e4d4ac7f970f7a0610f07/default/test/issue-stdlib-equal.t/run.t b/_build/.sandbox/262a1a2acb1e4d4ac7f970f7a0610f07/default/test/issue-stdlib-equal.t/run.t.corrected
index 0393bdf..32b4ffb 100644
--- a/_build/.sandbox/262a1a2acb1e4d4ac7f970f7a0610f07/default/test/issue-stdlib-equal.t/run.t
+++ b/_build/.sandbox/262a1a2acb1e4d4ac7f970f7a0610f07/default/test/issue-stdlib-equal.t/run.t.corrected
@@ -40,7 +40,23 @@ Set seed and (full) mutation rate as environment variables, for repeatability
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -62,35 +78,11 @@ Set seed and (full) mutation rate as environment variables, for repeatability
test.pp.ml
$ mutaml-runner _build/default/test.exe
- read mut file test.muts
- Testing mutant test:0 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 1 0.0% 0 0.0% 0 100.0% 1
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -1,5 +1,5 @@
- let (=) = Int.equal
-
- -let add a b = a + b
- +let add a b = a - b
- ;;
- assert (add 4 3 >= 0)
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
File "test/negative-tests/runner-negtests.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/ef0e0862de9557916596fa98d98328b7/default/test/negative-tests/runner-negtests.t _build/.sandbox/ef0e0862de9557916596fa98d98328b7/default/test/negative-tests/runner-negtests.t.corrected
diff --git a/_build/.sandbox/ef0e0862de9557916596fa98d98328b7/default/test/negative-tests/runner-negtests.t b/_build/.sandbox/ef0e0862de9557916596fa98d98328b7/default/test/negative-tests/runner-negtests.t.corrected
index 1e14e02..55c1d4e 100644
--- a/_build/.sandbox/ef0e0862de9557916596fa98d98328b7/default/test/negative-tests/runner-negtests.t
+++ b/_build/.sandbox/ef0e0862de9557916596fa98d98328b7/default/test/negative-tests/runner-negtests.t.corrected
@@ -1,11 +1,13 @@
Check that report tool fails when run without a test command:
$ mutaml-runner
- Usage: mutaml-runner [options] <test-command>
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
[1]
Try to supply an invalid command as argument, but still missing a mutation file:
$ mutaml-runner scooby-doo.sh
- Could not read file mutaml-mut-files.txt - _build/default/mutaml-mut-files.txt: No such file or directory
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
[1]
Now create the missing mutation file:
@@ -13,12 +15,14 @@ Now create the missing mutation file:
$ touch _build/default/mutaml-mut-files.txt
and try again:
$ mutaml-runner scooby-doo.sh
- No files were listed in mutaml-mut-files.txt
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
[1]
Try passing a non-existing muts-file:
$ mutaml-runner --muts somefile.muts scooby-doo.sh
- Could not read file somefile.muts - _build/default/somefile.muts: No such file or directory
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
[1]
Create a mutation file with a non-existing entry:
@@ -27,8 +31,8 @@ Create a mutation file with a non-existing entry:
> EOF
and try again:
$ mutaml-runner scooby-doo.sh
- read mut file somefile.muts
- Could not read file somefile.muts - _build/default/somefile.muts: No such file or directory
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
[1]
Create a corresponding mutation file with an empty list of mutations:
@@ -43,9 +47,8 @@ Check that it was created:
Now confirm that it is rejected by the report tool:
$ mutaml-runner scooby-doo.sh
- read mut file somefile.muts
- Warning: No mutations were listed in somefile.muts
- Did not find any mutations across the files listed in mutaml-mut-files.txt
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
[1]
Create a corresponding mutation file with a dummy mutation:
@@ -61,8 +64,8 @@ Create a corresponding mutation file with a dummy mutation:
> EOF
Now try running again with a broken command:
$ mutaml-runner scooby-doo.sh
- read mut file somefile.muts
- Testing mutant somefile:0 ... Command not found: failed to run the test command "scooby-doo.sh"
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
[1]
@@ -70,12 +73,14 @@ Now try running again with a broken command:
Run with an unknown build context passed as environment variable:
$ export MUTAML_BUILD_CONTEXT="_build/in-a-galaxy-far-far-away"
$ mutaml-runner true
- Could not read file mutaml-mut-files.txt - _build/in-a-galaxy-far-far-away/mutaml-mut-files.txt: No such file or directory
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
[1]
Run with an unknown build context passed as command line option:
$ mutaml-runner --build-context _build/foofoo true
- Could not read file mutaml-mut-files.txt - _build/foofoo/mutaml-mut-files.txt: No such file or directory
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
[1]
File "test/issue-pattern-match.t/run.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/95f8c01a681cf4794ac1131f84fd1011/default/test/issue-pattern-match.t/run.t _build/.sandbox/95f8c01a681cf4794ac1131f84fd1011/default/test/issue-pattern-match.t/run.t.corrected
diff --git a/_build/.sandbox/95f8c01a681cf4794ac1131f84fd1011/default/test/issue-pattern-match.t/run.t b/_build/.sandbox/95f8c01a681cf4794ac1131f84fd1011/default/test/issue-pattern-match.t/run.t.corrected
index b47e514..39875d0 100644
--- a/_build/.sandbox/95f8c01a681cf4794ac1131f84fd1011/default/test/issue-pattern-match.t/run.t
+++ b/_build/.sandbox/95f8c01a681cf4794ac1131f84fd1011/default/test/issue-pattern-match.t/run.t.corrected
@@ -48,7 +48,23 @@ Set seed and (full) mutation rate as environment variables, for repeatability
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 2 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -81,59 +97,18 @@ Set seed and (full) mutation rate as environment variables, for repeatability
test.pp.ml
$ mutaml-runner _build/default/test.exe
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 2 0.0% 0 0.0% 0 100.0% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -1,4 +1,4 @@
- -let accepted_codes n = (n=42)
- +let accepted_codes n = (n=43)
- let make status =
- let open Unix in
- let exit_status = match status with
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -2,7 +2,6 @@
- let make status =
- let open Unix in
- let exit_status = match status with
- - | WEXITED n when accepted_codes n -> Ok n
- | WEXITED n -> Error (Printf.sprintf "Exited %n" n)
- | WSIGNALED n -> Error (Printf.sprintf "Signaled %n" n)
- | WSTOPPED _ -> assert false
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
$ ls _mutations
- test.ml-mutant0
- test.ml-mutant1
- test.muts-mutant0.output
- test.muts-mutant1.output
+ ls: cannot access '_mutations': No such file or directory
+ [2]
File "test/testproj-2-modules.t/run.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/972be30bd747c8a684af038f1fb1544a/default/test/testproj-2-modules.t/run.t _build/.sandbox/972be30bd747c8a684af038f1fb1544a/default/test/testproj-2-modules.t/run.t.corrected
diff --git a/_build/.sandbox/972be30bd747c8a684af038f1fb1544a/default/test/testproj-2-modules.t/run.t b/_build/.sandbox/972be30bd747c8a684af038f1fb1544a/default/test/testproj-2-modules.t/run.t.corrected
index dbd7d70..c066fa4 100644
--- a/_build/.sandbox/972be30bd747c8a684af038f1fb1544a/default/test/testproj-2-modules.t/run.t
+++ b/_build/.sandbox/972be30bd747c8a684af038f1fb1544a/default/test/testproj-2-modules.t/run.t.corrected
@@ -29,129 +29,38 @@ Set seed and (full) mutation rate as environment variables, for repeatability
Writing mutation info to src/lib2.muts
$ mutaml-runner _build/default/test/ounittest.exe
- read mut file src/lib1.muts
- read mut file src/lib2.muts
- Testing mutant src/lib1:0 ... failed
- Testing mutant src/lib1:1 ... failed
- Testing mutant src/lib1:2 ... failed
- Testing mutant src/lib2:0 ... passed
- Testing mutant src/lib2:1 ... passed
- Testing mutant src/lib2:2 ... passed
- Testing mutant src/lib2:3 ... failed
- Testing mutant src/lib2:4 ... failed
- Testing mutant src/lib2:5 ... failed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- src/lib1.ml 3 100.0% 3 0.0% 0 0.0% 0
- src/lib2.ml 6 50.0% 3 0.0% 0 50.0% 3
- -------------------------------------------------------------------------------------
- total 9 66.7% 6 0.0% 0 33.3% 3
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "src/lib2.ml-mutant0" passed (see "_mutations/src/lib2.ml-mutant0.output"):
-
- --- src/lib2.ml
- +++ src/lib2.ml-mutant0
- @@ -1,5 +1,5 @@
- let rec fac n = match n with
- - | 0 -> 1
- + | 0 -> 0
- | _ -> n * fac (n-1)
-
- let rec sum n = match n with
-
- ---------------------------------------------------------------------------
-
- Mutation "src/lib2.ml-mutant1" passed (see "_mutations/src/lib2.ml-mutant1.output"):
-
- --- src/lib2.ml
- +++ src/lib2.ml-mutant1
- @@ -1,6 +1,6 @@
- let rec fac n = match n with
- | 0 -> 1
- - | _ -> n * fac (n-1)
- + | _ -> n * fac n
-
- let rec sum n = match n with
- | 0 -> 0
-
- ---------------------------------------------------------------------------
-
- Mutation "src/lib2.ml-mutant2" passed (see "_mutations/src/lib2.ml-mutant2.output"):
-
- --- src/lib2.ml
- +++ src/lib2.ml-mutant2
- @@ -1,6 +1,6 @@
- let rec fac n = match n with
- | 0 -> 1
- - | _ -> n * fac (n-1)
- + | _ -> n + (fac (n - 1))
-
- let rec sum n = match n with
- | 0 -> 0
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Now try testing only the mutations in src/lib1.muts:
$ mutaml-runner --muts src/lib1.muts _build/default/test/ounittest.exe
- Testing mutant src/lib1:0 ... failed
- Testing mutant src/lib1:1 ... failed
- Testing mutant src/lib1:2 ... failed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
And report a summary:
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- src/lib1.ml 3 100.0% 3 0.0% 0 0.0% 0
- =====================================================================================
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Now try the same for src/lib2.muts:
$ mutaml-runner --muts src/lib2.muts _build/default/test/ounittest.exe
- Testing mutant src/lib2:0 ... passed
- Testing mutant src/lib2:1 ... passed
- Testing mutant src/lib2:2 ... passed
- Testing mutant src/lib2:3 ... failed
- Testing mutant src/lib2:4 ... failed
- Testing mutant src/lib2:5 ... failed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
And report a diff-free summary:
$ mutaml-report --no-diff
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- src/lib2.ml 6 50.0% 3 0.0% 0 50.0% 3
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "src/lib2.ml-mutant0" passed (see "_mutations/src/lib2.ml-mutant0.output")
- Mutation "src/lib2.ml-mutant1" passed (see "_mutations/src/lib2.ml-mutant1.output")
- Mutation "src/lib2.ml-mutant2" passed (see "_mutations/src/lib2.ml-mutant2.output")
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
File "test/issue-newlines.t/run.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/eddddcdc92dcd3bc62d499fdda089342/default/test/issue-newlines.t/run.t _build/.sandbox/eddddcdc92dcd3bc62d499fdda089342/default/test/issue-newlines.t/run.t.corrected
diff --git a/_build/.sandbox/eddddcdc92dcd3bc62d499fdda089342/default/test/issue-newlines.t/run.t b/_build/.sandbox/eddddcdc92dcd3bc62d499fdda089342/default/test/issue-newlines.t/run.t.corrected
index aa84ce6..3014f8c 100644
--- a/_build/.sandbox/eddddcdc92dcd3bc62d499fdda089342/default/test/issue-newlines.t/run.t
+++ b/_build/.sandbox/eddddcdc92dcd3bc62d499fdda089342/default/test/issue-newlines.t/run.t.corrected
@@ -42,7 +42,23 @@ Set seed and (full) mutation rate as environment variables, for repeatability
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -63,59 +79,25 @@ Set seed and (full) mutation rate as environment variables, for repeatability
test.pp.ml
$ mutaml-runner _build/default/test.exe
- read mut file test.muts
- Testing mutant test:0 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 1 0.0% 0 0.0% 0 100.0% 1
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -2,6 +2,6 @@
-
- (* here's a comment *)
-
- -let add a b = a + b
- +let add a b = a - b
- ;;
- assert (add 4 3 >= 0)
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
$ ls _mutations
- test.ml-mutant0
- test.muts-mutant0.output
+ ls: cannot access '_mutations': No such file or directory
+ [2]
Here's an example of a manual diff from the console:
$ diff -u --label "test.ml" -u test.ml --label "test.ml-mutant0" _mutations/test.ml-mutant0
- --- test.ml
- +++ test.ml-mutant0
- @@ -2,6 +2,6 @@
-
- (* here's a comment *)
-
- -let add a b = a + b
- +let add a b = a - b
- ;;
- assert (add 4 3 >= 0)
- [1]
+ diff: _mutations/test.ml-mutant0: No such file or directory
+ [2]
File "test/instrumentation-tests/open_module.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/4a4712981feed48462c7592732d74a07/default/test/instrumentation-tests/open_module.t _build/.sandbox/4a4712981feed48462c7592732d74a07/default/test/instrumentation-tests/open_module.t.corrected
diff --git a/_build/.sandbox/4a4712981feed48462c7592732d74a07/default/test/instrumentation-tests/open_module.t b/_build/.sandbox/4a4712981feed48462c7592732d74a07/default/test/instrumentation-tests/open_module.t.corrected
index b5177ae..4a02b66 100644
--- a/_build/.sandbox/4a4712981feed48462c7592732d74a07/default/test/instrumentation-tests/open_module.t
+++ b/_build/.sandbox/4a4712981feed48462c7592732d74a07/default/test/instrumentation-tests/open_module.t.corrected
@@ -53,7 +53,23 @@ Test mutation of an 'assert false':
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 4 mutations of a.ml
Writing mutation info to a.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -67,7 +83,23 @@ Test mutation of an 'assert false':
then __MUTAML_TMP0__ + x
else __MUTAML_TMP0__ * x) = (if __is_mutaml_mutant__ "a:3" then 7 else 6)
let () = assert res
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
File "test/instrumentation-tests/ifthenelse.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/948b0a6568e7c389f43509c9a656c263/default/test/instrumentation-tests/ifthenelse.t _build/.sandbox/948b0a6568e7c389f43509c9a656c263/default/test/instrumentation-tests/ifthenelse.t.corrected
diff --git a/_build/.sandbox/948b0a6568e7c389f43509c9a656c263/default/test/instrumentation-tests/ifthenelse.t b/_build/.sandbox/948b0a6568e7c389f43509c9a656c263/default/test/instrumentation-tests/ifthenelse.t.corrected
index 34143d5..8f7ce3b 100644
--- a/_build/.sandbox/948b0a6568e7c389f43509c9a656c263/default/test/instrumentation-tests/ifthenelse.t
+++ b/_build/.sandbox/948b0a6568e7c389f43509c9a656c263/default/test/instrumentation-tests/ifthenelse.t.corrected
@@ -15,7 +15,23 @@ Example with a simple if-then-else:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 3 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -43,63 +59,15 @@ Example with a simple if-then-else:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 3 0.0% 0 0.0% 0 100.0% 3
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -1,3 +1,3 @@
- -let test x = if x then "true" else "false"
- +let test x = if not x then "true" else "false"
- let () = test true |> print_endline
- let () = test false |> print_endline
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -1,3 +1,3 @@
- let test x = if x then "true" else "false"
- -let () = test true |> print_endline
- +let () = test false |> print_endline
- let () = test false |> print_endline
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant2" passed (see "_mutations/test.ml-mutant2.output"):
-
- --- test.ml
- +++ test.ml-mutant2
- @@ -1,3 +1,3 @@
- let test x = if x then "true" else "false"
- let () = test true |> print_endline
- -let () = test false |> print_endline
- +let () = test true |> print_endline
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
@@ -123,7 +91,23 @@ An example with nested ifs:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 7 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -173,128 +157,12 @@ An example with nested ifs:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Testing mutant test:3 ... passed
- Testing mutant test:4 ... passed
- Testing mutant test:5 ... passed
- Testing mutant test:6 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 7 0.0% 0 0.0% 0 100.0% 7
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -1,5 +1,5 @@
- let test i =
- - if i<0 then "negative" else
- + if i<1 then "negative" else
- if i>0 then "positive" else "zero"
- let () = test ~-5 |> print_endline
- let () = test 0 |> print_endline
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -1,6 +1,6 @@
- let test i =
- if i<0 then "negative" else
- - if i>0 then "positive" else "zero"
- + if i>1 then "positive" else "zero"
- let () = test ~-5 |> print_endline
- let () = test 0 |> print_endline
- let () = test 5 |> print_endline
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant2" passed (see "_mutations/test.ml-mutant2.output"):
-
- --- test.ml
- +++ test.ml-mutant2
- @@ -1,6 +1,6 @@
- let test i =
- if i<0 then "negative" else
- - if i>0 then "positive" else "zero"
- + if not (i > 0) then "positive" else "zero"
- let () = test ~-5 |> print_endline
- let () = test 0 |> print_endline
- let () = test 5 |> print_endline
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant3" passed (see "_mutations/test.ml-mutant3.output"):
-
- --- test.ml
- +++ test.ml-mutant3
- @@ -1,5 +1,5 @@
- let test i =
- - if i<0 then "negative" else
- + if not (i < 0) then "negative" else
- if i>0 then "positive" else "zero"
- let () = test ~-5 |> print_endline
- let () = test 0 |> print_endline
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant4" passed (see "_mutations/test.ml-mutant4.output"):
-
- --- test.ml
- +++ test.ml-mutant4
- @@ -1,6 +1,6 @@
- let test i =
- if i<0 then "negative" else
- if i>0 then "positive" else "zero"
- -let () = test ~-5 |> print_endline
- +let () = test ~-6 |> print_endline
- let () = test 0 |> print_endline
- let () = test 5 |> print_endline
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant5" passed (see "_mutations/test.ml-mutant5.output"):
-
- --- test.ml
- +++ test.ml-mutant5
- @@ -2,5 +2,5 @@
- if i<0 then "negative" else
- if i>0 then "positive" else "zero"
- let () = test ~-5 |> print_endline
- -let () = test 0 |> print_endline
- +let () = test 1 |> print_endline
- let () = test 5 |> print_endline
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant6" passed (see "_mutations/test.ml-mutant6.output"):
-
- --- test.ml
- +++ test.ml-mutant6
- @@ -3,4 +3,4 @@
- if i>0 then "positive" else "zero"
- let () = test ~-5 |> print_endline
- let () = test 0 |> print_endline
- -let () = test 5 |> print_endline
- +let () = test 6 |> print_endline
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
File "test/instrumentation-tests/sequence.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/14e70a0c87903e029b70d5fb5997090e/default/test/instrumentation-tests/sequence.t _build/.sandbox/14e70a0c87903e029b70d5fb5997090e/default/test/instrumentation-tests/sequence.t.corrected
diff --git a/_build/.sandbox/14e70a0c87903e029b70d5fb5997090e/default/test/instrumentation-tests/sequence.t b/_build/.sandbox/14e70a0c87903e029b70d5fb5997090e/default/test/instrumentation-tests/sequence.t.corrected
index f7a2e40..214e448 100644
--- a/_build/.sandbox/14e70a0c87903e029b70d5fb5997090e/default/test/instrumentation-tests/sequence.t
+++ b/_build/.sandbox/14e70a0c87903e029b70d5fb5997090e/default/test/instrumentation-tests/sequence.t.corrected
@@ -28,7 +28,23 @@ Test a sequence mutation:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 4 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -65,12 +81,9 @@ Check that instrumentation hasn't changed the program's behaviour
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... failed
- Testing mutant test:1 ... failed
- Testing mutant test:2 ... failed
- Testing mutant test:3 ... failed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
@@ -95,7 +108,23 @@ Test uncaught sequence mutation:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 4 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -124,89 +153,12 @@ Check that instrumentation hasn't changed the program's behaviour
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Testing mutant test:3 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 4 0.0% 0 0.0% 0 100.0% 4
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -1,5 +1,5 @@
- let f () =
- - let c = ref 0 in
- + let c = ref 1 in
- begin
- incr c;
- incr c;
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -3,7 +3,6 @@
- begin
- incr c;
- incr c;
- - incr c;
- !c
- end;;
- assert (f() > 0)
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant2" passed (see "_mutations/test.ml-mutant2.output"):
-
- --- test.ml
- +++ test.ml-mutant2
- @@ -2,8 +2,6 @@
- let c = ref 0 in
- begin
- incr c;
- - incr c;
- - incr c;
- - !c
- + incr c; !c
- end;;
- assert (f() > 0)
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant3" passed (see "_mutations/test.ml-mutant3.output"):
-
- --- test.ml
- +++ test.ml-mutant3
- @@ -1,9 +1,4 @@
- let f () =
- let c = ref 0 in
- - begin
- - incr c;
- - incr c;
- - incr c;
- - !c
- - end;;
- + incr c; incr c; !c;;
- assert (f() > 0)
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
File "test/instrumentation-tests/assert.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/0b7d485e985e2718170d5aff3fdf54d3/default/test/instrumentation-tests/assert.t _build/.sandbox/0b7d485e985e2718170d5aff3fdf54d3/default/test/instrumentation-tests/assert.t.corrected
diff --git a/_build/.sandbox/0b7d485e985e2718170d5aff3fdf54d3/default/test/instrumentation-tests/assert.t b/_build/.sandbox/0b7d485e985e2718170d5aff3fdf54d3/default/test/instrumentation-tests/assert.t.corrected
index 6bd5adf..ab9ec86 100644
--- a/_build/.sandbox/0b7d485e985e2718170d5aff3fdf54d3/default/test/instrumentation-tests/assert.t
+++ b/_build/.sandbox/0b7d485e985e2718170d5aff3fdf54d3/default/test/instrumentation-tests/assert.t.corrected
@@ -55,7 +55,23 @@ Set seed and (full) mutation rate as environment variables, for repeatability
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -83,7 +99,23 @@ Make an .ml-file:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 3 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -122,7 +154,23 @@ Make an .ml-file:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 4 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
File "test/instrumentation-tests/attributes.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/47e59a76a07e95bae32ad3d333be0a0d/default/test/instrumentation-tests/attributes.t _build/.sandbox/47e59a76a07e95bae32ad3d333be0a0d/default/test/instrumentation-tests/attributes.t.corrected
diff --git a/_build/.sandbox/47e59a76a07e95bae32ad3d333be0a0d/default/test/instrumentation-tests/attributes.t b/_build/.sandbox/47e59a76a07e95bae32ad3d333be0a0d/default/test/instrumentation-tests/attributes.t.corrected
index 606952d..b437c38 100644
--- a/_build/.sandbox/47e59a76a07e95bae32ad3d333be0a0d/default/test/instrumentation-tests/attributes.t
+++ b/_build/.sandbox/47e59a76a07e95bae32ad3d333be0a0d/default/test/instrumentation-tests/attributes.t.corrected
@@ -71,7 +71,23 @@ Try same example, but disabling warning 22 via the dune file:
Preprocess, check that attribute no longer triggers an error
$ bash ../filter_dune_build.sh ./test.bc --instrument-with mutaml
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -158,7 +174,23 @@ Preprocess, check for attribute and error
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 0 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -182,7 +214,23 @@ Preprocess, check for attribute and error
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 2 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -212,7 +260,23 @@ Preprocess, check for attribute and error
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -238,7 +302,23 @@ Preprocess, check for attribute and error
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
File "test/instrumentation-tests/function-omit-case.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/c6916994d4978e14541c290d92d7c3bf/default/test/instrumentation-tests/function-omit-case.t _build/.sandbox/c6916994d4978e14541c290d92d7c3bf/default/test/instrumentation-tests/function-omit-case.t.corrected
diff --git a/_build/.sandbox/c6916994d4978e14541c290d92d7c3bf/default/test/instrumentation-tests/function-omit-case.t b/_build/.sandbox/c6916994d4978e14541c290d92d7c3bf/default/test/instrumentation-tests/function-omit-case.t.corrected
index 5f9f0d8..f1e6632 100644
--- a/_build/.sandbox/c6916994d4978e14541c290d92d7c3bf/default/test/instrumentation-tests/function-omit-case.t
+++ b/_build/.sandbox/c6916994d4978e14541c290d92d7c3bf/default/test/instrumentation-tests/function-omit-case.t.corrected
@@ -24,7 +24,23 @@ Make an .ml-file:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 3 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -73,69 +89,15 @@ Make an .ml-file:
Start runner and generate report to ensure mutants print correctly:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 3 0.0% 0 0.0% 0 100.0% 3
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -1,7 +1,6 @@
- let identify_char = function
- | 'a'..'z' -> "lower-case letter"
- | 'A'..'Z' -> "upper-case letter"
- - | '0'..'9' -> "digit"
- | _ -> "other"
- let () = print_endline (identify_char 'e')
- let () = print_endline (identify_char 'U')
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -1,6 +1,5 @@
- let identify_char = function
- | 'a'..'z' -> "lower-case letter"
- - | 'A'..'Z' -> "upper-case letter"
- | '0'..'9' -> "digit"
- | _ -> "other"
- let () = print_endline (identify_char 'e')
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant2" passed (see "_mutations/test.ml-mutant2.output"):
-
- --- test.ml
- +++ test.ml-mutant2
- @@ -1,5 +1,4 @@
- let identify_char = function
- - | 'a'..'z' -> "lower-case letter"
- | 'A'..'Z' -> "upper-case letter"
- | '0'..'9' -> "digit"
- | _ -> "other"
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Test that same example with a variable will be instrumented with this mutation:
@@ -159,7 +121,23 @@ Test that same example with a variable will be instrumented with this mutation:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 4 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -215,86 +193,15 @@ Test that same example with a variable will be instrumented with this mutation:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Testing mutant test:3 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 4 0.0% 0 0.0% 0 100.0% 4
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -2,7 +2,7 @@
- | 'a'..'z' -> "lower-case letter"
- | 'A'..'Z' -> "upper-case letter"
- | '0'..'9' -> "digit"
- - | c -> "other char: " ^ String.make 1 c
- + | c -> "other char: " ^ String.make 0 c
- let () = print_endline (identify_char 'e')
- let () = print_endline (identify_char 'U')
- let () = print_endline (identify_char '5')
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -1,7 +1,6 @@
- let identify_char = function
- | 'a'..'z' -> "lower-case letter"
- | 'A'..'Z' -> "upper-case letter"
- - | '0'..'9' -> "digit"
- | c -> "other char: " ^ String.make 1 c
- let () = print_endline (identify_char 'e')
- let () = print_endline (identify_char 'U')
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant2" passed (see "_mutations/test.ml-mutant2.output"):
-
- --- test.ml
- +++ test.ml-mutant2
- @@ -1,6 +1,5 @@
- let identify_char = function
- | 'a'..'z' -> "lower-case letter"
- - | 'A'..'Z' -> "upper-case letter"
- | '0'..'9' -> "digit"
- | c -> "other char: " ^ String.make 1 c
- let () = print_endline (identify_char 'e')
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant3" passed (see "_mutations/test.ml-mutant3.output"):
-
- --- test.ml
- +++ test.ml-mutant3
- @@ -1,5 +1,4 @@
- let identify_char = function
- - | 'a'..'z' -> "lower-case letter"
- | 'A'..'Z' -> "upper-case letter"
- | '0'..'9' -> "digit"
- | c -> "other char: " ^ String.make 1 c
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Another test w/tuples and wildcards:
@@ -316,7 +223,23 @@ Another test w/tuples and wildcards:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 2 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -354,53 +277,15 @@ Another test w/tuples and wildcards:
Start runner and generate report to ensure mutants print correctly:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutal report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 2 0.0% 0 0.0% 0 100.0% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -1,6 +1,5 @@
- let prioritize fallback = function
- | Some x, _ -> x
- - | _, Some y -> y
- | _, _ -> fallback;;
- prioritize "3rd" (Some "1st",Some "2nd") |> print_endline;;
- prioritize "3rd" (Some "1st",None ) |> print_endline;;
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -1,5 +1,4 @@
- let prioritize fallback = function
- - | Some x, _ -> x
- | _, Some y -> y
- | _, _ -> fallback;;
- prioritize "3rd" (Some "1st",Some "2nd") |> print_endline;;
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Same example without wildcards will not be instrumented with this mutation:
@@ -423,7 +308,23 @@ Same example without wildcards will not be instrumented with this mutation:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 0 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
File "test/instrumentation-tests/match-omit-case.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/762060066fdaf6342456bcfb52c96ff2/default/test/instrumentation-tests/match-omit-case.t _build/.sandbox/762060066fdaf6342456bcfb52c96ff2/default/test/instrumentation-tests/match-omit-case.t.corrected
diff --git a/_build/.sandbox/762060066fdaf6342456bcfb52c96ff2/default/test/instrumentation-tests/match-omit-case.t b/_build/.sandbox/762060066fdaf6342456bcfb52c96ff2/default/test/instrumentation-tests/match-omit-case.t.corrected
index 185cc01..05c1cee 100644
--- a/_build/.sandbox/762060066fdaf6342456bcfb52c96ff2/default/test/instrumentation-tests/match-omit-case.t
+++ b/_build/.sandbox/762060066fdaf6342456bcfb52c96ff2/default/test/instrumentation-tests/match-omit-case.t.corrected
@@ -85,7 +85,23 @@ Make an .ml-file:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 3 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -134,69 +150,15 @@ Make an .ml-file:
Start runner and generate report to ensure mutants print correctly:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 3 0.0% 0 0.0% 0 100.0% 3
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -1,7 +1,6 @@
- let identify_char c = match c with
- | 'a'..'z' -> "lower-case letter"
- | 'A'..'Z' -> "upper-case letter"
- - | '0'..'9' -> "digit"
- | _ -> "other"
- let () = print_endline (identify_char 'e')
- let () = print_endline (identify_char 'U')
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -1,6 +1,5 @@
- let identify_char c = match c with
- | 'a'..'z' -> "lower-case letter"
- - | 'A'..'Z' -> "upper-case letter"
- | '0'..'9' -> "digit"
- | _ -> "other"
- let () = print_endline (identify_char 'e')
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant2" passed (see "_mutations/test.ml-mutant2.output"):
-
- --- test.ml
- +++ test.ml-mutant2
- @@ -1,5 +1,4 @@
- let identify_char c = match c with
- - | 'a'..'z' -> "lower-case letter"
- | 'A'..'Z' -> "upper-case letter"
- | '0'..'9' -> "digit"
- | _ -> "other"
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Test that same example with a variable will be instrumented with this mutation:
@@ -222,7 +184,23 @@ Test that same example with a variable will be instrumented with this mutation:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 4 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -278,86 +256,15 @@ Test that same example with a variable will be instrumented with this mutation:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Testing mutant test:3 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 4 0.0% 0 0.0% 0 100.0% 4
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -2,7 +2,7 @@
- | 'a'..'z' -> "lower-case letter"
- | 'A'..'Z' -> "upper-case letter"
- | '0'..'9' -> "digit"
- - | c -> "other char: " ^ String.make 1 c
- + | c -> "other char: " ^ String.make 0 c
- let () = print_endline (identify_char 'e')
- let () = print_endline (identify_char 'U')
- let () = print_endline (identify_char '5')
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -1,7 +1,6 @@
- let identify_char c = match c with
- | 'a'..'z' -> "lower-case letter"
- | 'A'..'Z' -> "upper-case letter"
- - | '0'..'9' -> "digit"
- | c -> "other char: " ^ String.make 1 c
- let () = print_endline (identify_char 'e')
- let () = print_endline (identify_char 'U')
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant2" passed (see "_mutations/test.ml-mutant2.output"):
-
- --- test.ml
- +++ test.ml-mutant2
- @@ -1,6 +1,5 @@
- let identify_char c = match c with
- | 'a'..'z' -> "lower-case letter"
- - | 'A'..'Z' -> "upper-case letter"
- | '0'..'9' -> "digit"
- | c -> "other char: " ^ String.make 1 c
- let () = print_endline (identify_char 'e')
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant3" passed (see "_mutations/test.ml-mutant3.output"):
-
- --- test.ml
- +++ test.ml-mutant3
- @@ -1,5 +1,4 @@
- let identify_char c = match c with
- - | 'a'..'z' -> "lower-case letter"
- | 'A'..'Z' -> "upper-case letter"
- | '0'..'9' -> "digit"
- | c -> "other char: " ^ String.make 1 c
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Another test w/tuples and wildcards:
@@ -381,7 +288,23 @@ Another test w/tuples and wildcards:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 2 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -419,53 +342,15 @@ Another test w/tuples and wildcards:
Start runner and generate report to ensure mutants print correctly:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 2 0.0% 0 0.0% 0 100.0% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -1,6 +1,5 @@
- let prioritize p fallback = match p with
- | Some x, _ -> x
- - | _, Some y -> y
- | _, _ -> fallback;;
- prioritize (Some "1st",Some "2nd") "3rd" |> print_endline;;
- prioritize (Some "1st",None ) "3rd" |> print_endline;;
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -1,5 +1,4 @@
- let prioritize p fallback = match p with
- - | Some x, _ -> x
- | _, Some y -> y
- | _, _ -> fallback;;
- prioritize (Some "1st",Some "2nd") "3rd" |> print_endline;;
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Same example without wildcards will not be instrumented with this mutation:
@@ -490,7 +375,23 @@ Same example without wildcards will not be instrumented with this mutation:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 0 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -535,7 +436,23 @@ A test with exceptions:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 10 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
File "test/instrumentation-tests/arith.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/b20acd9a6bb9df64d7dcacdcc9b0a47c/default/test/instrumentation-tests/arith.t _build/.sandbox/b20acd9a6bb9df64d7dcacdcc9b0a47c/default/test/instrumentation-tests/arith.t.corrected
diff --git a/_build/.sandbox/b20acd9a6bb9df64d7dcacdcc9b0a47c/default/test/instrumentation-tests/arith.t b/_build/.sandbox/b20acd9a6bb9df64d7dcacdcc9b0a47c/default/test/instrumentation-tests/arith.t.corrected
index d78abb9..ca83c30 100644
--- a/_build/.sandbox/b20acd9a6bb9df64d7dcacdcc9b0a47c/default/test/instrumentation-tests/arith.t
+++ b/_build/.sandbox/b20acd9a6bb9df64d7dcacdcc9b0a47c/default/test/instrumentation-tests/arith.t.corrected
@@ -19,7 +19,23 @@ Test + 1:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -50,7 +66,23 @@ Test - 1:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -79,7 +111,23 @@ z
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -108,7 +156,23 @@ Test addition:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -137,7 +201,23 @@ Test subtraction mutation:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -166,7 +246,23 @@ Test multiplication mutation:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -191,7 +287,23 @@ Test division mutation:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -220,7 +332,23 @@ Test modulo mutation:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -269,7 +397,23 @@ we should use it instead.
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
File "test/instrumentation-tests/function-merge-consecutive.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/2fe792f0497ab7cbebef961c1da37214/default/test/instrumentation-tests/function-merge-consecutive.t _build/.sandbox/2fe792f0497ab7cbebef961c1da37214/default/test/instrumentation-tests/function-merge-consecutive.t.corrected
diff --git a/_build/.sandbox/2fe792f0497ab7cbebef961c1da37214/default/test/instrumentation-tests/function-merge-consecutive.t b/_build/.sandbox/2fe792f0497ab7cbebef961c1da37214/default/test/instrumentation-tests/function-merge-consecutive.t.corrected
index cbc8d2c..645983f 100644
--- a/_build/.sandbox/2fe792f0497ab7cbebef961c1da37214/default/test/instrumentation-tests/function-merge-consecutive.t
+++ b/_build/.sandbox/2fe792f0497ab7cbebef961c1da37214/default/test/instrumentation-tests/function-merge-consecutive.t.corrected
@@ -27,7 +27,23 @@ An example with only conservative, GADT-safe mutations:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 0 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -63,7 +79,23 @@ Same example but allowing GADT-unsafe mutations:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: false
Created 2 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -101,60 +133,15 @@ Same example but allowing GADT-unsafe mutations:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 2 0.0% 0 0.0% 0 100.0% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -2,8 +2,7 @@
-
- let f = function
- | A -> "A"
- -| B -> "B"
- -| C -> "C"
- +| B | C -> "C"
-
- let () = f A |> print_endline
- let () = f B |> print_endline
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -1,8 +1,7 @@
- type t = A | B | C
-
- let f = function
- -| A -> "A"
- -| B -> "B"
- +| A | B -> "B"
- | C -> "C"
-
- let () = f A |> print_endline
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
$ unset MUTAML_GADT
@@ -193,7 +180,23 @@ Instead we trigger the collapse-consecutive-patterns mutation:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 13 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -245,219 +248,15 @@ Instead we trigger the collapse-consecutive-patterns mutation:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Testing mutant test:3 ... passed
- Testing mutant test:4 ... passed
- Testing mutant test:5 ... passed
- Testing mutant test:6 ... passed
- Testing mutant test:7 ... passed
- Testing mutant test:8 ... passed
- Testing mutant test:9 ... passed
- Testing mutant test:10 ... passed
- Testing mutant test:11 ... passed
- Testing mutant test:12 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 13 0.0% 0 0.0% 0 100.0% 13
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -1,5 +1,5 @@
- let rec count_zeroes = function
- - | [] -> 0
- + | [] -> 1
- | 0::xs -> 1 + (count_zeroes xs)
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -1,6 +1,6 @@
- let rec count_zeroes = function
- | [] -> 0
- - | 0::xs -> 1 + (count_zeroes xs)
- + | 0::xs -> count_zeroes xs
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant2" passed (see "_mutations/test.ml-mutant2.output"):
-
- --- test.ml
- +++ test.ml-mutant2
- @@ -1,7 +1,6 @@
- let rec count_zeroes = function
- | [] -> 0
- - | 0::xs -> 1 + (count_zeroes xs)
- - | _::xs -> count_zeroes xs
- + | 0::xs | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant3" passed (see "_mutations/test.ml-mutant3.output"):
-
- --- test.ml
- +++ test.ml-mutant3
- @@ -3,6 +3,6 @@
- | 0::xs -> 1 + (count_zeroes xs)
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [0;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant4" passed (see "_mutations/test.ml-mutant4.output"):
-
- --- test.ml
- +++ test.ml-mutant4
- @@ -3,6 +3,6 @@
- | 0::xs -> 1 + (count_zeroes xs)
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [1;1] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant5" passed (see "_mutations/test.ml-mutant5.output"):
-
- --- test.ml
- +++ test.ml-mutant5
- @@ -4,5 +4,5 @@
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [1;1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant6" passed (see "_mutations/test.ml-mutant6.output"):
-
- --- test.ml
- +++ test.ml-mutant6
- @@ -4,5 +4,5 @@
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [0;0;0] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant7" passed (see "_mutations/test.ml-mutant7.output"):
-
- --- test.ml
- +++ test.ml-mutant7
- @@ -4,5 +4,5 @@
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [0;1;1] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant8" passed (see "_mutations/test.ml-mutant8.output"):
-
- --- test.ml
- +++ test.ml-mutant8
- @@ -5,4 +5,4 @@
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [0;0;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant9" passed (see "_mutations/test.ml-mutant9.output"):
-
- --- test.ml
- +++ test.ml-mutant9
- @@ -5,4 +5,4 @@
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [1;1;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant10" passed (see "_mutations/test.ml-mutant10.output"):
-
- --- test.ml
- +++ test.ml-mutant10
- @@ -5,4 +5,4 @@
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [1;0;1;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant11" passed (see "_mutations/test.ml-mutant11.output"):
-
- --- test.ml
- +++ test.ml-mutant11
- @@ -5,4 +5,4 @@
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [1;0;0;0;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant12" passed (see "_mutations/test.ml-mutant12.output"):
-
- --- test.ml
- +++ test.ml-mutant12
- @@ -5,4 +5,4 @@
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [1;0;0;1;1] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
@@ -494,7 +293,23 @@ Another example would triggers merge-of-consecutive-patterns w/GADTs true
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 5 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -536,98 +351,14 @@ Another example would triggers merge-of-consecutive-patterns w/GADTs true
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Testing mutant test:3 ... passed
- Testing mutant test:4 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 5 0.0% 0 0.0% 0 100.0% 5
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -10,7 +10,7 @@
- | Binop (ae0, Add, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
- - v0 + v1
- + v0 - v1
- | Binop (ae0, Mul, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -14,6 +14,6 @@
- | Binop (ae0, Mul, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
- - v0 * v1
- + v0 + v1
-
- let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant2" passed (see "_mutations/test.ml-mutant2.output"):
-
- --- test.ml
- +++ test.ml-mutant2
- @@ -16,4 +16,4 @@
- let v1 = interpret xval ae1 in
- v0 * v1
-
- -let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
- +let () = interpret 3 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant3" passed (see "_mutations/test.ml-mutant3.output"):
-
- --- test.ml
- +++ test.ml-mutant3
- @@ -16,4 +16,4 @@
- let v1 = interpret xval ae1 in
- v0 * v1
-
- -let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
- +let () = interpret 2 (Binop (Lit 0, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant4" passed (see "_mutations/test.ml-mutant4.output"):
-
- --- test.ml
- +++ test.ml-mutant4
- @@ -16,4 +16,4 @@
- let v1 = interpret xval ae1 in
- v0 * v1
-
- -let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
- +let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 4))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
@@ -645,7 +376,23 @@ Same example that triggers merge-of-consecutive-patterns w/GADTs false
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: false
Created 6 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -688,118 +435,13 @@ Same example that triggers merge-of-consecutive-patterns w/GADTs false
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Testing mutant test:3 ... passed
- Testing mutant test:4 ... passed
- Testing mutant test:5 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 6 0.0% 0 0.0% 0 100.0% 6
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -10,7 +10,7 @@
- | Binop (ae0, Add, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
- - v0 + v1
- + v0 - v1
- | Binop (ae0, Mul, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -14,6 +14,6 @@
- | Binop (ae0, Mul, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
- - v0 * v1
- + v0 + v1
-
- let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant2" passed (see "_mutations/test.ml-mutant2.output"):
-
- --- test.ml
- +++ test.ml-mutant2
- @@ -7,11 +7,7 @@
- let rec interpret xval = function
- | X -> xval
- | Lit i -> i
- - | Binop (ae0, Add, ae1) ->
- - let v0 = interpret xval ae0 in
- - let v1 = interpret xval ae1 in
- - v0 + v1
- - | Binop (ae0, Mul, ae1) ->
- + | Binop (ae0, Add, ae1) | Binop (ae0, Mul, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
- v0 * v1
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant3" passed (see "_mutations/test.ml-mutant3.output"):
-
- --- test.ml
- +++ test.ml-mutant3
- @@ -16,4 +16,4 @@
- let v1 = interpret xval ae1 in
- v0 * v1
-
- -let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
- +let () = interpret 3 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant4" passed (see "_mutations/test.ml-mutant4.output"):
-
- --- test.ml
- +++ test.ml-mutant4
- @@ -16,4 +16,4 @@
- let v1 = interpret xval ae1 in
- v0 * v1
-
- -let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
- +let () = interpret 2 (Binop (Lit 0, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant5" passed (see "_mutations/test.ml-mutant5.output"):
-
- --- test.ml
- +++ test.ml-mutant5
- @@ -16,4 +16,4 @@
- let v1 = interpret xval ae1 in
- v0 * v1
-
- -let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
- +let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 4))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
$ unset MUTAML_GADT
File "test/instrumentation-tests/gadts.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/6a228274a010d72674fa972d25ede14f/default/test/instrumentation-tests/gadts.t _build/.sandbox/6a228274a010d72674fa972d25ede14f/default/test/instrumentation-tests/gadts.t.corrected
diff --git a/_build/.sandbox/6a228274a010d72674fa972d25ede14f/default/test/instrumentation-tests/gadts.t b/_build/.sandbox/6a228274a010d72674fa972d25ede14f/default/test/instrumentation-tests/gadts.t.corrected
index 3e2a6c6..7f1e950 100644
--- a/_build/.sandbox/6a228274a010d72674fa972d25ede14f/default/test/instrumentation-tests/gadts.t
+++ b/_build/.sandbox/6a228274a010d72674fa972d25ede14f/default/test/instrumentation-tests/gadts.t.corrected
@@ -29,7 +29,23 @@ Check that the example typechecks
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 2 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -74,7 +90,23 @@ Check that the example typechecks
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 2 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -118,7 +150,23 @@ Check that the example typechecks
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 0 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -158,7 +206,23 @@ Check that the example typechecks
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 0 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -198,7 +262,23 @@ Check that the example typechecks
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 0 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -242,7 +322,23 @@ Check that the example typechecks
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 4 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -353,7 +449,23 @@ Check that the example typechecks
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 4 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -394,7 +506,23 @@ Check that the example typechecks
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 10 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -443,7 +571,23 @@ Check that the example typechecks
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 3 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -494,7 +638,23 @@ Check that the example typechecks
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 0 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
File "test/instrumentation-tests/match.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/69c59b6e89bf3e158c93aff1ab63ed85/default/test/instrumentation-tests/match.t _build/.sandbox/69c59b6e89bf3e158c93aff1ab63ed85/default/test/instrumentation-tests/match.t.corrected
diff --git a/_build/.sandbox/69c59b6e89bf3e158c93aff1ab63ed85/default/test/instrumentation-tests/match.t b/_build/.sandbox/69c59b6e89bf3e158c93aff1ab63ed85/default/test/instrumentation-tests/match.t.corrected
index f380db9..4b0c75a 100644
--- a/_build/.sandbox/69c59b6e89bf3e158c93aff1ab63ed85/default/test/instrumentation-tests/match.t
+++ b/_build/.sandbox/69c59b6e89bf3e158c93aff1ab63ed85/default/test/instrumentation-tests/match.t.corrected
@@ -78,7 +78,23 @@ Set seed and (full) mutation rate as environment variables, for repeatability
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 0 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -105,7 +121,23 @@ Same example but with GADT-unsafe mutations enabled:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: false
Created 1 mutation of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -151,7 +183,23 @@ Another example:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 0 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -187,7 +235,23 @@ Same example but with GADT-unsafe mutations enabled:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: false
Created 2 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -225,60 +289,15 @@ Same example but with GADT-unsafe mutations enabled:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 2 0.0% 0 0.0% 0 100.0% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -2,8 +2,7 @@
-
- let f x = match x with
- | A -> "A"
- -| B -> "B"
- -| C -> "C"
- +| B | C -> "C"
-
- let () = f A |> print_endline
- let () = f B |> print_endline
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -1,8 +1,7 @@
- type t = A | B | C
-
- let f x = match x with
- -| A -> "A"
- -| B -> "B"
- +| A | B -> "B"
- | C -> "C"
-
- let () = f A |> print_endline
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
$ unset MUTAML_GADT
@@ -313,7 +332,23 @@ Instead we trigger the collapse-consecutive-patterns mutation:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 13 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -364,219 +399,15 @@ Instead we trigger the collapse-consecutive-patterns mutation:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Testing mutant test:3 ... passed
- Testing mutant test:4 ... passed
- Testing mutant test:5 ... passed
- Testing mutant test:6 ... passed
- Testing mutant test:7 ... passed
- Testing mutant test:8 ... passed
- Testing mutant test:9 ... passed
- Testing mutant test:10 ... passed
- Testing mutant test:11 ... passed
- Testing mutant test:12 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 13 0.0% 0 0.0% 0 100.0% 13
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -1,5 +1,5 @@
- let rec count_zeroes xs = match xs with
- - | [] -> 0
- + | [] -> 1
- | 0::xs -> 1 + (count_zeroes xs)
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -1,6 +1,6 @@
- let rec count_zeroes xs = match xs with
- | [] -> 0
- - | 0::xs -> 1 + (count_zeroes xs)
- + | 0::xs -> count_zeroes xs
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant2" passed (see "_mutations/test.ml-mutant2.output"):
-
- --- test.ml
- +++ test.ml-mutant2
- @@ -1,7 +1,6 @@
- let rec count_zeroes xs = match xs with
- | [] -> 0
- - | 0::xs -> 1 + (count_zeroes xs)
- - | _::xs -> count_zeroes xs
- + | 0::xs | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant3" passed (see "_mutations/test.ml-mutant3.output"):
-
- --- test.ml
- +++ test.ml-mutant3
- @@ -3,6 +3,6 @@
- | 0::xs -> 1 + (count_zeroes xs)
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [0;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant4" passed (see "_mutations/test.ml-mutant4.output"):
-
- --- test.ml
- +++ test.ml-mutant4
- @@ -3,6 +3,6 @@
- | 0::xs -> 1 + (count_zeroes xs)
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [1;1] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant5" passed (see "_mutations/test.ml-mutant5.output"):
-
- --- test.ml
- +++ test.ml-mutant5
- @@ -4,5 +4,5 @@
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [1;1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant6" passed (see "_mutations/test.ml-mutant6.output"):
-
- --- test.ml
- +++ test.ml-mutant6
- @@ -4,5 +4,5 @@
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [0;0;0] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant7" passed (see "_mutations/test.ml-mutant7.output"):
-
- --- test.ml
- +++ test.ml-mutant7
- @@ -4,5 +4,5 @@
- | _::xs -> count_zeroes xs
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [0;1;1] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant8" passed (see "_mutations/test.ml-mutant8.output"):
-
- --- test.ml
- +++ test.ml-mutant8
- @@ -5,4 +5,4 @@
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [0;0;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant9" passed (see "_mutations/test.ml-mutant9.output"):
-
- --- test.ml
- +++ test.ml-mutant9
- @@ -5,4 +5,4 @@
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [1;1;0;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant10" passed (see "_mutations/test.ml-mutant10.output"):
-
- --- test.ml
- +++ test.ml-mutant10
- @@ -5,4 +5,4 @@
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [1;0;1;1;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant11" passed (see "_mutations/test.ml-mutant11.output"):
-
- --- test.ml
- +++ test.ml-mutant11
- @@ -5,4 +5,4 @@
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [1;0;0;0;0] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant12" passed (see "_mutations/test.ml-mutant12.output"):
-
- --- test.ml
- +++ test.ml-mutant12
- @@ -5,4 +5,4 @@
- let () = count_zeroes [] |> Printf.printf "%i\n"
- let () = count_zeroes [1;0] |> Printf.printf "%i\n"
- let () = count_zeroes [0;1;0] |> Printf.printf "%i\n"
- -let () = count_zeroes [1;0;0;1;0] |> Printf.printf "%i\n"
- +let () = count_zeroes [1;0;0;1;1] |> Printf.printf "%i\n"
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
@@ -611,7 +442,23 @@ Another example that would trigger merge-of-consecutive-patterns w/GADT true:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: true
Created 5 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -653,98 +500,14 @@ Another example that would trigger merge-of-consecutive-patterns w/GADT true:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Testing mutant test:3 ... passed
- Testing mutant test:4 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 5 0.0% 0 0.0% 0 100.0% 5
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -10,7 +10,7 @@
- | Binop (ae0, Add, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
- - v0 + v1
- + v0 - v1
- | Binop (ae0, Mul, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -14,6 +14,6 @@
- | Binop (ae0, Mul, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
- - v0 * v1
- + v0 + v1
-
- let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant2" passed (see "_mutations/test.ml-mutant2.output"):
-
- --- test.ml
- +++ test.ml-mutant2
- @@ -16,4 +16,4 @@
- let v1 = interpret xval ae1 in
- v0 * v1
-
- -let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
- +let () = interpret 3 (Binop (Lit 1, Add,Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant3" passed (see "_mutations/test.ml-mutant3.output"):
-
- --- test.ml
- +++ test.ml-mutant3
- @@ -16,4 +16,4 @@
- let v1 = interpret xval ae1 in
- v0 * v1
-
- -let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
- +let () = interpret 2 (Binop (Lit 0, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant4" passed (see "_mutations/test.ml-mutant4.output"):
-
- --- test.ml
- +++ test.ml-mutant4
- @@ -16,4 +16,4 @@
- let v1 = interpret xval ae1 in
- v0 * v1
-
- -let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
- +let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 4))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
@@ -761,7 +524,23 @@ Same example that triggers merge-of-consecutive-patterns w/GADT false:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: false
Created 6 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
@@ -804,119 +583,14 @@ Same example that triggers merge-of-consecutive-patterns w/GADT false:
$ mutaml-runner _build/default/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Testing mutant test:3 ... passed
- Testing mutant test:4 ... passed
- Testing mutant test:5 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- test.ml 6 0.0% 0 0.0% 0 100.0% 6
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "test.ml-mutant0" passed (see "_mutations/test.ml-mutant0.output"):
-
- --- test.ml
- +++ test.ml-mutant0
- @@ -10,7 +10,7 @@
- | Binop (ae0, Add, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
- - v0 + v1
- + v0 - v1
- | Binop (ae0, Mul, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant1" passed (see "_mutations/test.ml-mutant1.output"):
-
- --- test.ml
- +++ test.ml-mutant1
- @@ -14,6 +14,6 @@
- | Binop (ae0, Mul, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
- - v0 * v1
- + v0 + v1
-
- let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant2" passed (see "_mutations/test.ml-mutant2.output"):
-
- --- test.ml
- +++ test.ml-mutant2
- @@ -7,11 +7,7 @@
- let rec interpret xval ae = match ae with
- | X -> xval
- | Lit i -> i
- - | Binop (ae0, Add, ae1) ->
- - let v0 = interpret xval ae0 in
- - let v1 = interpret xval ae1 in
- - v0 + v1
- - | Binop (ae0, Mul, ae1) ->
- + | Binop (ae0, Add, ae1) | Binop (ae0, Mul, ae1) ->
- let v0 = interpret xval ae0 in
- let v1 = interpret xval ae1 in
- v0 * v1
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant3" passed (see "_mutations/test.ml-mutant3.output"):
-
- --- test.ml
- +++ test.ml-mutant3
- @@ -16,4 +16,4 @@
- let v1 = interpret xval ae1 in
- v0 * v1
-
- -let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
- +let () = interpret 3 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant4" passed (see "_mutations/test.ml-mutant4.output"):
-
- --- test.ml
- +++ test.ml-mutant4
- @@ -16,4 +16,4 @@
- let v1 = interpret xval ae1 in
- v0 * v1
-
- -let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
- +let () = interpret 2 (Binop (Lit 0, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
- Mutation "test.ml-mutant5" passed (see "_mutations/test.ml-mutant5.output"):
-
- --- test.ml
- +++ test.ml-mutant5
- @@ -16,4 +16,4 @@
- let v1 = interpret xval ae1 in
- v0 * v1
-
- -let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 3))) |> Printf.printf "1 + x*3 = %i\n"
- +let () = interpret 2 (Binop (Lit 1, Add, Binop (X, Mul, Lit 4))) |> Printf.printf "1 + x*3 = %i\n"
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
$ unset MUTAML_GADT
@@ -986,7 +660,23 @@ Same example but with GADT false:
Randomness seed: 896745231 Mutation rate: 100 GADTs enabled: false
Created 9 mutations of test.ml
Writing mutation info to test.muts
-
+ [@@@ocaml.ppx.context
+ {
+ tool_name = "ppx_driver";
+ include_dirs = [];
+ load_path = [];
+ open_modules = [];
+ for_package = None;
+ debug = false;
+ use_threads = false;
+ use_vmthreads = false;
+ recursive_types = false;
+ principal = false;
+ transparent_modules = false;
+ unboxed_types = false;
+ unsafe_string = false;
+ cookies = []
+ }]
let __MUTAML_MUTANT__ = Stdlib.Sys.getenv_opt "MUTAML_MUTANT"
let __is_mutaml_mutant__ m =
match __MUTAML_MUTANT__ with
File "test/testproj-1-module.t/run.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/c71d00df37ba93b6f2528c042fce410a/default/test/testproj-1-module.t/run.t _build/.sandbox/c71d00df37ba93b6f2528c042fce410a/default/test/testproj-1-module.t/run.t.corrected
diff --git a/_build/.sandbox/c71d00df37ba93b6f2528c042fce410a/default/test/testproj-1-module.t/run.t b/_build/.sandbox/c71d00df37ba93b6f2528c042fce410a/default/test/testproj-1-module.t/run.t.corrected
index d6bb955..c297fae 100644
--- a/_build/.sandbox/c71d00df37ba93b6f2528c042fce410a/default/test/testproj-1-module.t/run.t
+++ b/_build/.sandbox/c71d00df37ba93b6f2528c042fce410a/default/test/testproj-1-module.t/run.t.corrected
@@ -60,263 +60,59 @@ Set seed and (full) mutation rate as environment variables, for repeatability
_build/default/ounittest.ml
$ mutaml-runner _build/default/ounittest.exe
- read mut file lib.muts
- Testing mutant lib:0 ... failed
- Testing mutant lib:1 ... failed
- Testing mutant lib:2 ... failed
- Testing mutant lib:3 ... failed
- Testing mutant lib:4 ... failed
- Testing mutant lib:5 ... failed
- Testing mutant lib:6 ... passed
- Testing mutant lib:7 ... failed
- Testing mutant lib:8 ... failed
- Testing mutant lib:9 ... failed
- Testing mutant lib:10 ... failed
- Testing mutant lib:11 ... failed
- Testing mutant lib:12 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report mutaml-report.json
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- lib.ml 13 84.6% 11 0.0% 0 15.4% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "lib.ml-mutant6" passed (see "_mutations/lib.ml-mutant6.output"):
-
- --- lib.ml
- +++ lib.ml-mutant6
- @@ -21,7 +21,7 @@
-
- let pi total =
- let rec loop n inside =
- - if n = 0 then
- + if n = 1 then
- 4. *. (float_of_int inside /. float_of_int total)
- else
- let x = 1.0 -. Random.float 2.0 in
-
- ---------------------------------------------------------------------------
-
- Mutation "lib.ml-mutant12" passed (see "_mutations/lib.ml-mutant12.output"):
-
- --- lib.ml
- +++ lib.ml-mutant12
- @@ -30,4 +30,4 @@
- then loop (n-1) (inside+1)
- else loop (n-1) (inside)
- in
- - loop total 0
- + loop total 1
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Restarting runner should give the same output:
$ mutaml-runner _build/default/ounittest.exe
- read mut file lib.muts
- Testing mutant lib:0 ... failed
- Testing mutant lib:1 ... failed
- Testing mutant lib:2 ... failed
- Testing mutant lib:3 ... failed
- Testing mutant lib:4 ... failed
- Testing mutant lib:5 ... failed
- Testing mutant lib:6 ... passed
- Testing mutant lib:7 ... failed
- Testing mutant lib:8 ... failed
- Testing mutant lib:9 ... failed
- Testing mutant lib:10 ... failed
- Testing mutant lib:11 ... failed
- Testing mutant lib:12 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-runner _build/default/ounittest.exe
- read mut file lib.muts
- Testing mutant lib:0 ... failed
- Testing mutant lib:1 ... failed
- Testing mutant lib:2 ... failed
- Testing mutant lib:3 ... failed
- Testing mutant lib:4 ... failed
- Testing mutant lib:5 ... failed
- Testing mutant lib:6 ... passed
- Testing mutant lib:7 ... failed
- Testing mutant lib:8 ... failed
- Testing mutant lib:9 ... failed
- Testing mutant lib:10 ... failed
- Testing mutant lib:11 ... failed
- Testing mutant lib:12 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
Similarly for the reporter:
$ mutaml-report mutaml-report.json
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- lib.ml 13 84.6% 11 0.0% 0 15.4% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "lib.ml-mutant6" passed (see "_mutations/lib.ml-mutant6.output"):
-
- --- lib.ml
- +++ lib.ml-mutant6
- @@ -21,7 +21,7 @@
-
- let pi total =
- let rec loop n inside =
- - if n = 0 then
- + if n = 1 then
- 4. *. (float_of_int inside /. float_of_int total)
- else
- let x = 1.0 -. Random.float 2.0 in
-
- ---------------------------------------------------------------------------
-
- Mutation "lib.ml-mutant12" passed (see "_mutations/lib.ml-mutant12.output"):
-
- --- lib.ml
- +++ lib.ml-mutant12
- @@ -30,4 +30,4 @@
- then loop (n-1) (inside+1)
- else loop (n-1) (inside)
- in
- - loop total 0
- + loop total 1
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Try a second run to check that we get the same:
$ mutaml-report mutaml-report.json
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- lib.ml 13 84.6% 11 0.0% 0 15.4% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "lib.ml-mutant6" passed (see "_mutations/lib.ml-mutant6.output"):
-
- --- lib.ml
- +++ lib.ml-mutant6
- @@ -21,7 +21,7 @@
-
- let pi total =
- let rec loop n inside =
- - if n = 0 then
- + if n = 1 then
- 4. *. (float_of_int inside /. float_of_int total)
- else
- let x = 1.0 -. Random.float 2.0 in
-
- ---------------------------------------------------------------------------
-
- Mutation "lib.ml-mutant12" passed (see "_mutations/lib.ml-mutant12.output"):
-
- --- lib.ml
- +++ lib.ml-mutant12
- @@ -30,4 +30,4 @@
- then loop (n-1) (inside+1)
- else loop (n-1) (inside)
- in
- - loop total 0
- + loop total 1
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Try without providing an explicit file name:
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- lib.ml 13 84.6% 11 0.0% 0 15.4% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "lib.ml-mutant6" passed (see "_mutations/lib.ml-mutant6.output"):
-
- --- lib.ml
- +++ lib.ml-mutant6
- @@ -21,7 +21,7 @@
-
- let pi total =
- let rec loop n inside =
- - if n = 0 then
- + if n = 1 then
- 4. *. (float_of_int inside /. float_of_int total)
- else
- let x = 1.0 -. Random.float 2.0 in
-
- ---------------------------------------------------------------------------
-
- Mutation "lib.ml-mutant12" passed (see "_mutations/lib.ml-mutant12.output"):
-
- --- lib.ml
- +++ lib.ml-mutant12
- @@ -30,4 +30,4 @@
- then loop (n-1) (inside+1)
- else loop (n-1) (inside)
- in
- - loop total 0
- + loop total 1
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Now try the --no-diff option while providing an explicit file name:
$ mutaml-report --no-diff mutaml-report.json
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- lib.ml 13 84.6% 11 0.0% 0 15.4% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "lib.ml-mutant6" passed (see "_mutations/lib.ml-mutant6.output")
- Mutation "lib.ml-mutant12" passed (see "_mutations/lib.ml-mutant12.output")
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
--------------------------------------------------------------------------------
@@ -326,20 +122,8 @@ And try the --no-diff option without providing an explicit file name:
$ mutaml-report --no-diff
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- lib.ml 13 84.6% 11 0.0% 0 15.4% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "lib.ml-mutant6" passed (see "_mutations/lib.ml-mutant6.output")
- Mutation "lib.ml-mutant12" passed (see "_mutations/lib.ml-mutant12.output")
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
--------------------------------------------------------------------------------
@@ -350,64 +134,16 @@ And try with a different MUTAML_DIFF_COMMAND environment variable:
$ export MUTAML_DIFF_COMMAND="diff -U 2"
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- lib.ml 13 84.6% 11 0.0% 0 15.4% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "lib.ml-mutant6" passed (see "_mutations/lib.ml-mutant6.output"):
-
- --- lib.ml
- +++ lib.ml-mutant6
- @@ -22,5 +22,5 @@
- let pi total =
- let rec loop n inside =
- - if n = 0 then
- + if n = 1 then
- 4. *. (float_of_int inside /. float_of_int total)
- else
-
- ---------------------------------------------------------------------------
-
- Mutation "lib.ml-mutant12" passed (see "_mutations/lib.ml-mutant12.output"):
-
- --- lib.ml
- +++ lib.ml-mutant12
- @@ -31,3 +31,3 @@
- else loop (n-1) (inside)
- in
- - loop total 0
- + loop total 1
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Also check that MUTAML_DIFF_COMMAND doesn't affect --no-diff:
$ mutaml-report --no-diff
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- lib.ml 13 84.6% 11 0.0% 0 15.4% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "lib.ml-mutant6" passed (see "_mutations/lib.ml-mutant6.output")
- Mutation "lib.ml-mutant12" passed (see "_mutations/lib.ml-mutant12.output")
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Now clean-up MUTAML_DIFF_COMMAND again to default again
@@ -420,22 +156,12 @@ Now clean-up MUTAML_DIFF_COMMAND again to default again
Now move file to a different name and retry the --no-diff option with the new name:
$ mv mutaml-report.json some-report-name.json
+ mv: cannot stat 'mutaml-report.json': No such file or directory
+ [1]
$ mutaml-report --no-diff some-report-name.json
Attempting to read from some-report-name.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- lib.ml 13 84.6% 11 0.0% 0 15.4% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "lib.ml-mutant6" passed (see "_mutations/lib.ml-mutant6.output")
- Mutation "lib.ml-mutant12" passed (see "_mutations/lib.ml-mutant12.output")
+ Could not open file some-report-name.json: No such file or directory
+ [1]
--------------------------------------------------------------------------------
@@ -461,35 +187,19 @@ Create a dune-workspace file with another build context:
Writing mutation info to lib.muts
$ ls _* dune* *.ml some-report-name.json
+ ls: cannot access 'some-report-name.json': No such file or directory
dune
dune-project
dune-workspace
lib.ml
main.ml
ounittest.ml
- some-report-name.json
_build:
default
log
mutation
-
- _mutations:
- lib.ml-mutant12
- lib.ml-mutant6
- lib.muts-mutant0.output
- lib.muts-mutant1.output
- lib.muts-mutant10.output
- lib.muts-mutant11.output
- lib.muts-mutant12.output
- lib.muts-mutant2.output
- lib.muts-mutant3.output
- lib.muts-mutant4.output
- lib.muts-mutant5.output
- lib.muts-mutant6.output
- lib.muts-mutant7.output
- lib.muts-mutant8.output
- lib.muts-mutant9.output
+ [2]
$ ls _build/default/*.exe _build/default/*.ml
_build/default/lib.ml
@@ -506,61 +216,14 @@ Create a dune-workspace file with another build context:
$ export MUTAML_BUILD_CONTEXT="_build/mutation"
$ mutaml-runner _build/mutation/ounittest.exe
- read mut file lib.muts
- Testing mutant lib:0 ... failed
- Testing mutant lib:1 ... failed
- Testing mutant lib:2 ... failed
- Testing mutant lib:3 ... failed
- Testing mutant lib:4 ... passed
- Testing mutant lib:5 ... failed
- Testing mutant lib:6 ... failed
- Testing mutant lib:7 ... failed
- Testing mutant lib:8 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- lib.ml 9 77.8% 7 0.0% 0 22.2% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "lib.ml-mutant4" passed (see "_mutations/lib.ml-mutant4.output"):
-
- --- lib.ml
- +++ lib.ml-mutant4
- @@ -21,7 +21,7 @@
-
- let pi total =
- let rec loop n inside =
- - if n = 0 then
- + if n = 1 then
- 4. *. (float_of_int inside /. float_of_int total)
- else
- let x = 1.0 -. Random.float 2.0 in
-
- ---------------------------------------------------------------------------
-
- Mutation "lib.ml-mutant8" passed (see "_mutations/lib.ml-mutant8.output"):
-
- --- lib.ml
- +++ lib.ml-mutant8
- @@ -30,4 +30,4 @@
- then loop (n-1) (inside+1)
- else loop (n-1) (inside)
- in
- - loop total 0
- + loop total 1
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Similar, but by passing a command line option:
$ dune clean
@@ -580,61 +243,14 @@ Similar, but by passing a command line option:
$ unset MUTAML_BUILD_CONTEXT
$ mutaml-runner --build-context "_build/mutation" _build/mutation/ounittest.exe
- read mut file lib.muts
- Testing mutant lib:0 ... failed
- Testing mutant lib:1 ... failed
- Testing mutant lib:2 ... failed
- Testing mutant lib:3 ... failed
- Testing mutant lib:4 ... passed
- Testing mutant lib:5 ... failed
- Testing mutant lib:6 ... failed
- Testing mutant lib:7 ... failed
- Testing mutant lib:8 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- lib.ml 9 77.8% 7 0.0% 0 22.2% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "lib.ml-mutant4" passed (see "_mutations/lib.ml-mutant4.output"):
-
- --- lib.ml
- +++ lib.ml-mutant4
- @@ -21,7 +21,7 @@
-
- let pi total =
- let rec loop n inside =
- - if n = 0 then
- + if n = 1 then
- 4. *. (float_of_int inside /. float_of_int total)
- else
- let x = 1.0 -. Random.float 2.0 in
-
- ---------------------------------------------------------------------------
-
- Mutation "lib.ml-mutant8" passed (see "_mutations/lib.ml-mutant8.output"):
-
- --- lib.ml
- +++ lib.ml-mutant8
- @@ -30,4 +30,4 @@
- then loop (n-1) (inside+1)
- else loop (n-1) (inside)
- in
- - loop total 0
- + loop total 1
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Finally, test overriding:
Similar, but by passing a command line option:
@@ -656,79 +272,22 @@ Similar, but by passing a command line option:
$ export MUTAML_BUILD_CONTEXT="_build/in-a-galaxy-far-far-away"
$ mutaml-runner --build-context "_build/mutation" _build/mutation/ounittest.exe
- read mut file lib.muts
- Testing mutant lib:0 ... failed
- Testing mutant lib:1 ... failed
- Testing mutant lib:2 ... failed
- Testing mutant lib:3 ... failed
- Testing mutant lib:4 ... passed
- Testing mutant lib:5 ... failed
- Testing mutant lib:6 ... failed
- Testing mutant lib:7 ... failed
- Testing mutant lib:8 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
$ mutaml-report
Attempting to read from mutaml-report.json...
-
- Mutaml report summary:
- ----------------------
-
- target #mutations #failed #timeouts #passed
- -------------------------------------------------------------------------------------
- lib.ml 9 77.8% 7 0.0% 0 22.2% 2
- =====================================================================================
-
- Mutation programs passing the test suite:
- -----------------------------------------
-
- Mutation "lib.ml-mutant4" passed (see "_mutations/lib.ml-mutant4.output"):
-
- --- lib.ml
- +++ lib.ml-mutant4
- @@ -21,7 +21,7 @@
-
- let pi total =
- let rec loop n inside =
- - if n = 0 then
- + if n = 1 then
- 4. *. (float_of_int inside /. float_of_int total)
- else
- let x = 1.0 -. Random.float 2.0 in
-
- ---------------------------------------------------------------------------
-
- Mutation "lib.ml-mutant8" passed (see "_mutations/lib.ml-mutant8.output"):
-
- --- lib.ml
- +++ lib.ml-mutant8
- @@ -30,4 +30,4 @@
- then loop (n-1) (inside+1)
- else loop (n-1) (inside)
- in
- - loop total 0
- + loop total 1
-
- ---------------------------------------------------------------------------
-
+ Could not open file mutaml-report.json: No such file or directory
+ [1]
Here's an example of a manual diff from the console:
$ diff -u --label "lib.ml" -u lib.ml --label "lib.ml-mutant6" _mutations/lib.ml-mutant6
- --- lib.ml
- +++ lib.ml-mutant6
- @@ -21,7 +21,7 @@
-
- let pi total =
- let rec loop n inside =
- - if n = 0 then
- + if n = 1 then
- 4. *. (float_of_int inside /. float_of_int total)
- else
- let x = 1.0 -. Random.float 2.0 in
- [1]
+ diff: _mutations/lib.ml-mutant6: No such file or directory
+ [2]
Old git diff attempts
File "test/instrumentation-tests/ppx-args.t", line 1, characters 0-0:
C:\cygwin64\bin\git.exe --no-pager diff --no-index --color=always -u --ignore-cr-at-eol _build/.sandbox/3e32bee9262402cc06959ab93e837de8/default/test/instrumentation-tests/ppx-args.t _build/.sandbox/3e32bee9262402cc06959ab93e837de8/default/test/instrumentation-tests/ppx-args.t.corrected
diff --git a/_build/.sandbox/3e32bee9262402cc06959ab93e837de8/default/test/instrumentation-tests/ppx-args.t b/_build/.sandbox/3e32bee9262402cc06959ab93e837de8/default/test/instrumentation-tests/ppx-args.t.corrected
index d32a0c4..ff10d5a 100644
--- a/_build/.sandbox/3e32bee9262402cc06959ab93e837de8/default/test/instrumentation-tests/ppx-args.t
+++ b/_build/.sandbox/3e32bee9262402cc06959ab93e837de8/default/test/instrumentation-tests/ppx-args.t.corrected
@@ -398,12 +398,6 @@ And a dune file:
$ export MUTAML_BUILD_CONTEXT="_build/mutation"
$ mutaml-runner _build/mutation/test.bc
- read mut file test.muts
- Testing mutant test:0 ... passed
- Testing mutant test:1 ... passed
- Testing mutant test:2 ... passed
- Testing mutant test:3 ... passed
- Testing mutant test:4 ... passed
- Testing mutant test:5 ... passed
- Testing mutant test:6 ... passed
- Writing report data to mutaml-report.json
+ The system cannot find the path specified.
+ Could not find time-out command: timeout
+ [1]
"cd /cygdrive/c/Users/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1
2025-06-29 18:15.13: Job failed: Failed: Build failed