==> Synchronizing chroot copy [/home/leming/armv8/root] -> [leming]...done
==> Making package: kani 0.64.0-1 (Fri Jul 4 09:05:14 2025)
==> Retrieving sources...
-> Cloning kani-0.64.0 git repo...
Cloning into bare repository '/home/leming/work/kani/kani-0.64.0'...
-> Cloning kani-charon git repo...
Cloning into bare repository '/home/leming/work/kani/kani-charon'...
-> Cloning kani-firecracker git repo...
Cloning into bare repository '/home/leming/work/kani/kani-firecracker'...
-> Cloning kani-s2n-quic git repo...
Cloning into bare repository '/home/leming/work/kani/kani-s2n-quic'...
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with sha256sums...
kani-0.64.0 ... Skipped
kani-charon ... Skipped
kani-firecracker ... Skipped
kani-s2n-quic ... Skipped
==> Making package: kani 0.64.0-1 (Fri 04 Jul 2025 09:08:13 AM MDT)
==> Checking runtime dependencies...
==> Installing missing dependencies...
[?25lresolving dependencies...
looking for conflicting packages...
Packages (1) rustup-1.28.2-2
Total Download Size: 2.93 MiB
Total Installed Size: 10.06 MiB
:: Proceed with installation? [Y/n]
:: Retrieving packages...
rustup-1.28.2-2-aarch64 downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing rustup...
You may need to run rustup update stable
and possibly also rustup self upgrade-data
Optional dependencies for rustup
lldb: rust-lldb script
gdb: rust-gdb script
:: Running post-transaction hooks...
(1/1) Arming ConditionNeedsUpdate...
[?25h==> Checking buildtime dependencies...
==> Installing missing dependencies...
[?25lresolving dependencies...
looking for conflicting packages...
Packages (5) perl-error-0.17030-1 perl-mailtools-2.22-1 perl-timedate-2.33-7
zlib-ng-2.2.4-1 git-2.50.0-1
Total Download Size: 7.83 MiB
Total Installed Size: 45.31 MiB
:: Proceed with installation? [Y/n]
:: Retrieving packages...
git-2.50.0-1-aarch64 downloading...
zlib-ng-2.2.4-1-aarch64 downloading...
perl-mailtools-2.22-1-any downloading...
perl-timedate-2.33-7-any downloading...
perl-error-0.17030-1-any downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing perl-error...
installing perl-timedate...
installing perl-mailtools...
installing zlib-ng...
installing git...
Optional dependencies for git
git-zsh-completion: upstream zsh completion
tk: gitk and git gui
openssh: ssh transport and crypto
man: show help with `git command --help`
perl-libwww: git svn
perl-term-readkey: git svn and interactive.singlekey setting
perl-io-socket-ssl: git send-email TLS support
perl-authen-sasl: git send-email TLS support
perl-mediawiki-api: git mediawiki support
perl-datetime-format-iso8601: git mediawiki support
perl-lwp-protocol-https: git mediawiki https support
perl-cgi: gitweb (web interface) support
python: git svn & git p4 [installed]
subversion: git svn
org.freedesktop.secrets: keyring credential helper
libsecret: libsecret credential helper [installed]
:: Running post-transaction hooks...
(1/4) Creating system user accounts...
Creating group 'git' with GID 971.
Creating user 'git' (git daemon user) with UID 971 and GID 971.
(2/4) Reloading system manager configuration...
Skipped: Current root is not booted.
(3/4) Arming ConditionNeedsUpdate...
(4/4) Checking for old perl modules...
[?25h==> Retrieving sources...
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
-> Creating working copy of kani-0.64.0 git repo...
Cloning into 'kani-0.64.0'...
done.
Switched to a new branch 'makepkg'
-> Creating working copy of kani-charon git repo...
Cloning into 'kani-charon'...
done.
-> Creating working copy of kani-firecracker git repo...
Cloning into 'kani-firecracker'...
done.
-> Creating working copy of kani-s2n-quic git repo...
Cloning into 'kani-s2n-quic'...
done.
==> Starting prepare()...
Submodule 'charon' (https://github.com/AeneasVerif/charon) registered for path 'charon'
Submodule 'firecracker' (https://github.com/firecracker-microvm/firecracker.git) registered for path 'firecracker'
Submodule 'tests/perf/s2n-quic' (https://github.com/aws/s2n-quic) registered for path 'tests/perf/s2n-quic'
Cloning into '/build/kani/src/kani-0.64.0/charon'...
done.
Cloning into '/build/kani/src/kani-0.64.0/firecracker'...
done.
Cloning into '/build/kani/src/kani-0.64.0/tests/perf/s2n-quic'...
done.
Submodule path 'charon': checked out 'df3b7fd4c1277827c92b4a2cb84347f1f54d92a6'
Submodule path 'firecracker': checked out 'cd36c699f3cb3d531289aadee26c45c1306edcfc'
Submodule path 'tests/perf/s2n-quic': checked out 'b8f8cca2612490ca54613f4bb2522828d2e42f9f'
info: syncing channel updates for 'nightly-2025-07-02-aarch64-unknown-linux-gnu'
info: latest update on 2025-07-02, rust version 1.90.0-nightly (71e4c005c 2025-07-01)
info: downloading component 'cargo'
info: downloading component 'clippy'
info: downloading component 'llvm-tools'
18.7 MiB / 28.8 MiB ( 65 %) 0 B/s in 1s ETA: Unknown
28.8 MiB / 28.8 MiB (100 %) 18.7 MiB/s in 3s
info: downloading component 'rust-docs'
19.1 MiB / 20.6 MiB ( 93 %) 0 B/s in 1s ETA: Unknown
20.6 MiB / 20.6 MiB (100 %) 19.1 MiB/s in 3s
info: downloading component 'rust-src'
info: downloading component 'rust-std'
19.1 MiB / 26.6 MiB ( 72 %) 0 B/s in 1s ETA: Unknown
26.6 MiB / 26.6 MiB (100 %) 19.1 MiB/s in 3s
info: downloading component 'rustc'
16.9 MiB / 58.1 MiB ( 29 %) 0 B/s in 1s ETA: Unknown
28.8 MiB / 58.1 MiB ( 50 %) 16.9 MiB/s in 2s ETA: 1s
47.7 MiB / 58.1 MiB ( 82 %) 14.4 MiB/s in 3s
58.1 MiB / 58.1 MiB (100 %) 15.9 MiB/s in 7s
info: downloading component 'rustc-dev'
18.7 MiB / 102.2 MiB ( 18 %) 0 B/s in 1s ETA: Unknown
28.9 MiB / 102.2 MiB ( 28 %) 18.7 MiB/s in 2s ETA: 3s
47.7 MiB / 102.2 MiB ( 47 %) 14.5 MiB/s in 3s ETA: 3s
64.7 MiB / 102.2 MiB ( 63 %) 15.9 MiB/s in 4s ETA: 2s
76.6 MiB / 102.2 MiB ( 75 %) 16.2 MiB/s in 5s ETA: 1s
95.4 MiB / 102.2 MiB ( 93 %) 15.3 MiB/s in 6s
102.2 MiB / 102.2 MiB (100 %) 15.3 MiB/s in 16s
info: downloading component 'rustfmt'
info: installing component 'cargo'
8.4 MiB / 9.2 MiB ( 91 %) 0 B/s in 1s ETA: Unknown
9.2 MiB / 9.2 MiB (100 %) 8.4 MiB/s in 1s
info: installing component 'clippy'
info: installing component 'llvm-tools'
6.8 MiB / 28.8 MiB ( 23 %) 0 B/s in 1s ETA: Unknown
14.7 MiB / 28.8 MiB ( 51 %) 6.8 MiB/s in 2s ETA: 2s
22.7 MiB / 28.8 MiB ( 79 %) 7.4 MiB/s in 3s
28.8 MiB / 28.8 MiB (100 %) 7.6 MiB/s in 3s
info: installing component 'rust-docs'
5.5 MiB / 20.6 MiB ( 27 %) 0 B/s in 1s ETA: Unknown
5.5 MiB / 20.6 MiB ( 27 %) 5.5 MiB/s in 2s ETA: 2s
5.9 MiB / 20.6 MiB ( 29 %) 2.8 MiB/s in 4s ETA: 5s
5.9 MiB / 20.6 MiB ( 29 %) 2.0 MiB/s in 5s ETA: 7s
6.0 MiB / 20.6 MiB ( 29 %) 1.5 MiB/s in 7s ETA: 9s
6.2 MiB / 20.6 MiB ( 30 %) 1.2 MiB/s in 8s ETA: 11s
6.4 MiB / 20.6 MiB ( 31 %) 134.4 KiB/s in 9s ETA: 1m 48s
7.0 MiB / 20.6 MiB ( 34 %) 180.8 KiB/s in 11s ETA: 1m 17s
7.0 MiB / 20.6 MiB ( 34 %) 219.2 KiB/s in 12s ETA: 1m 3s
8.0 MiB / 20.6 MiB ( 39 %) 228.8 KiB/s in 13s ETA: 56s
8.2 MiB / 20.6 MiB ( 40 %) 400.0 KiB/s in 14s ETA: 31s
8.8 MiB / 20.6 MiB ( 43 %) 425.6 KiB/s in 15s ETA: 28s
10.3 MiB / 20.6 MiB ( 50 %) 494.4 KiB/s in 17s ETA: 21s
13.5 MiB / 20.6 MiB ( 65 %) 683.2 KiB/s in 18s ETA: 10s
15.0 MiB / 20.6 MiB ( 73 %) 1.3 MiB/s in 19s ETA: 4s
16.9 MiB / 20.6 MiB ( 82 %) 1.4 MiB/s in 20s ETA: 2s
16.9 MiB / 20.6 MiB ( 82 %) 1.7 MiB/s in 21s ETA: 2s
17.3 MiB / 20.6 MiB ( 84 %) 1.6 MiB/s in 22s ETA: 2s
17.4 MiB / 20.6 MiB ( 85 %) 1.4 MiB/s in 23s ETA: 2s
17.6 MiB / 20.6 MiB ( 85 %) 804.8 KiB/s in 25s ETA: 3s
18.8 MiB / 20.6 MiB ( 91 %) 531.2 KiB/s in 26s ETA: 3s
18.9 MiB / 20.6 MiB ( 92 %) 398.4 KiB/s in 27s ETA: 4s
19.4 MiB / 20.6 MiB ( 94 %) 404.8 KiB/s in 28s ETA: 2s
20.2 MiB / 20.6 MiB ( 98 %) 440.0 KiB/s in 29s
20.3 MiB / 20.6 MiB ( 99 %) 571.2 KiB/s in 30s
20.6 MiB / 20.6 MiB (100 %) 568.0 KiB/s in 31s
info: installing component 'rust-src'
1.2 MiB / 3.3 MiB ( 36 %) 0 B/s in 1s ETA: Unknown
2.6 MiB / 3.3 MiB ( 79 %) 1.2 MiB/s in 2s
3.3 MiB / 3.3 MiB (100 %) 1.3 MiB/s in 3s
info: installing component 'rust-std'
7.3 MiB / 26.6 MiB ( 27 %) 0 B/s in 4s ETA: Unknown
15.1 MiB / 26.6 MiB ( 57 %) 7.3 MiB/s in 5s ETA: 1s
23.3 MiB / 26.6 MiB ( 88 %) 7.5 MiB/s in 6s
26.6 MiB / 26.6 MiB (100 %) 7.8 MiB/s in 6s
2 IO-ops / 7 IO-ops ( 29 %) 0 IOPS in 1s ETA: Unknown
4 IO-ops / 7 IO-ops ( 57 %) 2 IOPS in 2s ETA: 1s
4 IO-ops / 7 IO-ops ( 57 %) 2 IOPS in 3s ETA: 1s
5 IO-ops / 7 IO-ops ( 71 %) 1 IOPS in 4s ETA: 2s
6 IO-ops / 7 IO-ops ( 86 %) 1 IOPS in 5s ETA: 1s
6 IO-ops / 7 IO-ops ( 86 %) 1 IOPS in 6s ETA: 1s
6 IO-ops / 7 IO-ops ( 86 %) 0 IOPS in 7s ETA: Unknown
7 IO-ops / 7 IO-ops (100 %) 0 IOPS in 7s ETA: Unknown
info: installing component 'rustc'
8.7 MiB / 58.1 MiB ( 15 %) 0 B/s in 1s ETA: Unknown
16.6 MiB / 58.1 MiB ( 29 %) 8.7 MiB/s in 2s ETA: 4s
24.5 MiB / 58.1 MiB ( 42 %) 8.3 MiB/s in 3s ETA: 4s
32.0 MiB / 58.1 MiB ( 55 %) 8.2 MiB/s in 4s ETA: 3s
38.9 MiB / 58.1 MiB ( 67 %) 8.0 MiB/s in 5s ETA: 2s
46.8 MiB / 58.1 MiB ( 81 %) 7.8 MiB/s in 6s ETA: 1s
54.6 MiB / 58.1 MiB ( 94 %) 7.6 MiB/s in 7s
56.0 MiB / 58.1 MiB ( 96 %) 7.6 MiB/s in 10s
58.1 MiB / 58.1 MiB (100 %) 6.3 MiB/s in 10s
7 IO-ops / 8 IO-ops ( 88 %) 0 IOPS in 1s ETA: Unknown
7 IO-ops / 8 IO-ops ( 88 %) 7 IOPS in 2s
7 IO-ops / 8 IO-ops ( 88 %) 3 IOPS in 3s
7 IO-ops / 8 IO-ops ( 88 %) 2 IOPS in 4s
7 IO-ops / 8 IO-ops ( 88 %) 1 IOPS in 5s ETA: 1s
7 IO-ops / 8 IO-ops ( 88 %) 1 IOPS in 6s ETA: 1s
7 IO-ops / 8 IO-ops ( 88 %) 0 IOPS in 7s ETA: Unknown
7 IO-ops / 8 IO-ops ( 88 %) 0 IOPS in 8s ETA: Unknown
8 IO-ops / 8 IO-ops (100 %) 0 IOPS in 8s ETA: Unknown
info: installing component 'rustc-dev'
7.6 MiB / 102.2 MiB ( 7 %) 0 B/s in 13s ETA: Unknown
8.0 MiB / 102.2 MiB ( 8 %) 7.6 MiB/s in 33s ETA: 12s
15.7 MiB / 102.2 MiB ( 15 %) 4.0 MiB/s in 34s ETA: 21s
23.6 MiB / 102.2 MiB ( 23 %) 5.2 MiB/s in 35s ETA: 15s
31.7 MiB / 102.2 MiB ( 31 %) 5.9 MiB/s in 36s ETA: 11s
39.4 MiB / 102.2 MiB ( 39 %) 6.3 MiB/s in 37s ETA: 9s
47.3 MiB / 102.2 MiB ( 46 %) 6.4 MiB/s in 38s ETA: 8s
55.1 MiB / 102.2 MiB ( 54 %) 7.9 MiB/s in 39s ETA: 5s
63.0 MiB / 102.2 MiB ( 62 %) 7.9 MiB/s in 40s ETA: 4s
70.3 MiB / 102.2 MiB ( 69 %) 7.9 MiB/s in 41s ETA: 4s
72.0 MiB / 102.2 MiB ( 70 %) 7.7 MiB/s in 45s ETA: 3s
80.0 MiB / 102.2 MiB ( 78 %) 6.5 MiB/s in 46s ETA: 3s
80.0 MiB / 102.2 MiB ( 78 %) 6.5 MiB/s in 1m 1s ETA: 3s
87.9 MiB / 102.2 MiB ( 86 %) 5.0 MiB/s in 1m 2s ETA: 2s
95.1 MiB / 102.2 MiB ( 93 %) 5.0 MiB/s in 1m 3s ETA: 1s
101.9 MiB / 102.2 MiB (100 %) 5.0 MiB/s in 1m 4s
102.2 MiB / 102.2 MiB (100 %) 6.0 MiB/s in 1m 4s
info: installing component 'rustfmt'
info: component 'rust-src' is up to date
info: component 'rustc-dev' for target 'aarch64-unknown-linux-gnu' is up to date
info: component 'llvm-tools' for target 'aarch64-unknown-linux-gnu' is up to date
Updating crates.io index
Fetch [===========> ] 24 complete; 10 pending
Fetch [===========> ] 34 complete; 0 pending
Updating git repository `https://github.com/Nadrieril/tracing-tree`
Fetch [ ] 0.00%, 29.58KiB/s
Fetch [===============> ] 66.97%, (150/369) resolving deltas
Fetch [==============> ] 34 complete; 13 pending
Fetch [=================> ] 47 complete; 91 pending
Fetch [=================> ] 135 complete; 3 pending
Fetch [====================> ] 138 complete; 57 pending
Fetch [=======================> ] 195 complete; 33 pending
Fetch [==========================> ] 237 complete; 9 pending
Fetch [=============================> ] 262 complete; 1 pending
Fetch [=============================> ] 272 complete; 1 pending
Downloading 1 crate
Downloading 2 crates
Downloading 3 crates
Downloading 4 crates
Downloading 5 crates
Downloading 6 crates
Downloading 7 crates
Downloading 8 crates
Downloading 9 crates
Downloading 10 crates
Downloading 11 crates
Downloading 12 crates
Downloading 13 crates
Downloading 14 crates
Downloading 15 crates
Downloading 16 crates
Downloading 17 crates
Downloading 18 crates
Downloading 19 crates
Downloading 20 crates
Downloading 21 crates
Downloading 22 crates
Downloading 23 crates
Downloading 24 crates
Downloading 25 crates
Downloading 26 crates
Downloading 27 crates
Downloading 28 crates
Downloading 29 crates
Downloading 30 crates
Downloading 31 crates
Downloading 32 crates
Downloading 33 crates
Downloading 34 crates
Downloading 35 crates
Downloading 36 crates
Downloading 37 crates
Downloading 38 crates
Downloading 39 crates
Downloading 40 crates
Downloading 41 crates
Downloading 42 crates
Downloading 43 crates
Downloading 44 crates
Downloading 45 crates
Downloading 46 crates
Downloading 47 crates
Downloading 48 crates
Downloading 49 crates
Downloading 50 crates
Downloading 51 crates
Downloading 52 crates
Downloading 53 crates
Downloading 54 crates
Downloading 55 crates
Downloading 56 crates
Downloading 57 crates
Downloading 58 crates
Downloading 59 crates
Downloading 60 crates
Downloading 61 crates
Downloading 62 crates
Downloading 63 crates
Downloading 64 crates
Downloading 65 crates
Downloading 66 crates
Downloading 67 crates
Downloading 68 crates
Downloading 69 crates
Downloading 70 crates
Downloading 71 crates
Downloading 72 crates
Downloading 73 crates
Downloading 74 crates
Downloading 75 crates
Downloading 76 crates
Downloading 77 crates
Downloading 78 crates
Downloading 79 crates
Downloading 80 crates
Downloading 81 crates
Downloading 82 crates
Downloading 83 crates
Downloading 84 crates
Downloading 85 crates
Downloading 86 crates
Downloading 87 crates
Downloading 88 crates
Downloading 89 crates
Downloading 90 crates
Downloading 91 crates
Downloading 92 crates
Downloading 93 crates
Downloading 94 crates
Downloading 95 crates
Downloading 96 crates
Downloading 97 crates
Downloading 98 crates
Downloading 99 crates
Downloading 100 crates
Downloading 101 crates
Downloading 102 crates
Downloading 103 crates
Downloading 104 crates
Downloading 105 crates
Downloading 106 crates
Downloading 107 crates
Downloading 108 crates
Downloading 109 crates
Downloading 110 crates
Downloading 111 crates
Downloading 112 crates
Downloading 113 crates
Downloading 114 crates
Downloading 115 crates
Downloading 116 crates
Downloading 117 crates
Downloading 118 crates
Downloading 119 crates
Downloading 120 crates
Downloading 121 crates
Downloading 122 crates
Downloading 123 crates
Downloading 124 crates
Downloading 125 crates
Downloading 126 crates
Downloading 127 crates
Downloading 128 crates
Downloading 129 crates
Downloading 130 crates
Downloading 131 crates
Downloading 132 crates
Downloading 133 crates
Downloading 134 crates
Downloading 135 crates
Downloading 136 crates
Downloading 137 crates
Downloading 138 crates
Downloading 139 crates
Downloading 140 crates
Downloading 141 crates
Downloading 142 crates
Downloading 143 crates
Downloading 144 crates
Downloading 145 crates
Downloading 146 crates
Downloading 147 crates
Downloading 148 crates
Downloading 149 crates
Downloading 150 crates
Downloading 151 crates
Downloading 152 crates
Downloading 153 crates
Downloading 154 crates
Downloading 155 crates
Downloading 156 crates
Downloading 157 crates
Downloading 158 crates
Downloading 159 crates
Downloading 160 crates
Downloading 161 crates
Downloading 162 crates
Downloading 163 crates
Downloading 164 crates
Downloading 165 crates
Downloading 166 crates
Downloading 167 crates
Downloading 168 crates
Downloading 169 crates
Downloading 170 crates
Downloading 171 crates
Downloading 172 crates
Downloading 173 crates
Downloading 174 crates
Downloading 175 crates
Downloading 176 crates
Downloading 177 crates
Downloading 178 crates
Downloading 179 crates
Downloading 180 crates
Downloading 181 crates
Downloading 182 crates
Downloading 183 crates
Downloading 184 crates
Downloading 185 crates
Downloading 186 crates
Downloading 187 crates
Downloading 188 crates
Downloading 189 crates
Downloading 190 crates
Downloading 191 crates
Downloading 192 crates
Downloading 193 crates
Downloading 194 crates
Downloading 195 crates
Downloading 196 crates
Downloading 197 crates
Downloading 198 crates
Downloading 199 crates
Downloading 200 crates
Downloading 201 crates
Downloading 202 crates
Downloading 203 crates
Downloading 204 crates
Downloading 205 crates
Downloading 206 crates
Downloading 207 crates
Downloading 208 crates
Downloading 209 crates
Downloading 210 crates
Downloading 211 crates
Downloading 212 crates
Downloading 213 crates
Downloading 214 crates
Downloading 215 crates
Downloading 216 crates
Downloading 217 crates
Downloading 218 crates
Downloading 219 crates
Downloading 220 crates
Downloading 221 crates
Downloading 222 crates
Downloading 223 crates
Downloading 224 crates
Downloading 225 crates
Downloading 226 crates
Downloading 227 crates
Downloading 228 crates
Downloading 229 crates
Downloading 230 crates
Downloaded tracing-serde v0.2.0
Downloading 229 crates, remaining bytes: 1.1MiB
Downloaded serde-untagged v0.1.7
Downloading 228 crates, remaining bytes: 3.2MiB
Downloaded num_threads v0.1.7
Downloading 227 crates, remaining bytes: 9.6MiB
Downloaded ordered-float v2.10.1
Downloading 226 crates, remaining bytes: 10.5MiB
Downloaded doc-comment v0.3.3
Downloading 225 crates, remaining bytes: 10.3MiB
Downloaded joinery v2.1.0
Downloading 224 crates, remaining bytes: 10.2MiB
Downloaded glob v0.3.2
Downloading 223 crates, remaining bytes: 10.1MiB
Downloaded errno v0.3.13
Downloading 222 crates, remaining bytes: 11.0MiB
Downloaded fixedbitset v0.5.7
Downloading 221 crates, remaining bytes: 12.5MiB
Downloaded yoke-derive v0.8.0
Downloading 220 crates, remaining bytes: 14.0MiB
Downloaded thiserror-impl v2.0.12
Downloading 219 crates, remaining bytes: 16.4MiB
Downloaded utf8_iter v1.0.4
Downloading 218 crates, remaining bytes: 16.6MiB
Downloaded potential_utf v0.1.2
Downloading 217 crates, remaining bytes: 16.1MiB
Downloaded displaydoc v0.2.5
Downloading 216 crates, remaining bytes: 15.8MiB
Downloaded litemap v0.8.0
Downloading 215 crates, remaining bytes: 15.4MiB
Downloaded icu_provider v2.0.0
Downloading 214 crates, remaining bytes: 15.0MiB
Downloaded toml_edit v0.22.27
Downloading 213 crates, remaining bytes: 14.6MiB
Downloaded zerotrie v0.2.2
Downloading 212 crates, remaining bytes: 14.2MiB
Downloaded thiserror v1.0.69
Downloading 211 crates, remaining bytes: 13.7MiB
Downloaded idna v1.0.3
Downloading 210 crates, remaining bytes: 13.2MiB
Downloaded pathdiff v0.2.3
Downloading 209 crates, remaining bytes: 12.8MiB
Downloaded tinystr v0.8.1
Downloading 208 crates, remaining bytes: 12.5MiB
Downloaded zerovec-derive v0.11.1
Downloading 207 crates, remaining bytes: 12.1MiB
Downloaded iana-time-zone v0.1.63
Downloading 206 crates, remaining bytes: 11.8MiB
Downloaded crossbeam-deque v0.8.6
Downloading 205 crates, remaining bytes: 11.4MiB
Downloaded getrandom v0.3.3
Downloading 204 crates, remaining bytes: 11.1MiB
Downloaded crossbeam-utils v0.8.21
Downloading 203 crates, remaining bytes: 10.8MiB
Downloaded rayon-core v1.12.1
Downloading 202 crates, remaining bytes: 10.4MiB
Downloaded darling_core v0.20.11
Downloading 201 crates, remaining bytes: 10.1MiB
Downloaded url v2.5.4
Downloading 200 crates, remaining bytes: 9.7MiB
Downloaded icu_locale_core v2.0.0
Downloading 199 crates, remaining bytes: 9.5MiB
Downloaded unicode-segmentation v1.12.0
Downloading 198 crates, remaining bytes: 9.1MiB
Downloaded derive_generic_visitor_macros v0.1.1
Downloading 197 crates, remaining bytes: 8.7MiB
Downloaded zerovec v0.11.2
Downloading 196 crates, remaining bytes: 8.4MiB
Downloaded itertools v0.13.0
Downloading 195 crates, remaining bytes: 8.2MiB
Downloaded icu_properties_data v2.0.1
Downloading 194 crates, remaining bytes: 7.9MiB
Downloaded rayon v1.10.0
Downloading 193 crates, remaining bytes: 7.6MiB
Downloaded tree-sitter v0.25.6
Downloading 192 crates, remaining bytes: 7.4MiB
Downloaded rustix v1.0.7
Downloading 191 crates, extracting rustix ...
Downloaded chrono v0.4.41
Downloading 190 crates, remaining bytes: 6.8MiB
Downloaded crossterm v0.28.1
Downloading 189 crates, remaining bytes: 6.5MiB
Downloaded unicode-width v0.2.1
Downloading 188 crates, remaining bytes: 6.3MiB
Downloaded zerocopy v0.8.26
Downloading 187 crates, remaining bytes: 6.2MiB
Downloaded tree-sitter-rust v0.24.0
Downloading 186 crates, remaining bytes: 5.9MiB
Downloaded derive_generic_visitor v0.1.1
Downloading 185 crates, remaining bytes: 5.7MiB
Downloaded hashbrown v0.14.5
Downloading 184 crates, remaining bytes: 5.5MiB
Downloaded bstr v1.12.0
Downloading 183 crates, remaining bytes: 5.4MiB
Downloaded regex-automata v0.4.9
Downloading 182 crates, extracting regex-automata ...
Downloaded rustix v0.38.44
Downloading 181 crates, remaining bytes: 5.1MiB
Downloaded serde-map-to-array v1.1.1
Downloading 180 crates, remaining bytes: 4.9MiB
Downloaded nom v7.1.3
Downloading 179 crates, remaining bytes: 4.7MiB
Downloaded cc v1.2.27
Downloading 178 crates, remaining bytes: 4.6MiB
Downloaded icu_collections v2.0.0
Downloading 177 crates, remaining bytes: 4.4MiB
Downloaded bytes v1.10.1
Downloading 176 crates, remaining bytes: 4.3MiB
Downloaded graph-cycles v0.3.0
Downloading 175 crates, remaining bytes: 4.2MiB
Downloaded libc v0.2.174
Downloading 174 crates, extracting libc ...
Downloaded regex-syntax v0.8.5
Downloading 173 crates, remaining bytes: 3.9MiB
Downloaded icu_normalizer v2.0.0
Downloading 172 crates, remaining bytes: 3.8MiB
Downloaded icu_properties v2.0.1
Downloading 171 crates, remaining bytes: 3.7MiB
Downloaded comfy-table v7.1.4
Downloading 170 crates, remaining bytes: 3.5MiB
Downloaded mio v1.0.4
Downloading 169 crates, remaining bytes: 3.4MiB
Downloaded minimal-lexical v0.2.1
Downloading 168 crates, remaining bytes: 3.3MiB
Downloaded regex-syntax v0.6.29
Downloading 167 crates, remaining bytes: 3.2MiB
Downloaded regex v1.11.1
Downloading 166 crates, remaining bytes: 3.0MiB
Downloaded jiff v0.2.15
Downloading 165 crates, extracting jiff ...
Downloaded tempfile v3.20.0
Downloading 164 crates, remaining bytes: 2.8MiB
Downloaded petgraph v0.8.2
Downloading 163 crates, extracting petgraph ...
Downloaded petgraph v0.6.5
Downloading 162 crates, extracting petgraph ...
Downloaded to_markdown_table v0.1.5
Downloading 161 crates, remaining bytes: 2.6MiB
Downloaded csv v1.3.1
Downloading 160 crates, extracting csv ...
Downloaded syn v2.0.104
Downloading 159 crates, remaining bytes: 2.5MiB
Downloaded tokio v1.45.1
Downloading 158 crates, extracting tokio ...
Downloading 158 crates, remaining bytes: 2.4MiB
Downloaded console v0.15.11
Downloading 157 crates, remaining bytes: 2.4MiB
Downloaded rustc-demangle v0.1.25
Downloading 156 crates, remaining bytes: 2.4MiB
Downloaded convert_case v0.6.0
Downloading 155 crates, remaining bytes: 2.3MiB
Downloaded darling v0.20.11
Downloading 154 crates, remaining bytes: 2.3MiB
Downloaded ahash v0.8.12
Downloading 153 crates, remaining bytes: 2.3MiB
Downloaded proc-macro-error2 v2.0.1
Downloading 152 crates, remaining bytes: 2.2MiB
Downloaded tracing-subscriber v0.3.19
Downloading 151 crates, remaining bytes: 2.2MiB
Downloaded writeable v0.6.1
Downloading 150 crates, remaining bytes: 2.2MiB
Downloaded crossbeam-epoch v0.9.18
Downloading 149 crates, remaining bytes: 2.1MiB
Downloaded signal-hook-registry v1.4.5
Downloading 148 crates, remaining bytes: 2.1MiB
Downloaded which v8.0.0
Downloading 147 crates, remaining bytes: 2.1MiB
Downloaded annotate-snippets v0.11.5
Downloading 146 crates, remaining bytes: 2.0MiB
Downloaded colored v2.2.0
Downloading 145 crates, remaining bytes: 2.0MiB
Downloaded aho-corasick v1.1.3
Downloading 144 crates, remaining bytes: 2.0MiB
Downloaded idna_adapter v1.2.1
Downloading 143 crates, remaining bytes: 1.9MiB
Downloaded cargo-util-schemas v0.2.0
Downloading 142 crates, remaining bytes: 1.9MiB
Downloaded clap_builder v4.5.40
Downloading 141 crates, remaining bytes: 1.9MiB
Downloaded serde_json v1.0.140
Downloading 140 crates, remaining bytes: 1.8MiB
Downloaded assert_cmd v2.0.17
Downloading 139 crates, remaining bytes: 1.8MiB
Downloaded hashlink v0.9.1
Downloading 138 crates, remaining bytes: 1.8MiB
Downloaded winnow v0.7.11
Downloading 137 crates, remaining bytes: 1.7MiB
Downloaded itertools v0.14.0
Downloading 136 crates, remaining bytes: 1.7MiB
Downloaded thiserror-impl v1.0.69
Downloading 135 crates, remaining bytes: 1.7MiB
Downloaded predicates v3.1.3
Downloading 134 crates, remaining bytes: 1.6MiB
Downloaded predicates-tree v1.0.12
Downloading 133 crates, remaining bytes: 1.6MiB
Downloaded arrayvec v0.7.6
Downloading 132 crates, remaining bytes: 1.6MiB
Downloaded nom-supreme v0.8.0
Downloading 131 crates, remaining bytes: 1.6MiB
Downloaded fixedbitset v0.4.2
Downloading 130 crates, remaining bytes: 1.5MiB
Downloaded time v0.3.41
Downloading 129 crates, remaining bytes: 1.5MiB
Downloaded hashbrown v0.15.4
Downloading 128 crates, remaining bytes: 1.5MiB
Downloaded fnv v1.0.7
Downloading 127 crates, remaining bytes: 1.4MiB
Downloaded proc-macro-error-attr2 v2.0.0
Downloading 126 crates, remaining bytes: 1.4MiB
Downloaded regex-automata v0.1.10
Downloading 125 crates, remaining bytes: 1.4MiB
Downloaded percent-encoding v2.3.1
Downloading 124 crates, remaining bytes: 1.3MiB
Downloaded wait-timeout v0.2.1
Downloading 123 crates, remaining bytes: 1.3MiB
Downloaded env_filter v0.1.3
Downloading 122 crates, remaining bytes: 1.3MiB
Downloaded serde_stacker v0.1.12
Downloading 121 crates, remaining bytes: 1.2MiB
Downloaded indexmap v2.10.0
Downloading 120 crates, remaining bytes: 1.2MiB
Downloaded memchr v2.7.5
Downloading 119 crates, remaining bytes: 1.2MiB
Downloaded tracing v0.1.41
Downloading 118 crates, remaining bytes: 1.1MiB
Downloaded tracing-core v0.1.34
Downloading 117 crates, remaining bytes: 1.1MiB
Downloaded num-bigint v0.4.6
Downloading 116 crates, remaining bytes: 1.1MiB
Downloaded termtree v0.5.1
Downloading 115 crates, remaining bytes: 1.0MiB
Downloaded version_check v0.9.5
Downloading 114 crates, remaining bytes: 1021.5KiB
Downloaded indent_write v2.2.0
Downloading 113 crates, remaining bytes: 989.5KiB
Downloaded unsafe-libyaml v0.2.11
Downloading 112 crates, remaining bytes: 953.5KiB
Downloaded serde_yaml v0.9.34+deprecated
Downloading 111 crates, remaining bytes: 921.5KiB
Downloaded icu_normalizer_data v2.0.0
Downloading 110 crates, remaining bytes: 885.4KiB
Downloaded serde v1.0.219
Downloading 109 crates, remaining bytes: 853.5KiB
Downloaded fastrand v2.3.0
Downloading 108 crates, remaining bytes: 821.5KiB
Downloaded darling_macro v0.20.11
Downloading 107 crates, remaining bytes: 789.5KiB
Downloaded clap v4.5.40
Downloading 106 crates, remaining bytes: 753.5KiB
Downloaded parking_lot v0.12.4
Downloading 105 crates, remaining bytes: 721.5KiB
Downloaded allocator-api2 v0.2.21
Downloading 104 crates, remaining bytes: 685.4KiB
Downloaded yoke v0.8.0
Downloading 103 crates, remaining bytes: 653.5KiB
Downloaded brownstone v3.0.0
Downloading 102 crates, remaining bytes: 621.5KiB
Downloaded cargo_metadata v0.20.0
Downloading 101 crates, remaining bytes: 589.5KiB
Downloaded indoc v2.0.6
Downloading 100 crates, remaining bytes: 553.5KiB
Downloaded rustc_version v0.4.1
Downloading 99 crates, remaining bytes: 521.5KiB
Downloaded getopts v0.2.23
Downloading 98 crates, remaining bytes: 485.4KiB
Downloaded bitflags v2.9.1
Downloading 97 crates, remaining bytes: 453.5KiB
Downloaded num-complex v0.4.6
Downloading 96 crates, remaining bytes: 421.5KiB
Downloaded num-traits v0.2.19
Downloading 95 crates, remaining bytes: 389.5KiB
Downloaded ryu v1.0.20
Downloading 94 crates, remaining bytes: 353.5KiB
Downloaded sharded-slab v0.1.7
Downloading 93 crates, remaining bytes: 321.5KiB
Downloaded serde_derive v1.0.219
Downloading 92 crates, remaining bytes: 285.4KiB
Downloaded stable_deref_trait v1.2.0
Downloading 91 crates, remaining bytes: 253.5KiB
Downloaded synstructure v0.13.2
Downloading 90 crates, remaining bytes: 221.5KiB
Downloaded zerofrom-derive v0.1.6
Downloading 89 crates, remaining bytes: 189.5KiB
Downloaded difflib v0.4.0
Downloading 88 crates, remaining bytes: 153.5KiB
Downloaded ident_case v1.0.1
Downloading 87 crates, remaining bytes: 121.5KiB
Downloaded index_vec v0.1.4
Downloading 86 crates, remaining bytes: 85.4KiB
Downloaded linux-raw-sys v0.9.4
Downloading 85 crates, extracting linux-raw-sys ...
Downloading 85 crates, remaining bytes: 52.5KiB
Downloaded semver v1.0.26
Downloading 84 crates, remaining bytes: 52.5KiB
Downloaded toml v0.8.23
Downloading 83 crates, remaining bytes: 36.5KiB
Downloaded powerfmt v0.2.0
Downloading 82 crates, remaining bytes: 20.5KiB
Downloaded time-macros v0.2.22
Downloading 81 crates, remaining bytes: 4.5KiB
Downloaded linux-raw-sys v0.4.15
Downloading 80 crates, extracting linux-raw-sys ...
Downloaded anstream v0.6.19
Downloading 79 crates
Downloaded clap_derive v4.5.40
Downloading 78 crates
Downloaded serde_test v1.0.177
Downloading 77 crates
Downloaded string-interner v0.19.0
Downloading 76 crates
Downloaded num v0.4.3
Downloading 75 crates
Downloaded strum_macros v0.27.1
Downloading 74 crates
Downloaded lock_api v0.4.13
Downloading 73 crates
Downloaded parking_lot_core v0.9.11
Downloading 72 crates
Downloaded thiserror v2.0.12
Downloading 71 crates
Downloaded env_logger v0.11.8
Downloading 70 crates
Downloaded camino v1.1.10
Downloading 69 crates
Downloaded which v7.0.3
Downloading 68 crates
Downloaded either v1.15.0
Downloading 67 crates
Downloaded num-rational v0.4.2
Downloading 66 crates
Downloaded rustversion v1.0.21
Downloading 65 crates
Downloaded nu-ansi-term v0.50.1
Downloading 64 crates
Downloaded foldhash v0.1.5
Downloading 63 crates
Downloaded proc-macro2 v1.0.95
Downloading 62 crates
Downloaded anyhow v1.0.98
Downloading 61 crates
Downloaded log v0.4.27
Downloading 60 crates
Downloaded zerofrom v0.1.6
Downloading 59 crates
Downloaded predicates-core v1.0.9
Downloading 58 crates
Downloaded shlex v1.3.0
Downloading 57 crates
Downloaded toml_datetime v0.6.11
Downloading 56 crates
Downloaded time-core v0.1.4
Downloading 55 crates
Downloaded autocfg v1.5.0
Downloading 54 crates
Downloaded pin-project-lite v0.2.16
Downloading 53 crates
Downloaded quote v1.0.40
Downloading 52 crates
Downloaded unicode-ident v1.0.18
Downloading 51 crates
Downloaded os_info v3.12.0
Downloading 50 crates
Downloaded serde_spanned v0.6.9
Downloading 49 crates
Downloaded toml_write v0.1.2
Downloading 48 crates
Downloaded deranged v0.4.0
Downloading 47 crates
Downloaded env_home v0.1.0
Downloading 46 crates
Downloaded anstyle-parse v0.2.7
Downloading 45 crates
Downloaded anstyle-query v1.1.3
Downloading 44 crates
Downloaded colorchoice v1.0.4
Downloading 43 crates
Downloaded is_terminal_polyfill v1.70.1
Downloading 42 crates
Downloaded utf8parse v0.2.2
Downloading 41 crates
Downloaded clap_lex v0.7.5
Downloading 40 crates
Downloaded byteorder v1.5.0
Downloading 39 crates
Downloaded num-iter v0.1.45
Downloading 38 crates
Downloaded strum v0.27.1
Downloading 37 crates
Downloaded strsim v0.11.1
Downloading 36 crates
Downloaded linear-map v1.2.0
Downloading 35 crates
Downloaded num-integer v0.1.46
Downloading 34 crates
Downloaded overload v0.1.1
Downloading 33 crates
Downloaded nu-ansi-term v0.46.0
Downloading 32 crates
Downloaded scopeguard v1.2.0
Downloading 31 crates
Downloaded same-file v1.0.6
Downloading 30 crates
Downloaded walkdir v2.5.0
Downloading 29 crates
Downloaded streaming-iterator v0.1.9
Downloading 28 crates
Downloaded cargo-platform v0.2.0
Downloading 27 crates
Downloaded take_mut v0.2.2
Downloading 26 crates
Downloaded anstyle v1.0.11
Downloading 25 crates
Downloaded memuse v0.2.2
Downloading 24 crates
Downloaded heck v0.5.0
Downloading 23 crates
Downloaded tracing-tree v0.4.0
Downloading 22 crates
Downloaded psm v0.1.26
Downloading 21 crates
Downloaded csv-core v0.1.12
Downloading 20 crates
Downloaded erased-serde v0.4.6
Downloading 19 crates
Downloaded typeid v1.0.3
Downloading 18 crates
Downloaded serde-value v0.7.0
Downloading 17 crates
Downloaded unicode-xid v0.2.6
Downloading 16 crates
Downloaded form_urlencoded v1.2.1
Downloading 15 crates
Downloaded smallvec v1.15.1
Downloading 14 crates
Downloaded tracing-attributes v0.1.30
Downloading 13 crates
Downloaded tree-sitter-language v0.1.5
Downloading 12 crates
Downloaded thread_local v1.1.9
Downloading 11 crates
Downloaded stacker v0.1.21
Downloading 10 crates
Downloaded num-conv v0.1.0
Downloading 9 crates
Downloaded fxhash v0.2.1
Downloading 8 crates
Downloaded matchers v0.1.0
Downloading 7 crates
Downloaded lazy_static v1.5.0
Downloading 6 crates
Downloaded cfg-if v1.0.1
Downloading 5 crates
Downloaded once_cell v1.21.3
Downloading 4 crates
Downloaded home v0.5.11
Downloading 3 crates
Downloaded equivalent v1.0.2
Downloading 2 crates
Downloaded itoa v1.0.15
Downloading 1 crate
Downloaded tracing-log v0.2.0
Downloading 0 crates
Downloaded 230 crates (20.6MiB) in 3.00s (largest was `linux-raw-sys` at 2.2MiB)
==> Starting build()...
Compiling proc-macro2 v1.0.95
Compiling unicode-ident v1.0.18
Compiling serde v1.0.219
Compiling autocfg v1.5.0
Compiling libc v0.2.174
Compiling cfg-if v1.0.1
Building [ ] 0/290: libc(build.rs), cfg-if, p...
Compiling foldhash v0.1.5
Building [ ] 1/290: libc(build.rs), foldhash,...
Compiling memchr v2.7.5
Building [ ] 2/290: libc(build.rs), foldhash,...
Compiling once_cell v1.21.3
Building [ ] 3/290: libc(build.rs), once_cell...
Compiling num-traits v0.2.19
Building [ ] 4/290: libc(build.rs), once_cell...
Compiling hashbrown v0.15.4
Building [ ] 5/290: libc(build.rs), proc-macr...
Building [ ] 6/290: libc(build.rs), serde(bui...
Building [ ] 7/290: serde(build), proc-macro2...
Building [ ] 8/290: serde(build), memchr, num...
Building [ ] 9/290: serde(build), memchr, num...
Compiling stable_deref_trait v1.2.0
Building [ ] 10/290: stable_deref_trait, serde...
Compiling smallvec v1.15.1
Building [ ] 11/290: serde(build), smallvec, n...
Compiling log v0.4.27
Building [> ] 12/290: serde(build), smallvec, n...
Compiling equivalent v1.0.2
Building [> ] 13/290: equivalent, serde(build),...
Compiling indexmap v2.10.0
Building [> ] 14/290: indexmap, serde(build), n...
Compiling aho-corasick v1.1.3
Building [> ] 15/290: indexmap, serde(build), a...
Compiling regex-syntax v0.8.5
Building [> ] 16/290: regex-syntax, serde(build...
Compiling tracing-core v0.1.34
Building [> ] 17/290: regex-syntax, aho-corasic...
Building [> ] 18/290: regex-syntax, aho-corasic...
Building [> ] 19/290: regex-syntax, aho-corasic...
Building [> ] 20/290: regex-syntax, aho-corasic...
Compiling quote v1.0.40
Building [> ] 21/290: regex-syntax, quote, aho-...
Compiling anstyle v1.0.11
Building [> ] 22/290: regex-syntax, quote, aho-...
Compiling syn v2.0.104
Building [=> ] 23/290: regex-syntax, quote, aho-...
Compiling regex-automata v0.4.9
Building [=> ] 24/290: regex-syntax, regex-autom...
Compiling litemap v0.8.0
Building [=> ] 25/290: regex-syntax, regex-autom...
Compiling pin-project-lite v0.2.16
Building [=> ] 26/290: regex-syntax, regex-autom...
Compiling writeable v0.6.1
Building [=> ] 27/290: regex-syntax, regex-autom...
Compiling shlex v1.3.0
Building [=> ] 28/290: regex-syntax, regex-autom...
Compiling lazy_static v1.5.0
Building [=> ] 29/290: regex-syntax, regex-autom...
Compiling bitflags v2.9.1
Building [=> ] 30/290: regex-syntax, regex-autom...
Compiling cc v1.2.27
Building [=> ] 31/290: regex-syntax, regex-autom...
Compiling icu_normalizer_data v2.0.0
Building [=> ] 32/290: regex-syntax, regex-autom...
Compiling icu_properties_data v2.0.1
Building [=> ] 33/290: regex-syntax, regex-autom...
Compiling itoa v1.0.15
Building [==> ] 34/290: regex-syntax, regex-autom...
Compiling utf8parse v0.2.2
Building [==> ] 35/290: regex-syntax, regex-autom...
Compiling serde_json v1.0.140
Building [==> ] 36/290: regex-syntax, regex-autom...
Building [==> ] 37/290: regex-syntax, regex-autom...
Compiling anstyle-parse v0.2.7
Building [==> ] 38/290: regex-syntax, regex-autom...
Building [==> ] 39/290: regex-syntax, regex-autom...
Building [==> ] 40/290: regex-syntax, regex-autom...
Compiling num-integer v0.1.46
Building [==> ] 41/290: regex-syntax, regex-autom...
Compiling regex-syntax v0.6.29
Building [==> ] 42/290: regex-syntax, regex-autom...
Compiling is_terminal_polyfill v1.70.1
Building [==> ] 43/290: regex-syntax, regex-autom...
Compiling anyhow v1.0.98
Building [==> ] 44/290: regex-syntax, regex-autom...
Compiling regex v1.11.1
Building [===> ] 45/290: regex-syntax, regex-autom...
Compiling rustix v1.0.7
Building [===> ] 46/290: regex-syntax, regex-autom...
Compiling synstructure v0.13.2
Building [===> ] 47/290: regex-syntax, regex-autom...
Compiling semver v1.0.26
Building [===> ] 48/290: regex-syntax, regex-autom...
Compiling ryu v1.0.20
Building [===> ] 49/290: regex-syntax, regex-autom...
Compiling colorchoice v1.0.4
Building [===> ] 50/290: regex-syntax, regex-autom...
Compiling anstyle-query v1.1.3
Building [===> ] 51/290: regex-syntax, regex-autom...
Compiling anstream v0.6.19
Building [===> ] 52/290: regex-syntax, regex-autom...
Building [===> ] 53/290: regex-syntax, regex-autom...
Compiling regex-automata v0.1.10
Building [===> ] 54/290: regex-syntax, regex-autom...
Building [===> ] 55/290: regex-syntax, regex-autom...
Building [====> ] 56/290: regex-syntax, regex-autom...
Building [====> ] 57/290: regex-syntax, regex-autom...
Building [====> ] 58/290: regex-syntax, regex-autom...
Compiling overload v0.1.1
Building [====> ] 59/290: regex-syntax, regex-autom...
Compiling either v1.15.0
Building [====> ] 60/290: regex-syntax, regex-autom...
Compiling strsim v0.11.1
Building [====> ] 61/290: regex-syntax, regex-autom...
Compiling linux-raw-sys v0.9.4
Building [====> ] 62/290: regex-syntax, regex-autom...
Compiling serde_derive v1.0.219
Building [====> ] 63/290: regex-syntax, regex-autom...
Compiling zerofrom-derive v0.1.6
Building [====> ] 64/290: regex-syntax, regex-autom...
Compiling yoke-derive v0.8.0
Building [====> ] 65/290: yoke-derive, regex-automa...
Compiling zerovec-derive v0.11.1
Building [====> ] 66/290: zerovec-derive, regex-aut...
Compiling zerofrom v0.1.6
Building [=====> ] 67/290: zerovec-derive, regex-aut...
Compiling yoke v0.8.0
Building [=====> ] 68/290: zerovec-derive, regex-aut...
Compiling displaydoc v0.2.5
Building [=====> ] 69/290: zerovec-derive, regex-aut...
Compiling tracing-attributes v0.1.30
Building [=====> ] 70/290: zerovec-derive, regex-aut...
Compiling zerovec v0.11.2
Building [=====> ] 71/290: regex-automata, regex-syn...
Compiling zerotrie v0.2.2
Building [=====> ] 72/290: regex-automata, zerotrie,...
Building [=====> ] 73/290: serde, regex-automata, ze...
Compiling typeid v1.0.3
Building [=====> ] 74/290: serde, regex-automata, re...
Compiling crossbeam-utils v0.8.21
Building [=====> ] 75/290: serde, regex-automata, cr...
Compiling zerocopy v0.8.26
Building [=====> ] 76/290: serde, regex-automata, ze...
Compiling tracing v0.1.41
Building [=====> ] 77/290: serde, regex-automata, ze...
Compiling tinystr v0.8.1
Building [=====> ] 78/290: serde, regex-automata, ze...
Compiling potential_utf v0.1.2
Building [======> ] 79/290: serde, regex-automata, po...
Compiling icu_locale_core v2.0.0
Building [======> ] 80/290: serde, regex-automata, po...
Compiling icu_collections v2.0.0
Building [======> ] 81/290: serde, regex-automata, po...
Compiling heck v0.5.0
Building [======> ] 82/290: serde, regex-automata, re...
Compiling toml_write v0.1.2
Building [======> ] 83/290: serde, regex-automata, re...
Compiling fnv v1.0.7
Building [======> ] 84/290: serde, regex-automata, re...
Compiling version_check v0.9.5
Building [======> ] 85/290: serde, regex-automata, re...
Compiling icu_provider v2.0.0
Building [======> ] 86/290: serde, regex-automata, ic...
Compiling ident_case v1.0.1
Building [======> ] 87/290: serde, regex-automata, ic...
Compiling winnow v0.7.11
Building [======> ] 88/290: serde, regex-automata, ic...
Compiling darling_core v0.20.11
Building [======> ] 89/290: serde, regex-automata, ic...
Compiling icu_normalizer v2.0.0
Building [=======> ] 90/290: serde, regex-automata, ic...
Building [=======> ] 91/290: serde_json, regex-automat...
Compiling serde_spanned v0.6.9
Building [=======> ] 92/290: serde_json, regex-automat...
Compiling toml_datetime v0.6.11
Building [=======> ] 93/290: serde_json, regex-automat...
Compiling tracing-serde v0.2.0
Building [=======> ] 94/290: serde_json, regex-automat...
Building [=======> ] 95/290: serde_json, regex-automat...
Compiling toml_edit v0.22.27
Building [=======> ] 96/290: serde_json, regex-automat...
Compiling icu_properties v2.0.1
Building [=======> ] 97/290: serde_json, regex-automat...
Compiling ahash v0.8.12
Building [=======> ] 98/290: serde_json, regex-automat...
Building [=======> ] 99/290: serde_json, regex-automat...
Building [=======> ] 100/290: serde_json, regex-automat...
Building [=======> ] 101/290: serde_json, regex-automat...
Building [=======> ] 102/290: serde_json, regex-automat...
Compiling matchers v0.1.0
Building [=======> ] 103/290: serde_json, regex-automat...
Compiling nu-ansi-term v0.46.0
Building [=======> ] 104/290: serde_json, regex-automat...
Building [========> ] 105/290: serde_json, regex-automat...
Compiling psm v0.1.26
Building [========> ] 106/290: serde_json, toml_edit, ic...
Compiling num-bigint v0.4.6
Building [========> ] 107/290: serde_json, toml_edit, ic...
Compiling sharded-slab v0.1.7
Building [========> ] 108/290: sharded-slab, toml_edit, ...
Compiling tracing-log v0.2.0
Building [========> ] 109/290: sharded-slab, toml_edit, ...
Compiling lock_api v0.4.13
Building [========> ] 110/290: sharded-slab, toml_edit, ...
Compiling thread_local v1.1.9
Building [========> ] 111/290: sharded-slab, toml_edit, ...
Building [========> ] 112/290: sharded-slab, strsim, tom...
Compiling thiserror v1.0.69
Building [========> ] 113/290: thiserror(build.rs), strs...
Compiling clap_lex v0.7.5
Building [========> ] 114/290: thiserror(build.rs), strs...
Compiling rustversion v1.0.21
Building [========> ] 115/290: strsim, toml_edit, clap_l...
Compiling unicode-width v0.2.1
Building [=========> ] 116/290: strsim, toml_edit, unicod...
Compiling parking_lot_core v0.9.11
Building [=========> ] 117/290: strsim, toml_edit, unicod...
Compiling powerfmt v0.2.0
Building [=========> ] 118/290: strsim, toml_edit, parkin...
Building [=========> ] 119/290: parking_lot_core(build), ...
Compiling deranged v0.4.0
Building [=========> ] 120/290: strsim, toml_edit, derang...
Building [=========> ] 121/290: toml_edit, deranged, rust...
Building [=========> ] 122/290: toml_edit, deranged, this...
Compiling clap_builder v4.5.40
Building [=========> ] 123/290: toml_edit, deranged, clap...
Compiling tracing-subscriber v0.3.19
Building [=========> ] 124/290: toml_edit, deranged, clap...
Compiling num-rational v0.4.2
Building [=========> ] 125/290: num-rational, toml_edit, ...
Compiling toml v0.8.23
Building [=========> ] 126/290: num-rational, toml_edit, ...
Building [=========> ] 127/290: toml_edit, toml, clap_bui...
Building [==========> ] 128/290: psm(build), toml_edit, to...
Compiling idna_adapter v1.2.1
Building [==========> ] 129/290: toml_edit, toml, clap_bui...
Building [==========> ] 130/290: toml_edit, toml, clap_bui...
Building [==========> ] 131/290: crossbeam-utils, toml_edi...
Building [==========> ] 132/290: crossbeam-utils, toml_edi...
Building [==========> ] 133/290: ahash(build), toml_edit, ...
Compiling darling_macro v0.20.11
Building [==========> ] 134/290: darling_macro, toml_edit,...
Compiling serde_test v1.0.177
Building [==========> ] 135/290: serde_test, toml_edit, to...
Compiling clap_derive v4.5.40
Building [==========> ] 136/290: serde_test, toml_edit, cl...
Compiling thiserror-impl v1.0.69
Building [==========> ] 137/290: toml_edit, thiserror-impl...
Compiling stacker v0.1.21
Building [==========> ] 138/290: toml_edit, thiserror-impl...
Compiling num-iter v0.1.45
Building [==========> ] 139/290: num-iter, toml_edit, this...
Compiling num-complex v0.4.6
Building [===========> ] 140/290: toml_edit, thiserror-impl...
Compiling percent-encoding v2.3.1
Building [===========> ] 141/290: percent-encoding, toml_ed...
Compiling num_threads v0.1.7
Building [===========> ] 142/290: percent-encoding, toml_ed...
Compiling unicode-segmentation v1.12.0
Building [===========> ] 143/290: toml_edit, num_threads, c...
Compiling num-conv v0.1.0
Building [===========> ] 144/290: num-conv, toml_edit, clap...
Compiling utf8_iter v1.0.4
Building [===========> ] 145/290: utf8_iter, toml_edit, cla...
Building [===========> ] 146/290: proc-macro2(build.rs), to...
Building [===========> ] 147/290: toml_edit, either, clap_b...
Building [===========> ] 148/290: unicode-segmentation, tom...
Compiling time-core v0.1.4
Building [===========> ] 149/290: unicode-segmentation, tim...
Compiling doc-comment v0.3.3
Building [===========> ] 150/290: unicode-segmentation, tom...
Compiling env_home v0.1.0
Building [============> ] 151/290: unicode-segmentation, env...
Compiling scopeguard v1.2.0
Building [============> ] 152/290: unicode-segmentation, tom...
Compiling byteorder v1.5.0
Building [============> ] 153/290: unicode-segmentation, tom...
Compiling rustix v0.38.44
Building [============> ] 154/290: unicode-segmentation, tom...
Compiling predicates-core v1.0.9
Building [============> ] 155/290: toml_edit, byteorder, cla...
Compiling fxhash v0.2.1
Building [============> ] 156/290: toml_edit, fxhash, clap_b...
Building [============> ] 157/290: doc-comment(build), toml_...
Compiling convert_case v0.6.0
Building [============> ] 158/290: convert_case, toml_edit, ...
Building [============> ] 159/290: convert_case, lock_api, t...
Building [============> ] 160/290: convert_case, lock_api, t...
Compiling itertools v0.13.0
Building [============> ] 161/290: convert_case, lock_api, t...
Compiling time v0.3.41
Building [============> ] 162/290: convert_case, toml_edit, ...
Compiling clap v4.5.40
Building [=============> ] 163/290: toml_edit, itertools, cla...
Building [=============> ] 164/290: toml_edit, itertools, cla...
Compiling idna v1.0.3
Building [=============> ] 165/290: idna, toml_edit, itertool...
Building [=============> ] 166/290: idna, itertools, clap_bui...
Compiling form_urlencoded v1.2.1
Building [=============> ] 167/290: idna, form_urlencoded, it...
Compiling num v0.4.3
Building [=============> ] 168/290: idna, num, itertools, cla...
Building [=============> ] 169/290: idna, stacker(build), ite...
Building [=============> ] 170/290: idna, ahash, itertools, c...
Compiling linear-map v1.2.0
Building [=============> ] 171/290: idna, ahash, itertools, c...
Compiling darling v0.20.11
Building [=============> ] 172/290: idna, itertools, clap_bui...
Compiling crossbeam-epoch v0.9.18
Building [=============> ] 173/290: idna, itertools, clap_bui...
Compiling erased-serde v0.4.6
Building [==============> ] 174/290: idna, itertools, clap_bui...
Building [==============> ] 175/290: idna, itertools, clap_bui...
Building [==============> ] 176/290: idna, rustversion, clap_b...
Building [==============> ] 177/290: idna, rustversion, clap_b...
Compiling string-interner v0.19.0
Building [==============> ] 178/290: idna, rustversion, clap_b...
Compiling ordered-float v2.10.1
Building [==============> ] 179/290: idna, ordered-float, rust...
Compiling thiserror v2.0.12
Building [==============> ] 180/290: idna, ordered-float, this...
Compiling nu-ansi-term v0.50.1
Building [==============> ] 181/290: idna, ordered-float, this...
Compiling difflib v0.4.0
Building [==============> ] 182/290: idna, ordered-float, diff...
Compiling kani-verifier v0.64.0 (/build/kani/src/kani-0.64.0)
Building [==============> ] 183/290: idna, kani-verifier(build...
Compiling minimal-lexical v0.2.1
Building [==============> ] 184/290: idna, difflib, nu-ansi-te...
Compiling linux-raw-sys v0.4.15
Building [==============> ] 185/290: idna, difflib, nu-ansi-te...
Compiling assert_cmd v2.0.17
Building [===============> ] 186/290: idna, difflib, clap_build...
Compiling arrayvec v0.7.6
Building [===============> ] 187/290: idna, difflib, clap_build...
Compiling termtree v0.5.1
Building [===============> ] 188/290: idna, difflib, clap_build...
Building [===============> ] 189/290: idna, difflib, unicode-id...
Compiling rayon-core v1.12.1
Building [===============> ] 190/290: rayon-core(build.rs), dif...
Compiling camino v1.1.10
Building [===============> ] 191/290: rayon-core(build.rs), dif...
Compiling getrandom v0.3.3
Building [===============> ] 192/290: getrandom(build.rs), diff...
Building [===============> ] 193/290: getrandom(build.rs), diff...
Building [===============> ] 194/290: getrandom(build.rs), diff...
Building [===============> ] 195/290: getrandom(build.rs), diff...
Building [===============> ] 196/290: getrandom(build.rs), proc...
Building [===============> ] 197/290: getrandom(build), proc-ma...
Compiling predicates-tree v1.0.12
Building [================> ] 198/290: predicates-tree, proc-mac...
Compiling brownstone v3.0.0
Building [================> ] 199/290: proc-macro2, difflib, bro...
Building [================> ] 200/290: proc-macro2, difflib, ass...
Compiling nom v7.1.3
Building [================> ] 201/290: nom, proc-macro2, difflib...
Compiling predicates v3.1.3
Building [================> ] 202/290: nom, proc-macro2, difflib...
Building [================> ] 203/290: nom, proc-macro2, clap_bu...
Building [================> ] 204/290: nom, proc-macro2, clap_bu...
Compiling serde-value v0.7.0
Building [================> ] 205/290: nom, proc-macro2, serde-v...
Compiling strum_macros v0.27.1
Building [================> ] 206/290: nom, proc-macro2, serde-v...
Compiling cprover_bindings v0.64.0 (/build/kani/src/kani-0.64.0/cprover_bindings)
Building [================> ] 207/290: nom, cprover_bindings, se...
Compiling serde-untagged v0.1.7
Building [================> ] 208/290: nom, cprover_bindings, se...
Compiling parking_lot v0.12.4
Building [=================> ] 209/290: cprover_bindings, serde-u...
Building [=================> ] 210/290: stacker, cprover_bindings...
Compiling derive_generic_visitor_macros v0.1.1
Building [=================> ] 211/290: derive_generic_visitor_ma...
Compiling crossbeam-deque v0.8.6
Building [=================> ] 212/290: derive_generic_visitor_ma...
Compiling hashbrown v0.14.5
Building [=================> ] 213/290: derive_generic_visitor_ma...
Compiling url v2.5.4
Building [=================> ] 214/290: derive_generic_visitor_ma...
Building [=================> ] 215/290: derive_generic_visitor_ma...
Compiling thiserror-impl v2.0.12
Building [=================> ] 216/290: derive_generic_visitor_ma...
Compiling env_filter v0.1.3
Building [=================> ] 217/290: env_filter, cprover_bindi...
Compiling bstr v1.12.0
Building [=================> ] 218/290: env_filter, cprover_bindi...
Compiling wait-timeout v0.2.1
Building [=================> ] 219/290: env_filter, cprover_bindi...
Compiling os_info v3.12.0
Building [=================> ] 220/290: env_filter, cprover_bindi...
Compiling unicode-xid v0.2.6
Building [==================> ] 221/290: env_filter, cprover_bindi...
Compiling jiff v0.2.15
Building [==================> ] 222/290: env_filter, cprover_bindi...
Compiling indent_write v2.2.0
Building [==================> ] 223/290: cprover_bindings, os_info...
Compiling home v0.5.11
Building [==================> ] 224/290: cprover_bindings, os_info...
Compiling strum v0.27.1
Building [==================> ] 225/290: cprover_bindings, os_info...
Compiling joinery v2.1.0
Building [==================> ] 226/290: joinery, cprover_bindings...
Compiling fixedbitset v0.4.2
Building [==================> ] 227/290: cprover_bindings, os_info...
Compiling petgraph v0.6.5
Building [==================> ] 228/290: cprover_bindings, os_info...
Compiling nom-supreme v0.8.0
Building [==================> ] 229/290: cprover_bindings, jiff, b...
Compiling kani_metadata v0.64.0 (/build/kani/src/kani-0.64.0/kani_metadata)
Building [==================> ] 230/290: cprover_bindings, jiff, b...
Building [==================> ] 231/290: cprover_bindings, kani-ve...
Compiling cargo-util-schemas v0.2.0
Building [===================> ] 232/290: cprover_bindings, kani-ve...
Building [===================> ] 233/290: thiserror, cprover_bindin...
Building [===================> ] 234/290: thiserror, cprover_bindin...
Compiling hashlink v0.9.1
Building [===================> ] 235/290: hashlink, cprover_binding...
Compiling derive_generic_visitor v0.1.1
Building [===================> ] 236/290: hashlink, cprover_binding...
Building [===================> ] 237/290: hashlink, cprover_binding...
Compiling crossterm v0.28.1
Building [===================> ] 238/290: crossterm, cprover_bindin...
Compiling serde_stacker v0.1.12
Building [===================> ] 239/290: cprover_bindings, jiff, c...
Building [===================> ] 240/290: cprover_bindings, jiff, c...
Compiling env_logger v0.11.8
Building [===================> ] 241/290: cprover_bindings, env_log...
Building [===================> ] 242/290: cprover_bindings, env_log...
Building [===================> ] 243/290: camino, cprover_bindings,...
Compiling tracing-tree v0.4.0 (https://github.com/Nadrieril/tracing-tree#841286bf)
Building [====================> ] 244/290: camino, cprover_bindings,...
Compiling which v7.0.3
Building [====================> ] 245/290: which, cprover_bindings, ...
Building [====================> ] 246/290: which, cprover_bindings, ...
Compiling annotate-snippets v0.11.5
Building [====================> ] 247/290: cprover_bindings, env_log...
Compiling rustc_version v0.4.1
Building [====================> ] 248/290: cprover_bindings, env_log...
Compiling serde-map-to-array v1.1.1
Building [====================> ] 249/290: serde-map-to-array, cprov...
Compiling cargo-platform v0.2.0
Building [====================> ] 250/290: cprover_bindings, jiff, r...
Compiling index_vec v0.1.4
Building [====================> ] 251/290: index_vec, cprover_bindin...
Compiling macros v0.1.0 (/build/kani/src/kani-0.64.0/charon/charon/macros)
Building [====================> ] 252/290: index_vec, cprover_bindin...
Building [====================> ] 253/290: index_vec, cprover_bindin...
Compiling colored v2.2.0
Building [====================> ] 254/290: cprover_bindings, macros,...
Compiling mio v1.0.4
Building [====================> ] 255/290: mio, cprover_bindings, ji...
Compiling signal-hook-registry v1.4.5
Building [=====================> ] 256/290: mio, jiff, itertools, ann...
Compiling bytes v1.10.1
Building [=====================> ] 257/290: mio, bytes, jiff, itertoo...
Compiling kani-driver v0.64.0 (/build/kani/src/kani-0.64.0/kani-driver)
Building [=====================> ] 258/290: mio, bytes, jiff, itertoo...
Compiling take_mut v0.2.2
Building [=====================> ] 259/290: bytes, jiff, itertools, a...
Compiling fastrand v2.3.0
Building [=====================> ] 260/290: fastrand, bytes, jiff, it...
Compiling iana-time-zone v0.1.63
Building [=====================> ] 261/290: fastrand, bytes, iana-tim...
Compiling kani-compiler v0.64.0 (/build/kani/src/kani-0.64.0/kani-compiler)
Building [=====================> ] 262/290: bytes, iana-time-zone, ji...
Compiling indoc v2.0.6
Building [=====================> ] 263/290: bytes, iana-time-zone, ji...
Building [=====================> ] 264/290: bytes, iana-time-zone, ji...
Compiling tempfile v3.20.0
Building [=====================> ] 265/290: bytes, iana-time-zone, ji...
Compiling tokio v1.45.1
Building [=====================> ] 266/290: bytes, tokio, jiff, annot...
Compiling charon v0.1.62 (/build/kani/src/kani-0.64.0/charon/charon)
Building [======================> ] 267/290: charon, bytes, tokio, jif...
Compiling chrono v0.4.41
Building [======================> ] 268/290: charon, chrono, tokio, ji...
Building [======================> ] 269/290: charon, chrono, tokio, ji...
Compiling cargo_metadata v0.20.0
Building [======================> ] 270/290: charon, chrono, tokio, ji...
Building [======================> ] 271/290: charon, chrono, tokio, ji...
Compiling rayon v1.10.0
Building [======================> ] 272/290: charon, chrono, tokio, ra...
Compiling comfy-table v7.1.4
Building [======================> ] 273/290: charon, tokio, comfy-tabl...
Compiling tracing-tree v0.4.0
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/ast/llbc_ast_utils.rs:120:9
|
120 | BlockVisitor::new(|_| {}, f).visit(self);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: `#[warn(unused_must_use)]` on by default
help: use `let _ = ...` to ignore the resulting value
|
120 | let _ = BlockVisitor::new(|_| {}, f).visit(self);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/ast/llbc_ast_utils.rs:155:9
|
155 | BlockVisitor::new(f, |_| {}).visit(self);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
155 | let _ = BlockVisitor::new(f, |_| {}).visit(self);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/ast/types_utils.rs:117:9
|
117 | val.drive_mut(&mut SubstVisitor::new(args));
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
117 | let _ = val.drive_mut(&mut SubstVisitor::new(args));
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/ast/types_utils.rs:571:9
|
571 | self.drive_mut(&mut SubstVisitor::new(generics));
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
571 | let _ = self.drive_mut(&mut SubstVisitor::new(generics));
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/ast/visitor.rs:84:9
|
84 | self.drive(&mut DynVisitor::new_shared::<T>(f));
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
84 | let _ = self.drive(&mut DynVisitor::new_shared::<T>(f));
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/ast/visitor.rs:88:9
|
88 | self.drive_mut(&mut DynVisitor::new_mut::<T>(f));
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
88 | let _ = self.drive_mut(&mut DynVisitor::new_mut::<T>(f));
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/ast/visitor.rs:157:9
|
157 | self.drive_body(&mut DynVisitor::new_shared::<T>(f));
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
157 | let _ = self.drive_body(&mut DynVisitor::new_shared::<T>(f));
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/ast/visitor.rs:162:9
|
162 | self.drive_body_mut(&mut DynVisitor::new_mut::<T>(f));
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
162 | let _ = self.drive_body_mut(&mut DynVisitor::new_mut::<T>(f));
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/check_generics.rs:135:13
|
135 | item.drive(&mut visitor);
| ^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
135 | let _ = item.drive(&mut visitor);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/hide_marker_traits.rs:98:9
|
98 | / ctx.translated
99 | | .drive_mut(&mut RemoveMarkersVisitor { exclude });
| |_____________________________________________________________^
|
help: use `let _ = ...` to ignore the resulting value
|
98 | let _ = ctx.translated
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/index_to_function_calls.rs:301:21
|
301 | visitor.visit_inner_with_mutability(st, false);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
301 | let _ = visitor.visit_inner_with_mutability(st, false);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/index_to_function_calls.rs:304:21
|
304 | visitor.visit_inner_with_mutability(st, true);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
304 | let _ = visitor.visit_inner_with_mutability(st, true);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/index_to_function_calls.rs:308:21
|
308 | st.drive_body_mut(&mut visitor);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
308 | let _ = st.drive_body_mut(&mut visitor);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/reorder_decls.rs:359:17
|
359 | item.drive(&mut graph);
| ^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
359 | let _ = item.drive(&mut graph);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/reorder_decls.rs:364:17
|
364 | d.signature.drive(&mut graph);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
364 | let _ = d.signature.drive(&mut graph);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/reorder_decls.rs:365:17
|
365 | d.body.drive(&mut graph);
| ^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
365 | let _ = d.body.drive(&mut graph);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/reorder_decls.rs:382:17
|
382 | generics.drive(&mut graph);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
382 | let _ = generics.drive(&mut graph);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/reorder_decls.rs:385:17
|
385 | parent_clauses.drive(&mut graph);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
385 | let _ = parent_clauses.drive(&mut graph);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/reorder_decls.rs:389:17
|
389 | consts.drive(&mut graph);
| ^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
389 | let _ = consts.drive(&mut graph);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/reorder_decls.rs:390:17
|
390 | types.drive(&mut graph);
| ^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
390 | let _ = types.drive(&mut graph);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/reorder_decls.rs:391:17
|
391 | const_defaults.drive(&mut graph);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
391 | let _ = const_defaults.drive(&mut graph);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/reorder_decls.rs:392:17
|
392 | type_defaults.drive(&mut graph);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
392 | let _ = type_defaults.drive(&mut graph);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/reorder_decls.rs:412:25
|
412 | decl.signature.drive(&mut graph);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
412 | let _ = decl.signature.drive(&mut graph);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/unbind_item_vars.rs:47:13
|
47 | item.drive_mut(&mut visitor);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
47 | let _ = item.drive_mut(&mut visitor);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
warning: unused `derive_generic_visitor::ControlFlow` that must be used
--> charon/charon/src/transform/update_closure_signatures.rs:54:9
|
54 | inputs[0].drive_mut(&mut visitor);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: use `let _ = ...` to ignore the resulting value
|
54 | let _ = inputs[0].drive_mut(&mut visitor);
| +++++++
Building [======================> ] 274/290: charon, tokio, comfy-tabl...
Compiling to_markdown_table v0.1.5
Building [======================> ] 275/290: charon, to_markdown_table...
Compiling which v8.0.0
Building [======================> ] 276/290: charon, which, tokio, com...
Compiling console v0.15.11
Building [======================> ] 277/290: charon, which, tokio, com...
Compiling itertools v0.14.0
Building [======================> ] 278/290: charon, which, comfy-tabl...
Compiling pathdiff v0.2.3
Building [=======================> ] 279/290: charon, comfy-table, cons...
Compiling rustc-demangle v0.1.25
Building [=======================> ] 280/290: charon, rustc-demangle, c...
Building [=======================> ] 281/290: charon, rustc-demangle, c...
Building [=======================> ] 282/290: charon, rustc-demangle, c...
Building [=======================> ] 283/290: charon, rustc-demangle, c...
Building [=======================> ] 284/290: charon, console, itertool...
Building [=======================> ] 285/290: charon, kani-driver(bin),...
Building [=======================> ] 286/290: charon, kani-driver(bin),...
Building [=======================> ] 287/290: charon, kani-driver(bin)
Building [=======================> ] 288/290: charon
warning: `charon` (lib) generated 25 warnings
Building [=======================> ] 289/290: kani-compiler(bin)
warning: methods `dump_dot`, `dump_all`, and `dump_reason` are never used
--> kani-compiler/src/kani_middle/reachability.rs:590:8
|
555 | impl CallGraph {
| -------------- methods in this implementation
...
590 | fn dump_dot(&self, tcx: TyCtxt, initial: Option<MonoItem>) -> std::...
| ^^^^^^^^
...
618 | fn dump_all<W: Write>(&self, writer: &mut W) -> std::io::Result<()> {
| ^^^^^^^^
...
631 | fn dump_reason<W: Write>(&self, writer: &mut W, target: &str) -> st...
| ^^^^^^^^^^^
|
= note: `#[warn(dead_code)]` on by default
Building [=======================> ] 289/290: kani-compiler(bin)
warning: `kani-compiler` (bin "kani-compiler") generated 1 warning
Finished `release` profile [optimized] target(s) in 10m 14s
==> Entering fakeroot environment...
==> Starting package()...
==> Tidying install...
-> Removing libtool files...
-> Purging unwanted files...
-> Removing static library files...
-> Stripping unneeded symbols from binaries and libraries...
-> Compressing man and info pages...
==> Checking for packaging issues...
==> WARNING: Package contains reference to $srcdir
usr/bin/kani-driver
usr/bin/kani-compiler
==> Creating package "kani"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: kani 0.64.0-1 (Fri 04 Jul 2025 09:22:20 AM MDT)
==> Cleaning up...