woxml/Makefile.toml at main · stepkun/woxml · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
# Copyright © 2026 Stephan Kunz
# Preconditions:
#    rustup component add llvm-tools-preview --toolchain nightly-x86_64-unknown-linux-gnu
#    cargo install cargo-make cargo-fuzz cargo-llvm-cov

[tasks.cov]
toolchain = "nightly"
#install_crate = "cargo-llvm-cov"
command = "cargo"
args = [
    "llvm-cov",
    "test",
    "--no-clean",
    "--lcov",
    "--output-path",
    "coverage/lcov.info",
    "--all-features",
    "--all-targets",
    "--show-missing-lines",
    "--show-instantiations",
    "--branch",              # currently unstable, superceeded by --mcdc, not usable together
    #"--mcdc",      # currently unstable, does not work
    "--workspace",
    #"--offline",
]

# [tasks.cov-summary]
# toolchain = "nightly"
# #install_crate = "cargo-llvm-cov"
# command = "cargo"
# args = [
#     "llvm-cov",
#     "test",
#     "--no-clean",
#     "--json",                # for summary-only!
#     "--summary-only",
#     "--output-path",
#     "coverage/summary.json",
#     "--color=always",
#     "--all-features",
#     "--all-targets",
#     "--show-missing-lines",
#     "--show-instantiations",
#     "--branch",              # currently unstable, superceeded by --mcdc, not usable together
#     #"--mcdc",                # currently unstable, does not work
#     #"--locked",
#     "--workspace",
# ]

[tasks.cov-html]
toolchain = "nightly"
#install_crate = "cargo-llvm-cov"
command = "cargo"
args = [
    "llvm-cov",
    "test",
    #"--no-clean",
    "--html",
    #"--output-dir",
    #"coverage",
    "--color=always",
    "--all-features",
    "--all-targets",
    "--show-instantiations",
    "--show-missing-lines",
    "--branch",              # currently unstable, superceeded by --mcdc, not usable together
    #"--mcdc",   # currently unstable, does not work
    #"--locked",
    "--workspace",
]