Dec 07 11:35:05.184 INFO testing hacl-star-sys-0.0.7 against try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468 for pr-56514
Dec 07 11:35:05.184 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-1/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 07 11:35:05.531 INFO [stdout] 58db8883b5bb5eb36237852410bd2b6952c5e4b7f659c6027a615c4b499dac27
Dec 07 11:35:05.533 INFO running `"docker" "start" "-a" "58db8883b5bb5eb36237852410bd2b6952c5e4b7f659c6027a615c4b499dac27"`
Dec 07 11:35:06.448 INFO [stderr] usermod: no changes
Dec 07 11:35:06.525 INFO [stderr]    Compiling hacl-star-sys v0.0.7 (/source)
Dec 07 11:35:09.760 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.29s
Dec 07 11:35:09.765 INFO [stderr] su: No module specific data is present
Dec 07 11:35:10.150 INFO running `"docker" "inspect" "58db8883b5bb5eb36237852410bd2b6952c5e4b7f659c6027a615c4b499dac27"`
Dec 07 11:35:10.285 INFO running `"docker" "rm" "-f" "58db8883b5bb5eb36237852410bd2b6952c5e4b7f659c6027a615c4b499dac27"`
Dec 07 11:35:10.388 INFO [stdout] 58db8883b5bb5eb36237852410bd2b6952c5e4b7f659c6027a615c4b499dac27
Dec 07 11:35:10.390 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-1/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 07 11:35:10.621 INFO [stdout] c0b3c5a60a7627d7a6ed258d2eb1f930b9686c50d0dd1e10246d4b62310837d6
Dec 07 11:35:10.625 INFO running `"docker" "start" "-a" "c0b3c5a60a7627d7a6ed258d2eb1f930b9686c50d0dd1e10246d4b62310837d6"`
Dec 07 11:35:11.084 INFO [stderr] usermod: no changes
Dec 07 11:35:11.120 INFO [stderr]    Compiling hacl-star-sys v0.0.7 (/source)
Dec 07 11:35:12.053 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.97s
Dec 07 11:35:12.057 INFO [stderr] su: No module specific data is present
Dec 07 11:35:12.412 INFO running `"docker" "inspect" "c0b3c5a60a7627d7a6ed258d2eb1f930b9686c50d0dd1e10246d4b62310837d6"`
Dec 07 11:35:12.507 INFO running `"docker" "rm" "-f" "c0b3c5a60a7627d7a6ed258d2eb1f930b9686c50d0dd1e10246d4b62310837d6"`
Dec 07 11:35:12.583 INFO [stdout] c0b3c5a60a7627d7a6ed258d2eb1f930b9686c50d0dd1e10246d4b62310837d6
Dec 07 11:35:12.586 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-1/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-56514/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 07 11:35:12.821 INFO [stdout] 7284afa5112a1d2a41fc0bfeb074b3e842ebe43afcae1d92bf52d5ffe2b7e8ec
Dec 07 11:35:12.826 INFO running `"docker" "start" "-a" "7284afa5112a1d2a41fc0bfeb074b3e842ebe43afcae1d92bf52d5ffe2b7e8ec"`
Dec 07 11:35:13.326 INFO [stderr] usermod: no changes
Dec 07 11:35:13.395 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.05s
Dec 07 11:35:13.398 INFO [stderr]      Running /target/debug/deps/hacl_star_sys-91e3e1599c12032c
Dec 07 11:35:13.400 INFO [stdout] 
Dec 07 11:35:13.400 INFO [stdout] running 3 tests
Dec 07 11:35:13.400 INFO [stdout] test poly1305::bindgen_test_layout_Hacl_Impl_Poly1305_64_State_poly1305_state ... ok
Dec 07 11:35:13.400 INFO [stdout] test chacha20poly1305::bindgen_test_layout_Hacl_Impl_Poly1305_64_State_poly1305_state ... ok
Dec 07 11:35:13.400 INFO [stdout] test aead_poly1305::bindgen_test_layout_Hacl_Impl_Poly1305_64_State_poly1305_state ... ok
Dec 07 11:35:13.400 INFO [stdout] 
Dec 07 11:35:13.400 INFO [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 11:35:13.400 INFO [stdout] 
Dec 07 11:35:13.400 INFO [stderr]    Doc-tests hacl-star-sys
Dec 07 11:35:13.475 INFO [stdout] 
Dec 07 11:35:13.475 INFO [stdout] running 0 tests
Dec 07 11:35:13.475 INFO [stdout] 
Dec 07 11:35:13.475 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 11:35:13.475 INFO [stdout] 
Dec 07 11:35:13.482 INFO [stderr] su: No module specific data is present
Dec 07 11:35:13.807 INFO running `"docker" "inspect" "7284afa5112a1d2a41fc0bfeb074b3e842ebe43afcae1d92bf52d5ffe2b7e8ec"`
Dec 07 11:35:13.921 INFO running `"docker" "rm" "-f" "7284afa5112a1d2a41fc0bfeb074b3e842ebe43afcae1d92bf52d5ffe2b7e8ec"`
Dec 07 11:35:14.027 INFO [stdout] 7284afa5112a1d2a41fc0bfeb074b3e842ebe43afcae1d92bf52d5ffe2b7e8ec