==> Synchronizing chroot copy [/home/leming/armv7/root] -> [leming]...done
==> Making package: kani 0.64.0-1 (Tue Jul 8 05:57:17 2025)
==> Retrieving sources...
-> Updating kani-0.64.0 git repo...
-> Updating kani-charon git repo...
-> Updating kani-firecracker git repo...
-> Updating kani-s2n-quic git repo...
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with sha256sums...
kani-0.64.0 ... Passed
kani-charon ... Skipped
kani-firecracker ... Skipped
kani-s2n-quic ... Skipped
==> Making package: kani 0.64.0-1 (Tue Jul 8 05:57:43 2025)
==> Checking runtime dependencies...
==> Installing missing dependencies...
[?25lresolving dependencies...
looking for conflicting packages...
Packages (1) rustup-1.28.2-3
Total Installed Size: 8.84 MiB
:: Proceed with installation? [Y/n]
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 Installed Size: 40.47 MiB
:: Proceed with installation? [Y/n]
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-armv7-unknown-linux-gnueabihf'
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'
19.2 MiB / 75.4 MiB ( 25 %) 0 B/s in 1s ETA: Unknown
38.6 MiB / 75.4 MiB ( 51 %) 19.2 MiB/s in 2s ETA: 1s
57.5 MiB / 75.4 MiB ( 76 %) 19.3 MiB/s in 3s
75.4 MiB / 75.4 MiB (100 %) 19.2 MiB/s in 4s
info: downloading component 'rust-docs'
19.4 MiB / 20.6 MiB ( 94 %) 0 B/s in 1s ETA: Unknown
20.6 MiB / 20.6 MiB (100 %) 19.4 MiB/s in 1s
info: downloading component 'rust-src'
info: downloading component 'rust-std'
19.2 MiB / 26.6 MiB ( 72 %) 0 B/s in 1s ETA: Unknown
26.6 MiB / 26.6 MiB (100 %) 19.2 MiB/s in 1s
info: downloading component 'rustc'
19.1 MiB / 92.7 MiB ( 21 %) 0 B/s in 1s ETA: Unknown
38.1 MiB / 92.7 MiB ( 41 %) 19.1 MiB/s in 2s ETA: 2s
57.2 MiB / 92.7 MiB ( 62 %) 19.1 MiB/s in 3s ETA: 1s
76.3 MiB / 92.7 MiB ( 82 %) 19.1 MiB/s in 4s
92.7 MiB / 92.7 MiB (100 %) 19.1 MiB/s in 5s
info: downloading component 'rustc-dev'
19.4 MiB / 127.9 MiB ( 15 %) 0 B/s in 1s ETA: Unknown
38.4 MiB / 127.9 MiB ( 30 %) 19.4 MiB/s in 2s ETA: 4s
57.5 MiB / 127.9 MiB ( 45 %) 19.2 MiB/s in 3s ETA: 3s
77.7 MiB / 127.9 MiB ( 61 %) 19.2 MiB/s in 4s ETA: 2s
99.6 MiB / 127.9 MiB ( 78 %) 19.4 MiB/s in 5s ETA: 1s
121.8 MiB / 127.9 MiB ( 95 %) 19.9 MiB/s in 6s
127.9 MiB / 127.9 MiB (100 %) 20.5 MiB/s in 6s
info: downloading component 'rustfmt'
info: installing component 'cargo'
6.7 MiB / 9.3 MiB ( 72 %) 0 B/s in 1s ETA: Unknown
9.3 MiB / 9.3 MiB (100 %) 6.7 MiB/s in 1s
info: installing component 'clippy'
info: installing component 'llvm-tools'
7.0 MiB / 75.4 MiB ( 9 %) 0 B/s in 1s ETA: Unknown
14.1 MiB / 75.4 MiB ( 19 %) 7.0 MiB/s in 2s ETA: 8s
21.2 MiB / 75.4 MiB ( 28 %) 7.0 MiB/s in 3s ETA: 7s
26.3 MiB / 75.4 MiB ( 35 %) 7.1 MiB/s in 4s ETA: 6s
32.6 MiB / 75.4 MiB ( 43 %) 6.6 MiB/s in 5s ETA: 6s
38.7 MiB / 75.4 MiB ( 51 %) 6.5 MiB/s in 6s ETA: 5s
43.7 MiB / 75.4 MiB ( 58 %) 6.3 MiB/s in 7s ETA: 4s
50.5 MiB / 75.4 MiB ( 67 %) 5.9 MiB/s in 8s ETA: 4s
57.8 MiB / 75.4 MiB ( 77 %) 5.9 MiB/s in 9s ETA: 2s
64.7 MiB / 75.4 MiB ( 86 %) 6.3 MiB/s in 10s ETA: 1s
70.0 MiB / 75.4 MiB ( 93 %) 6.4 MiB/s in 11s
73.3 MiB / 75.4 MiB ( 97 %) 6.3 MiB/s in 12s
75.4 MiB / 75.4 MiB (100 %) 5.9 MiB/s in 12s
info: installing component 'rust-docs'
5.0 MiB / 20.6 MiB ( 24 %) 0 B/s in 2s ETA: Unknown
5.5 MiB / 20.6 MiB ( 27 %) 5.0 MiB/s in 3s ETA: 3s
5.6 MiB / 20.6 MiB ( 27 %) 2.8 MiB/s in 4s ETA: 5s
6.1 MiB / 20.6 MiB ( 30 %) 1.9 MiB/s in 5s ETA: 7s
6.2 MiB / 20.6 MiB ( 30 %) 1.5 MiB/s in 7s ETA: 9s
6.5 MiB / 20.6 MiB ( 32 %) 1.2 MiB/s in 8s ETA: 11s
7.0 MiB / 20.6 MiB ( 34 %) 305.6 KiB/s in 10s ETA: 45s
7.6 MiB / 20.6 MiB ( 37 %) 300.8 KiB/s in 12s ETA: 44s
8.0 MiB / 20.6 MiB ( 39 %) 428.8 KiB/s in 13s ETA: 30s
10.0 MiB / 20.6 MiB ( 49 %) 393.6 KiB/s in 14s ETA: 27s
10.3 MiB / 20.6 MiB ( 50 %) 796.8 KiB/s in 17s ETA: 13s
13.1 MiB / 20.6 MiB ( 64 %) 774.4 KiB/s in 18s ETA: 9s
13.1 MiB / 20.6 MiB ( 64 %) 1.2 MiB/s in 19s ETA: 6s
14.7 MiB / 20.6 MiB ( 71 %) 1.1 MiB/s in 21s ETA: 5s
17.2 MiB / 20.6 MiB ( 83 %) 1.3 MiB/s in 22s ETA: 2s
20.0 MiB / 20.6 MiB ( 97 %) 1.4 MiB/s in 23s
20.6 MiB / 20.6 MiB (100 %) 2.0 MiB/s in 24s
info: installing component 'rust-src'
2.0 MiB / 3.3 MiB ( 59 %) 0 B/s in 1s ETA: Unknown
3.3 MiB / 3.3 MiB (100 %) 2.0 MiB/s in 1s
info: installing component 'rust-std'
6.7 MiB / 26.6 MiB ( 25 %) 0 B/s in 2s ETA: Unknown
12.7 MiB / 26.6 MiB ( 48 %) 6.7 MiB/s in 3s ETA: 2s
16.3 MiB / 26.6 MiB ( 61 %) 6.3 MiB/s in 4s ETA: 1s
23.1 MiB / 26.6 MiB ( 87 %) 5.4 MiB/s in 5s
24.0 MiB / 26.6 MiB ( 90 %) 5.8 MiB/s in 8s
26.6 MiB / 26.6 MiB (100 %) 4.8 MiB/s in 8s
info: installing component 'rustc'
7.8 MiB / 92.7 MiB ( 8 %) 0 B/s in 1s ETA: Unknown
14.8 MiB / 92.7 MiB ( 16 %) 7.8 MiB/s in 2s ETA: 10s
22.0 MiB / 92.7 MiB ( 24 %) 7.4 MiB/s in 3s ETA: 9s
24.0 MiB / 92.7 MiB ( 26 %) 7.3 MiB/s in 4s ETA: 9s
29.8 MiB / 92.7 MiB ( 32 %) 6.0 MiB/s in 5s ETA: 10s
32.0 MiB / 92.7 MiB ( 35 %) 6.0 MiB/s in 7s ETA: 10s
37.5 MiB / 92.7 MiB ( 40 %) 4.8 MiB/s in 8s ETA: 11s
40.0 MiB / 92.7 MiB ( 43 %) 4.5 MiB/s in 10s ETA: 11s
47.6 MiB / 92.7 MiB ( 51 %) 3.6 MiB/s in 11s ETA: 12s
52.9 MiB / 92.7 MiB ( 57 %) 4.7 MiB/s in 12s ETA: 8s
60.1 MiB / 92.7 MiB ( 65 %) 4.6 MiB/s in 13s ETA: 7s
64.0 MiB / 92.7 MiB ( 69 %) 5.6 MiB/s in 17s ETA: 5s
70.5 MiB / 92.7 MiB ( 76 %) 5.3 MiB/s in 18s ETA: 4s
75.5 MiB / 92.7 MiB ( 81 %) 6.1 MiB/s in 19s ETA: 2s
80.0 MiB / 92.7 MiB ( 86 %) 5.6 MiB/s in 21s ETA: 2s
85.5 MiB / 92.7 MiB ( 92 %) 5.4 MiB/s in 22s ETA: 1s
90.4 MiB / 92.7 MiB ( 98 %) 5.1 MiB/s in 23s
92.7 MiB / 92.7 MiB (100 %) 5.3 MiB/s in 23s
info: installing component 'rustc-dev'
6.4 MiB / 127.9 MiB ( 5 %) 0 B/s in 2s ETA: Unknown
12.7 MiB / 127.9 MiB ( 10 %) 6.4 MiB/s in 3s ETA: 18s
16.0 MiB / 127.9 MiB ( 13 %) 6.3 MiB/s in 4s ETA: 17s
23.3 MiB / 127.9 MiB ( 18 %) 5.3 MiB/s in 5s ETA: 19s
30.7 MiB / 127.9 MiB ( 24 %) 5.8 MiB/s in 6s ETA: 16s
36.9 MiB / 127.9 MiB ( 29 %) 6.1 MiB/s in 7s ETA: 14s
44.2 MiB / 127.9 MiB ( 35 %) 6.1 MiB/s in 8s ETA: 13s
48.0 MiB / 127.9 MiB ( 38 %) 6.3 MiB/s in 10s ETA: 12s
55.1 MiB / 127.9 MiB ( 43 %) 6.4 MiB/s in 11s ETA: 11s
62.3 MiB / 127.9 MiB ( 49 %) 6.3 MiB/s in 12s ETA: 10s
64.0 MiB / 127.9 MiB ( 50 %) 6.3 MiB/s in 13s ETA: 10s
70.3 MiB / 127.9 MiB ( 55 %) 5.4 MiB/s in 14s ETA: 10s
72.0 MiB / 127.9 MiB ( 56 %) 5.2 MiB/s in 16s ETA: 10s
79.3 MiB / 127.9 MiB ( 62 %) 4.8 MiB/s in 17s ETA: 10s
86.6 MiB / 127.9 MiB ( 68 %) 4.8 MiB/s in 18s ETA: 8s
93.6 MiB / 127.9 MiB ( 73 %) 4.9 MiB/s in 19s ETA: 7s
100.1 MiB / 127.9 MiB ( 78 %) 5.9 MiB/s in 20s ETA: 4s
104.0 MiB / 127.9 MiB ( 81 %) 6.0 MiB/s in 23s ETA: 4s
109.4 MiB / 127.9 MiB ( 86 %) 6.4 MiB/s in 24s ETA: 2s
112.0 MiB / 127.9 MiB ( 88 %) 6.0 MiB/s in 28s ETA: 2s
117.9 MiB / 127.9 MiB ( 92 %) 5.1 MiB/s in 29s ETA: 1s
120.0 MiB / 127.9 MiB ( 94 %) 4.9 MiB/s in 32s ETA: 1s
123.4 MiB / 127.9 MiB ( 97 %) 4.0 MiB/s in 33s ETA: 1s
124.0 MiB / 127.9 MiB ( 97 %) 3.9 MiB/s in 34s ETA: 1s
124.5 MiB / 127.9 MiB ( 97 %) 2.9 MiB/s in 35s ETA: 1s
125.8 MiB / 127.9 MiB ( 98 %) 2.5 MiB/s in 37s
127.9 MiB / 127.9 MiB (100 %) 1.6 MiB/s in 37s
info: installing component 'rustfmt'
info: component 'rust-src' is up to date
info: component 'rustc-dev' for target 'armv7-unknown-linux-gnueabihf' is up to date
info: component 'llvm-tools' for target 'armv7-unknown-linux-gnueabihf' is up to date
Updating crates.io index
Updating git repository `https://github.com/Nadrieril/tracing-tree`
Fetch [===========> ] 23 complete; 11 pending
Fetch [===========> ] 34 complete; 0 pending
Fetch [==============> ] 34 complete; 13 pending
Fetch [==============> ] 47 complete; 0 pending
Fetch [=================> ] 47 complete; 91 pending
Fetch [=================> ] 134 complete; 4 pending
Fetch [====================> ] 138 complete; 57 pending
Fetch [=======================> ] 195 complete; 33 pending
Fetch [==========================> ] 228 complete; 18 pending
Fetch [=============================> ] 247 complete; 2 pending
Fetch [=============================> ] 263 complete; 0 pending
Fetch [=============================> ] 270 complete; 2 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 home v0.5.11
Downloading 229 crates, remaining bytes: 67.1KiB
Downloading 229 crates, remaining bytes: 8.0MiB
Downloaded take_mut v0.2.2
Downloading 228 crates, remaining bytes: 8.0MiB
Downloading 228 crates, remaining bytes: 16.5MiB
Downloaded zerofrom v0.1.6
Downloading 227 crates, remaining bytes: 16.7MiB
Downloaded yoke-derive v0.8.0
Downloading 226 crates, remaining bytes: 14.7MiB
Downloaded serde-untagged v0.1.7
Downloading 225 crates, remaining bytes: 13.2MiB
Downloaded serde-value v0.7.0
Downloading 224 crates, remaining bytes: 12.1MiB
Downloaded icu_provider v2.0.0
Downloading 223 crates, remaining bytes: 11.3MiB
Downloaded icu_normalizer v2.0.0
Downloading 222 crates, remaining bytes: 10.7MiB
Downloaded icu_collections v2.0.0
Downloading 221 crates, remaining bytes: 10.0MiB
Downloaded time v0.3.41
Downloading 220 crates, remaining bytes: 9.6MiB
Downloaded winnow v0.7.11
Downloading 219 crates, remaining bytes: 9.1MiB
Downloaded rayon v1.10.0
Downloading 218 crates, remaining bytes: 8.7MiB
Downloaded icu_properties_data v2.0.1
Downloading 217 crates, remaining bytes: 8.4MiB
Downloaded zerocopy v0.8.26
Downloading 216 crates, remaining bytes: 8.0MiB
Downloaded chrono v0.4.41
Downloading 215 crates, remaining bytes: 7.6MiB
Downloaded regex-syntax v0.6.29
Downloading 214 crates, remaining bytes: 7.3MiB
Downloaded unicode-width v0.2.1
Downloading 213 crates, remaining bytes: 7.0MiB
Downloaded bstr v1.12.0
Downloading 212 crates, remaining bytes: 6.8MiB
Downloaded regex-syntax v0.8.5
Downloading 211 crates, remaining bytes: 6.5MiB
Downloaded rustix v0.38.44
Downloading 210 crates, remaining bytes: 6.3MiB
Downloaded syn v2.0.104
Downloading 209 crates, remaining bytes: 6.1MiB
Downloaded tree-sitter-rust v0.24.0
Downloading 208 crates, remaining bytes: 5.9MiB
Downloaded regex v1.11.1
Downloading 207 crates, remaining bytes: 5.7MiB
Downloaded tree-sitter v0.25.6
Downloading 206 crates, remaining bytes: 5.5MiB
Downloaded rustix v1.0.7
Downloading 205 crates, extracting rustix ...
Downloading 205 crates, remaining bytes: 5.3MiB
Downloaded tracing-subscriber v0.3.19
Downloading 204 crates, remaining bytes: 5.1MiB
Downloaded crossterm v0.28.1
Downloading 203 crates, remaining bytes: 4.9MiB
Downloaded itertools v0.14.0
Downloading 202 crates, remaining bytes: 4.8MiB
Downloaded clap_builder v4.5.40
Downloading 201 crates, remaining bytes: 4.6MiB
Downloaded aho-corasick v1.1.3
Downloading 200 crates, remaining bytes: 4.4MiB
Downloaded serde_json v1.0.140
Downloading 199 crates, remaining bytes: 4.3MiB
Downloaded idna v1.0.3
Downloading 198 crates, remaining bytes: 4.1MiB
Downloaded regex-automata v0.4.9
Downloading 197 crates, extracting regex-automata ...
Downloaded unicode-segmentation v1.12.0
Downloading 196 crates, remaining bytes: 3.9MiB
Downloaded derive_generic_visitor v0.1.1
Downloading 195 crates, remaining bytes: 3.7MiB
Downloaded itertools v0.13.0
Downloading 194 crates, remaining bytes: 3.6MiB
Downloaded serde_stacker v0.1.12
Downloading 193 crates, remaining bytes: 3.4MiB
Downloaded jiff v0.2.15
Downloading 192 crates, extracting jiff ...
Downloading 192 crates, remaining bytes: 3.2MiB
Downloaded petgraph v0.6.5
Downloading 191 crates, extracting petgraph ...
Downloading 191 crates, remaining bytes: 3.2MiB
Downloaded icu_locale_core v2.0.0
Downloading 190 crates, remaining bytes: 3.1MiB
Downloaded zerotrie v0.2.2
Downloading 189 crates, remaining bytes: 3.0MiB
Downloaded zerovec v0.11.2
Downloading 188 crates, remaining bytes: 2.9MiB
Downloaded tokio v1.45.1
Downloading 187 crates, extracting tokio ...
Downloading 187 crates, remaining bytes: 2.8MiB
Downloaded petgraph v0.8.2
Downloading 186 crates, extracting petgraph ...
Downloading 186 crates, remaining bytes: 2.7MiB
Downloaded libc v0.2.174
Downloading 185 crates, extracting libc ...
Downloading 185 crates, remaining bytes: 2.7MiB
Downloaded bytes v1.10.1
Downloading 184 crates, remaining bytes: 2.6MiB
Downloaded mio v1.0.4
Downloading 183 crates, remaining bytes: 2.6MiB
Downloaded hashbrown v0.14.5
Downloading 182 crates, remaining bytes: 2.5MiB
Downloaded csv v1.3.1
Downloading 181 crates, extracting csv ...
Downloading 181 crates, remaining bytes: 2.5MiB
Downloaded nom v7.1.3
Downloading 180 crates, remaining bytes: 2.4MiB
Downloaded hashbrown v0.15.4
Downloading 179 crates, remaining bytes: 2.4MiB
Downloaded url v2.5.4
Downloading 178 crates, remaining bytes: 2.4MiB
Downloaded comfy-table v7.1.4
Downloading 177 crates, remaining bytes: 2.3MiB
Downloaded cc v1.2.27
Downloading 176 crates, remaining bytes: 2.3MiB
Downloaded num-bigint v0.4.6
Downloading 175 crates, remaining bytes: 2.3MiB
Downloaded regex-automata v0.1.10
Downloading 174 crates, remaining bytes: 2.2MiB
Downloaded litemap v0.8.0
Downloading 173 crates, remaining bytes: 2.2MiB
Downloaded icu_properties v2.0.1
Downloading 172 crates, remaining bytes: 2.2MiB
Downloaded crossbeam-epoch v0.9.18
Downloading 171 crates, remaining bytes: 2.2MiB
Downloaded rayon-core v1.12.1
Downloading 170 crates, remaining bytes: 2.1MiB
Downloaded darling_core v0.20.11
Downloading 169 crates, remaining bytes: 2.1MiB
Downloaded minimal-lexical v0.2.1
Downloading 168 crates, remaining bytes: 2.1MiB
Downloaded toml_edit v0.22.27
Downloading 167 crates, remaining bytes: 2.0MiB
Downloaded indexmap v2.10.0
Downloading 166 crates, remaining bytes: 2.0MiB
Downloaded memchr v2.7.5
Downloading 165 crates, remaining bytes: 2.0MiB
Downloaded ordered-float v2.10.1
Downloading 164 crates, remaining bytes: 1.9MiB
Downloaded unicode-xid v0.2.6
Downloading 163 crates, remaining bytes: 1.9MiB
Downloaded tinystr v0.8.1
Downloading 162 crates, remaining bytes: 1.9MiB
Downloaded writeable v0.6.1
Downloading 161 crates, remaining bytes: 1.8MiB
Downloaded potential_utf v0.1.2
Downloading 160 crates, remaining bytes: 1.8MiB
Downloaded displaydoc v0.2.5
Downloading 159 crates, remaining bytes: 1.8MiB
Downloaded stable_deref_trait v1.2.0
Downloading 158 crates, remaining bytes: 1.7MiB
Downloaded yoke v0.8.0
Downloading 157 crates, remaining bytes: 1.7MiB
Downloaded cargo_metadata v0.20.0
Downloading 156 crates, remaining bytes: 1.7MiB
Downloaded console v0.15.11
Downloading 155 crates, remaining bytes: 1.6MiB
Downloaded pathdiff v0.2.3
Downloading 154 crates, remaining bytes: 1.6MiB
Downloaded crossbeam-utils v0.8.21
Downloading 153 crates, remaining bytes: 1.6MiB
Downloaded rustc-demangle v0.1.25
Downloading 152 crates, remaining bytes: 1.5MiB
Downloaded tempfile v3.20.0
Downloading 151 crates, remaining bytes: 1.5MiB
Downloaded which v8.0.0
Downloading 150 crates, remaining bytes: 1.5MiB
Downloaded annotate-snippets v0.11.5
Downloading 149 crates, remaining bytes: 1.4MiB
Downloaded predicates v3.1.3
Downloading 148 crates, remaining bytes: 1.4MiB
Downloaded assert_cmd v2.0.17
Downloading 147 crates, remaining bytes: 1.4MiB
Downloaded colored v2.2.0
Downloading 146 crates, remaining bytes: 1.3MiB
Downloaded darling v0.20.11
Downloading 145 crates, remaining bytes: 1.3MiB
Downloaded getrandom v0.3.3
Downloading 144 crates, remaining bytes: 1.3MiB
Downloaded ahash v0.8.12
Downloading 143 crates, remaining bytes: 1.2MiB
Downloaded csv-core v0.1.12
Downloading 142 crates, remaining bytes: 1.2MiB
Downloaded fixedbitset v0.5.7
Downloading 141 crates, remaining bytes: 1.2MiB
Downloaded camino v1.1.10
Downloading 140 crates, remaining bytes: 1.1MiB
Downloaded erased-serde v0.4.6
Downloading 139 crates, remaining bytes: 1.1MiB
Downloaded icu_normalizer_data v2.0.0
Downloading 138 crates, remaining bytes: 1.1MiB
Downloaded clap v4.5.40
Downloading 137 crates, remaining bytes: 1.0MiB
Downloaded allocator-api2 v0.2.21
Downloading 136 crates, remaining bytes: 1.0MiB
Downloaded tracing v0.1.41
Downloading 135 crates, remaining bytes: 1009.5KiB
Downloaded serde v1.0.219
Downloading 134 crates, remaining bytes: 973.5KiB
Downloading 134 crates, remaining bytes: 957.5KiB
Downloaded synstructure v0.13.2
Downloading 133 crates, remaining bytes: 941.5KiB
Downloaded zerofrom-derive v0.1.6
Downloading 132 crates, remaining bytes: 905.4KiB
Downloaded zerovec-derive v0.11.1
Downloading 131 crates, remaining bytes: 873.5KiB
Downloaded idna_adapter v1.2.1
Downloading 130 crates, remaining bytes: 841.5KiB
Downloaded utf8_iter v1.0.4
Downloading 129 crates, remaining bytes: 809.5KiB
Downloaded percent-encoding v2.3.1
Downloading 128 crates, remaining bytes: 773.5KiB
Downloaded cargo-util-schemas v0.2.0
Downloading 127 crates, remaining bytes: 741.5KiB
Downloaded thiserror-impl v2.0.12
Downloading 126 crates, remaining bytes: 705.4KiB
Downloading 126 crates, remaining bytes: 689.5KiB
Downloaded thiserror v2.0.12
Downloading 125 crates, remaining bytes: 673.5KiB
Downloaded iana-time-zone v0.1.63
Downloading 124 crates, remaining bytes: 641.5KiB
Downloaded crossbeam-deque v0.8.6
Downloading 123 crates, remaining bytes: 609.5KiB
Downloaded fastrand v2.3.0
Downloading 122 crates, remaining bytes: 573.5KiB
Downloaded thiserror-impl v1.0.69
Downloading 121 crates, remaining bytes: 541.5KiB
Downloaded thiserror v1.0.69
Downloading 120 crates, remaining bytes: 505.4KiB
Downloaded to_markdown_table v0.1.5
Downloading 119 crates, remaining bytes: 473.5KiB
Downloaded signal-hook-registry v1.4.5
Downloading 118 crates, remaining bytes: 441.5KiB
Downloaded doc-comment v0.3.3
Downloading 117 crates, remaining bytes: 409.5KiB
Downloaded difflib v0.4.0
Downloading 116 crates, remaining bytes: 373.5KiB
Downloaded predicates-core v1.0.9
Downloading 115 crates, remaining bytes: 341.5KiB
Downloaded termtree v0.5.1
Downloading 114 crates, remaining bytes: 305.4KiB
Downloaded predicates-tree v1.0.12
Downloading 113 crates, remaining bytes: 273.5KiB
Downloaded wait-timeout v0.2.1
Downloading 112 crates, remaining bytes: 241.5KiB
Downloaded convert_case v0.6.0
Downloading 111 crates, remaining bytes: 209.5KiB
Downloaded linux-raw-sys v0.4.15
Downloading 110 crates, extracting linux-raw-sys ...
Downloading 110 crates, remaining bytes: 161.0KiB
Downloaded ident_case v1.0.1
Downloading 109 crates, remaining bytes: 161.0KiB
Downloaded derive_generic_visitor_macros v0.1.1
Downloading 108 crates, remaining bytes: 140.9KiB
Downloaded env_filter v0.1.3
Downloading 107 crates, remaining bytes: 124.9KiB
Downloaded env_logger v0.11.8
Downloading 106 crates, remaining bytes: 108.9KiB
Downloaded version_check v0.9.5
Downloading 105 crates, remaining bytes: 93.0KiB
Downloaded hashlink v0.9.1
Downloading 104 crates, remaining bytes: 77.0KiB
Downloaded index_vec v0.1.4
Downloading 103 crates, remaining bytes: 61.0KiB
Downloaded arrayvec v0.7.6
Downloading 102 crates, remaining bytes: 40.9KiB
Downloaded brownstone v3.0.0
Downloading 101 crates, remaining bytes: 24.9KiB
Downloaded indent_write v2.2.0
Downloading 100 crates, remaining bytes: 8.9KiB
Downloaded linux-raw-sys v0.9.4
Downloading 99 crates, extracting linux-raw-sys ...
Downloaded nom-supreme v0.8.0
Downloading 98 crates
Downloaded semver v1.0.26
Downloading 97 crates
Downloaded rustc_version v0.4.1
Downloading 96 crates
Downloaded serde-map-to-array v1.1.1
Downloading 95 crates
Downloaded shlex v1.3.0
Downloading 94 crates
Downloaded psm v0.1.26
Downloading 93 crates
Downloaded proc-macro-error-attr2 v2.0.0
Downloading 92 crates
Downloaded proc-macro-error2 v2.0.1
Downloading 91 crates
Downloaded getopts v0.2.23
Downloading 90 crates
Downloaded serde_yaml v0.9.34+deprecated
Downloading 89 crates
Downloaded tree-sitter-language v0.1.5
Downloading 88 crates
Downloaded graph-cycles v0.3.0
Downloading 87 crates
Downloaded cargo-platform v0.2.0
Downloading 86 crates
Downloaded typeid v1.0.3
Downloading 85 crates
Downloaded toml v0.8.23
Downloading 84 crates
Downloaded time-macros v0.2.22
Downloading 83 crates
Downloaded bitflags v2.9.1
Downloading 82 crates
Downloaded either v1.15.0
Downloading 81 crates
Downloaded anstream v0.6.19
Downloading 80 crates
Downloaded clap_derive v4.5.40
Downloading 79 crates
Downloaded num-complex v0.4.6
Downloading 78 crates
Downloaded num-rational v0.4.2
Downloading 77 crates
Downloaded num-traits v0.2.19
Downloading 76 crates
Downloaded strum_macros v0.27.1
Downloading 75 crates
Downloaded lock_api v0.4.13
Downloading 74 crates
Downloaded ryu v1.0.20
Downloading 73 crates
Downloaded sharded-slab v0.1.7
Downloading 72 crates
Downloaded tracing-attributes v0.1.30
Downloading 71 crates
Downloaded proc-macro2 v1.0.95
Downloading 70 crates
Downloaded serde_derive v1.0.219
Downloading 69 crates
Downloaded tracing-core v0.1.34
Downloading 68 crates
Downloaded fnv v1.0.7
Downloading 67 crates
Downloaded darling_macro v0.20.11
Downloading 66 crates
Downloaded indoc v2.0.6
Downloading 65 crates
Downloaded joinery v2.1.0
Downloading 64 crates
Downloaded fixedbitset v0.4.2
Downloading 63 crates
Downloaded glob v0.3.2
Downloading 62 crates
Downloaded unsafe-libyaml v0.2.11
Downloading 61 crates
Downloaded same-file v1.0.6
Downloading 60 crates
Downloaded walkdir v2.5.0
Downloading 59 crates
Downloaded streaming-iterator v0.1.9
Downloading 58 crates
Downloaded form_urlencoded v1.2.1
Downloading 57 crates
Downloaded stacker v0.1.21
Downloading 56 crates
Downloaded serde_spanned v0.6.9
Downloading 55 crates
Downloaded toml_datetime v0.6.11
Downloading 54 crates
Downloaded toml_write v0.1.2
Downloading 53 crates
Downloaded deranged v0.4.0
Downloading 52 crates
Downloaded powerfmt v0.2.0
Downloading 51 crates
Downloaded time-core v0.1.4
Downloading 50 crates
Downloaded errno v0.3.13
Downloading 49 crates
Downloaded which v7.0.3
Downloading 48 crates
Downloaded anstyle-parse v0.2.7
Downloading 47 crates
Downloaded anstyle-query v1.1.3
Downloading 46 crates
Downloaded is_terminal_polyfill v1.70.1
Downloading 45 crates
Downloaded utf8parse v0.2.2
Downloading 44 crates
Downloaded anstyle v1.0.11
Downloading 43 crates
Downloaded clap_lex v0.7.5
Downloading 42 crates
Downloaded strsim v0.11.1
Downloading 41 crates
Downloaded byteorder v1.5.0
Downloading 40 crates
Downloaded fxhash v0.2.1
Downloading 39 crates
Downloaded linear-map v1.2.0
Downloading 38 crates
Downloaded memuse v0.2.2
Downloading 37 crates
Downloaded serde_test v1.0.177
Downloading 36 crates
Downloaded string-interner v0.19.0
Downloading 35 crates
Downloaded num-iter v0.1.45
Downloading 34 crates
Downloaded num-integer v0.1.46
Downloading 33 crates
Downloaded num v0.4.3
Downloading 32 crates
Downloaded heck v0.5.0
Downloading 31 crates
Downloaded rustversion v1.0.21
Downloading 30 crates
Downloaded nu-ansi-term v0.50.1
Downloading 29 crates
Downloaded overload v0.1.1
Downloading 28 crates
Downloaded nu-ansi-term v0.46.0
Downloading 27 crates
Downloaded autocfg v1.5.0
Downloading 26 crates
Downloaded parking_lot_core v0.9.11
Downloading 25 crates
Downloaded parking_lot v0.12.4
Downloading 24 crates
Downloaded foldhash v0.1.5
Downloading 23 crates
Downloaded itoa v1.0.15
Downloading 22 crates
Downloaded smallvec v1.15.1
Downloading 21 crates
Downloaded cfg-if v1.0.1
Downloading 20 crates
Downloaded thread_local v1.1.9
Downloading 19 crates
Downloaded pin-project-lite v0.2.16
Downloading 18 crates
Downloaded tracing-log v0.2.0
Downloading 17 crates
Downloaded quote v1.0.40
Downloading 16 crates
Downloaded unicode-ident v1.0.18
Downloading 15 crates
Downloaded once_cell v1.21.3
Downloading 14 crates
Downloaded tracing-tree v0.4.0
Downloading 13 crates
Downloaded log v0.4.27
Downloading 12 crates
Downloaded num_threads v0.1.7
Downloading 11 crates
Downloaded num-conv v0.1.0
Downloading 10 crates
Downloaded env_home v0.1.0
Downloading 9 crates
Downloaded colorchoice v1.0.4
Downloading 8 crates
Downloaded strum v0.27.1
Downloading 7 crates
Downloaded matchers v0.1.0
Downloading 6 crates
Downloaded scopeguard v1.2.0
Downloading 5 crates
Downloaded equivalent v1.0.2
Downloading 4 crates
Downloaded lazy_static v1.5.0
Downloading 3 crates
Downloaded tracing-serde v0.2.0
Downloading 2 crates
Downloaded anyhow v1.0.98
Downloading 1 crate
Downloaded os_info v3.12.0
Downloading 0 crates
Downloaded 230 crates (20.6MiB) in 9.78s (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
Building [ ] 0/290: proc-macro2(build.rs), se...
Compiling libc v0.2.174
Building [ ] 1/290: proc-macro2(build.rs), se...
Building [ ] 2/290: serde(build), proc-macro2...
Building [ ] 3/290: serde(build), autocfg, li...
Compiling cfg-if v1.0.1
Building [ ] 4/290: autocfg, libc(build.rs), ...
Compiling once_cell v1.21.3
Building [ ] 5/290: libc(build.rs), proc-macr...
Building [ ] 6/290: libc(build.rs), autocfg, ...
Building [ ] 7/290: libc(build), autocfg, onc...
Building [ ] 8/290: libc, autocfg, once_cell,...
Compiling num-traits v0.2.19
Building [ ] 9/290: libc, num-traits(build.rs...
Compiling foldhash v0.1.5
Building [ ] 10/290: foldhash, libc, num-trait...
Compiling memchr v2.7.5
Building [ ] 11/290: foldhash, memchr, libc, p...
Compiling hashbrown v0.15.4
Building [> ] 12/290: memchr, libc, hashbrown, ...
Compiling quote v1.0.40
Building [> ] 13/290: quote, memchr, libc, hash...
Building [> ] 14/290: quote, num-traits(build),...
Compiling stable_deref_trait v1.2.0
Building [> ] 15/290: quote, stable_deref_trait...
Compiling syn v2.0.104
Building [> ] 16/290: quote, syn, libc, hashbrown
Compiling smallvec v1.15.1
Building [> ] 17/290: syn, libc, smallvec, hash...
Building [> ] 18/290: num-traits, syn, libc, ha...
Compiling log v0.4.27
Building [> ] 19/290: num-traits, syn, libc, log
Compiling equivalent v1.0.2
Building [> ] 20/290: num-traits, syn, log, equ...
Compiling indexmap v2.10.0
Building [> ] 21/290: indexmap, num-traits, syn...
Compiling aho-corasick v1.1.3
Building [> ] 22/290: indexmap, num-traits, syn...
Compiling regex-syntax v0.8.5
Building [=> ] 23/290: num-traits, syn, aho-cora...
Compiling tracing-core v0.1.34
Building [=> ] 24/290: syn, aho-corasick, regex-...
Compiling anstyle v1.0.11
Building [=> ] 25/290: syn, aho-corasick, regex-...
Compiling bitflags v2.9.1
Building [=> ] 26/290: syn, aho-corasick, regex-...
Compiling lazy_static v1.5.0
Building [=> ] 27/290: lazy_static, syn, aho-cor...
Compiling writeable v0.6.1
Building [=> ] 28/290: syn, aho-corasick, regex-...
Compiling pin-project-lite v0.2.16
Building [=> ] 29/290: syn, aho-corasick, regex-...
Compiling shlex v1.3.0
Building [=> ] 30/290: shlex, syn, aho-corasick,...
Compiling regex-automata v0.4.9
Building [=> ] 31/290: syn, aho-corasick, regex-...
Compiling litemap v0.8.0
Building [=> ] 32/290: syn, litemap, regex-synta...
Compiling cc v1.2.27
Building [=> ] 33/290: syn, regex-syntax, cc, re...
Compiling synstructure v0.13.2
Building [==> ] 34/290: syn, regex-syntax, synstr...
Compiling serde_json v1.0.140
Building [==> ] 35/290: syn, regex-syntax, serde_...
Compiling utf8parse v0.2.2
Building [==> ] 36/290: syn, utf8parse, regex-syn...
Compiling icu_normalizer_data v2.0.0
Building [==> ] 37/290: syn, regex-syntax, icu_no...
Compiling icu_properties_data v2.0.1
Building [==> ] 38/290: syn, icu_properties_data(...
Compiling itoa v1.0.15
Building [==> ] 39/290: syn, regex-syntax, itoa, ...
Building [==> ] 40/290: syn, regex-syntax, icu_pr...
Building [==> ] 41/290: icu_normalizer_data(build...
Compiling anstyle-parse v0.2.7
Building [==> ] 42/290: syn, regex-syntax, anstyl...
Compiling serde_derive v1.0.219
Building [==> ] 43/290: regex-syntax, anstyle-par...
Compiling zerofrom-derive v0.1.6
Building [==> ] 44/290: zerofrom-derive, regex-sy...
Compiling zerofrom v0.1.6
Building [===> ] 45/290: regex-syntax, serde_deriv...
Compiling yoke-derive v0.8.0
Building [===> ] 46/290: regex-syntax, yoke-derive...
Compiling zerovec-derive v0.11.1
Building [===> ] 47/290: yoke-derive, zerovec-deri...
Compiling yoke v0.8.0
Building [===> ] 48/290: yoke, zerovec-derive, ser...
Compiling displaydoc v0.2.5
Building [===> ] 49/290: zerovec-derive, displaydo...
Compiling zerovec v0.11.2
Building [===> ] 50/290: zerovec, displaydoc, serd...
Compiling zerotrie v0.2.2
Building [===> ] 51/290: zerovec, zerotrie, serde_...
Building [===> ] 52/290: zerovec, zerotrie, serde,...
Compiling tracing-attributes v0.1.30
Building [===> ] 53/290: zerovec, tracing-attribut...
Compiling tinystr v0.8.1
Building [===> ] 54/290: tracing-attributes, serde...
Compiling icu_locale_core v2.0.0
Building [===> ] 55/290: icu_locale_core, tracing-...
Compiling potential_utf v0.1.2
Building [====> ] 56/290: potential_utf, icu_locale...
Compiling icu_collections v2.0.0
Building [====> ] 57/290: icu_collections, icu_loca...
Compiling icu_provider v2.0.0
Building [====> ] 58/290: icu_provider, icu_locale_...
Compiling tracing v0.1.41
Building [====> ] 59/290: icu_locale_core, serde, t...
Compiling regex v1.11.1
Building [====> ] 60/290: regex, icu_locale_core, s...
Building [====> ] 61/290: regex, serde, serde_json(...
Compiling num-integer v0.1.46
Building [====> ] 62/290: regex, serde, num-integer...
Compiling ryu v1.0.20
Building [====> ] 63/290: regex, num-integer, ryu, ...
Compiling anstyle-query v1.1.3
Building [====> ] 64/290: regex, num-integer, ansty...
Compiling anyhow v1.0.98
Building [====> ] 65/290: regex, anyhow(build.rs), ...
Compiling regex-syntax v0.6.29
Building [====> ] 66/290: regex, regex-syntax, anyh...
Compiling is_terminal_polyfill v1.70.1
Building [=====> ] 67/290: regex-syntax, anyhow(buil...
Compiling semver v1.0.26
Building [=====> ] 68/290: regex-syntax, anyhow(buil...
Compiling rustix v1.0.7
Building [=====> ] 69/290: rustix(build.rs), regex-s...
Compiling colorchoice v1.0.4
Building [=====> ] 70/290: rustix(build.rs), regex-s...
Compiling anstream v0.6.19
Building [=====> ] 71/290: rustix(build.rs), regex-s...
Building [=====> ] 72/290: regex-syntax, rustix(buil...
Building [=====> ] 73/290: semver(build), regex-synt...
Building [=====> ] 74/290: regex-syntax, anyhow(buil...
Building [=====> ] 75/290: serde_json, regex-syntax,...
Compiling serde_spanned v0.6.9
Building [=====> ] 76/290: serde_json, serde_spanned...
Compiling toml_datetime v0.6.11
Building [=====> ] 77/290: serde_json, regex-syntax,...
Building [=====> ] 78/290: serde_json, regex-syntax,...
Building [======> ] 79/290: serde_json, regex-syntax,...
Compiling linux-raw-sys v0.9.4
Building [======> ] 80/290: serde_json, linux-raw-sys...
Compiling winnow v0.7.11
Building [======> ] 81/290: serde_json, linux-raw-sys...
Compiling ident_case v1.0.1
Building [======> ] 82/290: serde_json, regex-syntax,...
Compiling zerocopy v0.8.26
Building [======> ] 83/290: serde_json, regex-syntax,...
Compiling regex-automata v0.1.10
Building [======> ] 84/290: regex-automata, serde_jso...
Compiling overload v0.1.1
Building [======> ] 85/290: regex-automata, regex-syn...
Compiling heck v0.5.0
Building [======> ] 86/290: regex-automata, heck, reg...
Compiling crossbeam-utils v0.8.21
Building [======> ] 87/290: regex-automata, crossbeam...
Compiling fnv v1.0.7
Building [======> ] 88/290: regex-automata, fnv, rege...
Compiling strsim v0.11.1
Building [======> ] 89/290: regex-automata, strsim, r...
Compiling typeid v1.0.3
Building [=======> ] 90/290: regex-automata, typeid(bu...
Compiling toml_write v0.1.2
Building [=======> ] 91/290: regex-automata, toml_writ...
Compiling version_check v0.9.5
Building [=======> ] 92/290: regex-automata, regex-syn...
Compiling either v1.15.0
Building [=======> ] 93/290: regex-automata, regex-syn...
Compiling ahash v0.8.12
Building [=======> ] 94/290: regex-automata, regex-syn...
Compiling toml_edit v0.22.27
Building [=======> ] 95/290: regex-automata, toml_edit...
Building [=======> ] 96/290: regex-automata, toml_edit...
Compiling darling_core v0.20.11
Building [=======> ] 97/290: regex-automata, toml_edit...
Building [=======> ] 98/290: toml_edit, darling_core, ...
Compiling nu-ansi-term v0.46.0
Building [=======> ] 99/290: toml_edit, darling_core, ...
Compiling matchers v0.1.0
Building [=======> ] 100/290: toml_edit, darling_core, ...
Building [=======> ] 101/290: toml_edit, darling_core, ...
Building [=======> ] 102/290: toml_edit, darling_core, ...
Compiling icu_properties v2.0.1
Building [=======> ] 103/290: toml_edit, darling_core, ...
Compiling icu_normalizer v2.0.0
Building [=======> ] 104/290: icu_normalizer, toml_edit...
Building [========> ] 105/290: icu_normalizer, toml_edit...
Building [========> ] 106/290: toml_edit, anyhow, semver...
Compiling num-bigint v0.4.6
Building [========> ] 107/290: toml_edit, anyhow, semver...
Compiling tracing-serde v0.2.0
Building [========> ] 108/290: toml_edit, semver, num-bi...
Compiling psm v0.1.26
Building [========> ] 109/290: toml_edit, num-bigint, tr...
Compiling sharded-slab v0.1.7
Building [========> ] 110/290: toml_edit, num-bigint, sh...
Compiling tracing-log v0.2.0
Building [========> ] 111/290: toml_edit, num-bigint, sh...
Compiling lock_api v0.4.13
Building [========> ] 112/290: lock_api(build.rs), toml_...
Compiling thread_local v1.1.9
Building [========> ] 113/290: toml_edit, num-bigint, sh...
Building [========> ] 114/290: toml_edit, num-bigint, sh...
Compiling rustversion v1.0.21
Building [========> ] 115/290: toml_edit, num-bigint, ru...
Compiling powerfmt v0.2.0
Building [=========> ] 116/290: toml_edit, num-bigint, po...
Compiling unicode-width v0.2.1
Building [=========> ] 117/290: toml_edit, num-bigint, un...
Compiling thiserror v1.0.69
Building [=========> ] 118/290: toml_edit, num-bigint, st...
Compiling clap_lex v0.7.5
Building [=========> ] 119/290: toml_edit, num-bigint, cl...
Compiling parking_lot_core v0.9.11
Building [=========> ] 120/290: toml_edit, num-bigint, cl...
Building [=========> ] 121/290: toml_edit, num-bigint, th...
Building [=========> ] 122/290: toml_edit, num-bigint, th...
Compiling clap_builder v4.5.40
Building [=========> ] 123/290: toml_edit, num-bigint, cl...
Compiling num-rational v0.4.2
Building [=========> ] 124/290: toml_edit, num-rational, ...
Compiling deranged v0.4.0
Building [=========> ] 125/290: toml_edit, num-bigint, cl...
Building [=========> ] 126/290: toml_edit, clap_builder, ...
Compiling tracing-subscriber v0.3.19
Building [=========> ] 127/290: toml_edit, clap_builder, ...
Building [==========> ] 128/290: toml_edit, clap_builder, ...
Building [==========> ] 129/290: toml_edit, clap_builder, ...
Compiling idna_adapter v1.2.1
Building [==========> ] 130/290: toml_edit, clap_builder, ...
Compiling darling_macro v0.20.11
Building [==========> ] 131/290: toml_edit, darling_macro,...
Compiling toml v0.8.23
Building [==========> ] 132/290: toml_edit, clap_builder, ...
Building [==========> ] 133/290: zerocopy, clap_builder, t...
Building [==========> ] 134/290: crossbeam-utils, clap_bui...
Building [==========> ] 135/290: crossbeam-utils, clap_bui...
Building [==========> ] 136/290: crossbeam-utils, ahash(bu...
Compiling clap_derive v4.5.40
Building [==========> ] 137/290: crossbeam-utils, clap_bui...
Compiling num-iter v0.1.45
Building [==========> ] 138/290: num-iter, clap_builder, t...
Compiling serde_test v1.0.177
Building [==========> ] 139/290: serde_test, clap_builder,...
Compiling thiserror-impl v1.0.69
Building [===========> ] 140/290: thiserror-impl, clap_buil...
Compiling stacker v0.1.21
Building [===========> ] 141/290: thiserror-impl, clap_buil...
Compiling num-complex v0.4.6
Building [===========> ] 142/290: thiserror-impl, clap_buil...
Compiling env_home v0.1.0
Building [===========> ] 143/290: clap_builder, tracing-sub...
Compiling byteorder v1.5.0
Building [===========> ] 144/290: clap_builder, tracing-sub...
Building [===========> ] 145/290: clap_builder, proc-macro2...
Compiling unicode-segmentation v1.12.0
Building [===========> ] 146/290: clap_builder, proc-macro2...
Compiling scopeguard v1.2.0
Building [===========> ] 147/290: clap_builder, scopeguard,...
Compiling num_threads v0.1.7
Building [===========> ] 148/290: clap_builder, scopeguard,...
Compiling predicates-core v1.0.9
Building [===========> ] 149/290: predicates-core, clap_bui...
Compiling doc-comment v0.3.3
Building [===========> ] 150/290: predicates-core, clap_bui...
Compiling utf8_iter v1.0.4
Building [============> ] 151/290: utf8_iter, clap_builder, ...
Building [============> ] 152/290: utf8_iter, clap_builder, ...
Compiling rustix v0.38.44
Building [============> ] 153/290: rustix(build.rs), clap_bu...
Compiling time-core v0.1.4
Building [============> ] 154/290: rustix(build.rs), clap_bu...
Compiling percent-encoding v2.3.1
Building [============> ] 155/290: rustix(build.rs), clap_bu...
Compiling num-conv v0.1.0
Building [============> ] 156/290: rustix(build.rs), clap_bu...
Building [============> ] 157/290: clap_builder, percent-enc...
Building [============> ] 158/290: clap_builder, rustix(buil...
Compiling time v0.3.41
Building [============> ] 159/290: time, clap_builder, rusti...
Compiling form_urlencoded v1.2.1
Building [============> ] 160/290: time, clap_builder, form_...
Compiling itertools v0.13.0
Building [============> ] 161/290: time, clap_builder, itert...
Compiling convert_case v0.6.0
Building [============> ] 162/290: time, clap_builder, itert...
Building [=============> ] 163/290: time, clap_builder, itert...
Compiling idna v1.0.3
Building [=============> ] 164/290: time, idna, clap_builder,...
Building [=============> ] 165/290: time, idna, lock_api, ite...
Building [=============> ] 166/290: time, idna, proc-macro2(b...
Compiling fxhash v0.2.1
Building [=============> ] 167/290: time, idna, lock_api, fxhash
Compiling num v0.4.3
Building [=============> ] 168/290: time, idna, num, lock_api
Building [=============> ] 169/290: time, thiserror, idna, lo...
Building [=============> ] 170/290: time, stacker(build), idn...
Compiling clap v4.5.40
Building [=============> ] 171/290: time, clap, idna, lock_api
Compiling linear-map v1.2.0
Building [=============> ] 172/290: time, clap, idna, linear-map
Compiling crossbeam-epoch v0.9.18
Building [=============> ] 173/290: time, idna, linear-map, c...
Building [==============> ] 174/290: time, idna, ahash, crossb...
Compiling erased-serde v0.4.6
Building [==============> ] 175/290: time, erased-serde, idna,...
Compiling darling v0.20.11
Building [==============> ] 176/290: time, erased-serde, idna,...
Building [==============> ] 177/290: time, erased-serde, idna,...
Building [==============> ] 178/290: time, erased-serde, idna,...
Building [==============> ] 179/290: time, erased-serde, parki...
Compiling string-interner v0.19.0
Building [==============> ] 180/290: time, erased-serde, strin...
Compiling ordered-float v2.10.1
Building [==============> ] 181/290: time, erased-serde, strin...
Compiling thiserror v2.0.12
Building [==============> ] 182/290: time, erased-serde, order...
Compiling kani-verifier v0.64.0 (/build/kani/src/kani-0.64.0)
Building [==============> ] 183/290: time, kani-verifier(build...
Compiling linux-raw-sys v0.4.15
Building [==============> ] 184/290: time, kani-verifier(build...
Compiling nu-ansi-term v0.50.1
Building [==============> ] 185/290: time, nu-ansi-term, thise...
Compiling assert_cmd v2.0.17
Building [===============> ] 186/290: time, assert_cmd(build.rs...
Building [===============> ] 187/290: time, unicode-ident, nu-a...
Compiling getrandom v0.3.3
Building [===============> ] 188/290: time, nu-ansi-term, getra...
Compiling arrayvec v0.7.6
Building [===============> ] 189/290: time, nu-ansi-term, array...
Compiling rayon-core v1.12.1
Building [===============> ] 190/290: time, rayon-core(build.rs...
Compiling minimal-lexical v0.2.1
Building [===============> ] 191/290: time, minimal-lexical, ar...
Compiling camino v1.1.10
Building [===============> ] 192/290: time, minimal-lexical, ca...
Compiling termtree v0.5.1
Building [===============> ] 193/290: time, minimal-lexical, te...
Compiling difflib v0.4.0
Building [===============> ] 194/290: time, minimal-lexical, di...
Compiling predicates-tree v1.0.12
Building [===============> ] 195/290: predicates-tree, minimal-...
Building [===============> ] 196/290: predicates-tree, minimal-...
Compiling nom v7.1.3
Building [===============> ] 197/290: predicates-tree, minimal-...
Compiling brownstone v3.0.0
Building [================> ] 198/290: brownstone, predicates-tr...
Building [================> ] 199/290: rustix, predicates-tree, ...
Compiling predicates v3.1.3
Building [================> ] 200/290: rustix, predicates, diffl...
Building [================> ] 201/290: predicates, difflib, rayo...
Building [================> ] 202/290: predicates, getrandom(bui...
Building [================> ] 203/290: predicates, difflib, proc...
Building [================> ] 204/290: predicates, assert_cmd(bu...
Building [================> ] 205/290: predicates, thiserror(bui...
Building [================> ] 206/290: kani-verifier(build), thi...
Compiling serde-value v0.7.0
Building [================> ] 207/290: thiserror(build), serde-v...
Compiling cprover_bindings v0.64.0 (/build/kani/src/kani-0.64.0/cprover_bindings)
Building [================> ] 208/290: cprover_bindings, serde-v...
Compiling serde-untagged v0.1.7
Building [=================> ] 209/290: cprover_bindings, serde-u...
Compiling strum_macros v0.27.1
Building [=================> ] 210/290: cprover_bindings, strum_m...
Compiling parking_lot v0.12.4
Building [=================> ] 211/290: cprover_bindings, strum_m...
Building [=================> ] 212/290: stacker, cprover_bindings...
Compiling derive_generic_visitor_macros v0.1.1
Building [=================> ] 213/290: derive_generic_visitor_ma...
Compiling hashbrown v0.14.5
Building [=================> ] 214/290: derive_generic_visitor_ma...
Compiling crossbeam-deque v0.8.6
Building [=================> ] 215/290: derive_generic_visitor_ma...
Compiling url v2.5.4
Building [=================> ] 216/290: crossbeam-deque, url, cpr...
Building [=================> ] 217/290: url, doc-comment, cprover...
Compiling env_filter v0.1.3
Building [=================> ] 218/290: url, cprover_bindings, st...
Compiling bstr v1.12.0
Building [=================> ] 219/290: url, bstr, cprover_bindin...
Compiling thiserror-impl v2.0.12
Building [=================> ] 220/290: url, bstr, cprover_bindin...
Compiling os_info v3.12.0
Building [==================> ] 221/290: bstr, os_info, cprover_bi...
Compiling wait-timeout v0.2.1
Building [==================> ] 222/290: bstr, os_info, wait-timeo...
Compiling strum v0.27.1
Building [==================> ] 223/290: os_info, wait-timeout, cp...
Compiling home v0.5.11
Building [==================> ] 224/290: home, os_info, wait-timeo...
Compiling fixedbitset v0.4.2
Building [==================> ] 225/290: os_info, wait-timeout, cp...
Compiling jiff v0.2.15
Building [==================> ] 226/290: jiff, os_info, cprover_bi...
Compiling joinery v2.1.0
Building [==================> ] 227/290: jiff, joinery, os_info, c...
Compiling indent_write v2.2.0
Building [==================> ] 228/290: jiff, os_info, indent_wri...
Compiling unicode-xid v0.2.6
Building [==================> ] 229/290: jiff, os_info, cprover_bi...
Compiling cargo-util-schemas v0.2.0
Building [==================> ] 230/290: cargo-util-schemas, jiff,...
Compiling nom-supreme v0.8.0
Building [==================> ] 231/290: cargo-util-schemas, jiff,...
Compiling petgraph v0.6.5
Building [===================> ] 232/290: cargo-util-schemas, jiff,...
Building [===================> ] 233/290: cargo-util-schemas, jiff,...
Compiling kani_metadata v0.64.0 (/build/kani/src/kani-0.64.0/kani_metadata)
Building [===================> ] 234/290: jiff, kani_metadata, cpro...
Building [===================> ] 235/290: jiff, kani_metadata, asse...
Building [===================> ] 236/290: jiff, kani_metadata, asse...
Building [===================> ] 237/290: jiff, kani_metadata, asse...
Compiling derive_generic_visitor v0.1.1
Building [===================> ] 238/290: jiff, derive_generic_visi...
Compiling hashlink v0.9.1
Building [===================> ] 239/290: jiff, derive_generic_visi...
Compiling env_logger v0.11.8
Building [===================> ] 240/290: jiff, env_logger, hashlin...
Compiling serde_stacker v0.1.12
Building [===================> ] 241/290: jiff, serde_stacker, env_...
Compiling crossterm v0.28.1
Building [===================> ] 242/290: jiff, env_logger, crosste...
Building [===================> ] 243/290: jiff, env_logger, quote, ...
Building [====================> ] 244/290: jiff, quote, crossterm, g...
Building [====================> ] 245/290: jiff, quote, crossterm, c...
Compiling tracing-tree v0.4.0 (https://github.com/Nadrieril/tracing-tree#841286bf)
Building [====================> ] 246/290: jiff, tracing-tree, quote...
Building [====================> ] 247/290: jiff, tracing-tree, camin...
Compiling which v7.0.3
Building [====================> ] 248/290: jiff, tracing-tree, which...
Compiling annotate-snippets v0.11.5
Building [====================> ] 249/290: jiff, which, convert_case...
Compiling rustc_version v0.4.1
Building [====================> ] 250/290: jiff, rustc_version, conv...
Building [====================> ] 251/290: jiff, itertools, convert_...
Compiling serde-map-to-array v1.1.1
Building [====================> ] 252/290: jiff, itertools, serde-ma...
Compiling cargo-platform v0.2.0
Building [====================> ] 253/290: jiff, itertools, cargo-pl...
Compiling index_vec v0.1.4
Building [====================> ] 254/290: jiff, itertools, index_ve...
Compiling macros v0.1.0 (/build/kani/src/kani-0.64.0/charon/charon/macros)
Building [====================> ] 255/290: jiff, itertools, macros, ...
Compiling colored v2.2.0
Building [=====================> ] 256/290: jiff, itertools, colored,...
Compiling mio v1.0.4
Building [=====================> ] 257/290: jiff, mio, colored, annot...
Compiling signal-hook-registry v1.4.5
Building [=====================> ] 258/290: jiff, signal-hook-registr...
Compiling indoc v2.0.6
Building [=====================> ] 259/290: jiff, signal-hook-registr...
Compiling fastrand v2.3.0
Building [=====================> ] 260/290: jiff, fastrand, mio, indoc
Compiling iana-time-zone v0.1.63
Building [=====================> ] 261/290: iana-time-zone, jiff, fas...
Compiling bytes v1.10.1
Building [=====================> ] 262/290: iana-time-zone, jiff, fas...
Compiling kani-compiler v0.64.0 (/build/kani/src/kani-0.64.0/kani-compiler)
Building [=====================> ] 263/290: iana-time-zone, jiff, kan...
Compiling take_mut v0.2.2
Building [=====================> ] 264/290: iana-time-zone, jiff, tak...
Compiling kani-driver v0.64.0 (/build/kani/src/kani-0.64.0/kani-driver)
Building [=====================> ] 265/290: iana-time-zone, jiff, kan...
Compiling charon v0.1.62 (/build/kani/src/kani-0.64.0/charon/charon)
Building [=====================> ] 266/290: jiff, kani-driver(build.r...
Building [======================> ] 267/290: jiff, kani-driver(build),...
Building [======================> ] 268/290: jiff, kani-compiler(build...
Compiling tempfile v3.20.0
Building [======================> ] 269/290: jiff, tempfile, bytes, ch...
Compiling tokio v1.45.1
Building [======================> ] 270/290: jiff, tokio, tempfile, ch...
Compiling chrono v0.4.41
Building [======================> ] 271/290: jiff, tokio, chrono, charon
Compiling cargo_metadata v0.20.0
Building [======================> ] 272/290: cargo_metadata, tokio, ch...
Building [======================> ] 273/290: cargo_metadata, tokio, sy...
Compiling comfy-table v7.1.4
Building [======================> ] 274/290: tokio, syn, charon, comfy...
Compiling rayon v1.10.0
Building [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
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 [======================> ] 275/290: rayon, syn, charon, comfy...
Compiling tracing-tree v0.4.0
Building [======================> ] 276/290: rayon, syn, charon, traci...
Compiling to_markdown_table v0.1.5
Building [======================> ] 277/290: rayon, syn, to_markdown_t...
Compiling which v8.0.0
Building [======================> ] 278/290: rayon, syn, which, charon
Compiling console v0.15.11
Building [=======================> ] 279/290: rayon, syn, console, charon
Compiling itertools v0.14.0
Building [=======================> ] 280/290: itertools, syn, console, ...
Compiling pathdiff v0.2.3
Building [=======================> ] 281/290: itertools, pathdiff, syn,...
Compiling rustc-demangle v0.1.25
Building [=======================> ] 282/290: itertools, syn, rustc-dem...
Building [=======================> ] 283/290: itertools, syn, kani-driv...
Building [=======================> ] 284/290: syn, kani-driver(bin), ch...
Building [=======================> ] 285/290: syn, kani(bin), kani-driv...
Building [=======================> ] 286/290: syn, kani-driver(bin), ch...
Building [=======================> ] 287/290: kani-driver(bin), charon
Building [=======================> ] 288/290: charon
warning: `charon` (lib) generated 25 warnings
Building [=======================> ] 289/290: kani-compiler(bin)
error[E0599]: no method named `align_of` found for struct `kani_middle::abi::LayoutOf` in the current scope
--> kani-compiler/src/kani_middle/transform/kani_intrinsics.rs:440:32
|
440 | pointee_layout.align_of().unwrap() as _,
| ^^^^^^^^
|
::: kani-compiler/src/kani_middle/abi.rs:11:1
|
11 | pub struct LayoutOf {
| ------------------- method `align_of` not found for this struct
|
help: there is a method `align_of_head` with a similar name
|
440 | pointee_layout.align_of_head().unwrap() as _,
| +++++
Building [=======================> ] 289/290: kani-compiler(bin)
error[E0599]: no method named `align_of` found for struct `kani_middle::abi::LayoutOf` in the current scope
--> kani-compiler/src/kani_middle/transform/kani_intrinsics.rs:523:45
|
523 | if let Some(align) = pointee_layout.align_of() {
| ^^^^^^^^
|
::: kani-compiler/src/kani_middle/abi.rs:11:1
|
11 | pub struct LayoutOf {
| ------------------- method `align_of` not found for this struct
|
help: there is a method `align_of_head` with a similar name
|
523 | if let Some(align) = pointee_layout.align_of_head() {
| +++++
Building [=======================> ] 289/290: kani-compiler(bin)
For more information about this error, try `rustc --explain E0599`.
Building [=======================> ] 289/290: kani-compiler(bin)
error: could not compile `kani-compiler` (bin "kani-compiler") due to 2 previous errors
==> ERROR: A failure occurred in build().
Aborting...
==> ERROR: Build failed, check /home/leming/armv7/leming/build