Dec 07 11:35:10.442 INFO testing hacl-star-0.0.13 against try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468 for pr-56514
Dec 07 11:35:10.442 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-4/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/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:10.660 INFO [stdout] c135f9e6c244594daf72ce5dac01268042c25b3392fae026f7430a64c77dc22c
Dec 07 11:35:10.664 INFO running `"docker" "start" "-a" "c135f9e6c244594daf72ce5dac01268042c25b3392fae026f7430a64c77dc22c"`
Dec 07 11:35:11.156 INFO [stderr] usermod: no changes
Dec 07 11:35:11.246 INFO [stderr]    Compiling hacl-star-sys v0.0.7
Dec 07 11:35:13.746 INFO [stderr]    Compiling hacl-star v0.0.13 (/source)
Dec 07 11:35:14.440 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.25s
Dec 07 11:35:14.440 INFO [stderr] su: No module specific data is present
Dec 07 11:35:14.798 INFO running `"docker" "inspect" "c135f9e6c244594daf72ce5dac01268042c25b3392fae026f7430a64c77dc22c"`
Dec 07 11:35:14.932 INFO running `"docker" "rm" "-f" "c135f9e6c244594daf72ce5dac01268042c25b3392fae026f7430a64c77dc22c"`
Dec 07 11:35:15.061 INFO [stdout] c135f9e6c244594daf72ce5dac01268042c25b3392fae026f7430a64c77dc22c
Dec 07 11:35:15.065 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-4/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/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:15.249 INFO [stdout] 7bd37a3bb00b56ecec35e5791570e898a549db46fce85eac6c86840cc74c822e
Dec 07 11:35:15.254 INFO running `"docker" "start" "-a" "7bd37a3bb00b56ecec35e5791570e898a549db46fce85eac6c86840cc74c822e"`
Dec 07 11:35:15.768 INFO [stderr] usermod: no changes
Dec 07 11:35:15.866 INFO [stderr]    Compiling hacl-star v0.0.13 (/source)
Dec 07 11:35:19.768 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.98s
Dec 07 11:35:19.777 INFO [stderr] su: No module specific data is present
Dec 07 11:35:20.290 INFO running `"docker" "inspect" "7bd37a3bb00b56ecec35e5791570e898a549db46fce85eac6c86840cc74c822e"`
Dec 07 11:35:20.466 INFO running `"docker" "rm" "-f" "7bd37a3bb00b56ecec35e5791570e898a549db46fce85eac6c86840cc74c822e"`
Dec 07 11:35:20.649 INFO [stdout] 7bd37a3bb00b56ecec35e5791570e898a549db46fce85eac6c86840cc74c822e
Dec 07 11:35:20.654 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-4/try#6eb0fd3ac58f9b16bddb9924a17c3b6c156aa468:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/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:21.056 INFO [stdout] b82660b9331dadce37b74eeb5ce91b6503a5057343a18ace762382cac1df0e8b
Dec 07 11:35:21.062 INFO running `"docker" "start" "-a" "b82660b9331dadce37b74eeb5ce91b6503a5057343a18ace762382cac1df0e8b"`
Dec 07 11:35:21.751 INFO [stderr] usermod: no changes
Dec 07 11:35:21.878 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.09s
Dec 07 11:35:21.878 INFO [stderr]      Running /target/debug/deps/hacl_star-9852b5775febd93f
Dec 07 11:35:21.880 INFO [stdout] 
Dec 07 11:35:21.880 INFO [stdout] running 0 tests
Dec 07 11:35:21.881 INFO [stdout] 
Dec 07 11:35:21.881 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 11:35:21.881 INFO [stdout] 
Dec 07 11:35:21.881 INFO [stderr]      Running /target/debug/deps/box-b6a67266360f486c
Dec 07 11:35:21.885 INFO [stdout] 
Dec 07 11:35:21.885 INFO [stdout] running 2 tests
Dec 07 11:35:21.892 INFO [stdout] test test_secretbox ... ok
Dec 07 11:35:21.892 INFO [stdout] test test_sealedbox ... ok
Dec 07 11:35:21.892 INFO [stdout] 
Dec 07 11:35:21.892 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 11:35:21.892 INFO [stdout] 
Dec 07 11:35:21.893 INFO [stderr]      Running /target/debug/deps/chacha20-f0ddf6f45c24ad25
Dec 07 11:35:21.904 INFO [stdout] 
Dec 07 11:35:21.904 INFO [stdout] running 1 test
Dec 07 11:35:21.904 INFO [stdout] test test_chacha ... ok
Dec 07 11:35:21.904 INFO [stdout] 
Dec 07 11:35:21.904 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 11:35:21.904 INFO [stdout] 
Dec 07 11:35:21.905 INFO [stderr]      Running /target/debug/deps/chacha20poly1305-ddb6e0cf446a3e34
Dec 07 11:35:21.912 INFO [stdout] 
Dec 07 11:35:21.912 INFO [stdout] running 1 test
Dec 07 11:35:21.913 INFO [stdout] test test_aead ... ok
Dec 07 11:35:21.913 INFO [stdout] 
Dec 07 11:35:21.913 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 11:35:21.913 INFO [stdout] 
Dec 07 11:35:21.914 INFO [stderr]      Running /target/debug/deps/curve25519-f6f084044bd94f4d
Dec 07 11:35:21.928 INFO [stdout] 
Dec 07 11:35:21.928 INFO [stdout] running 2 tests
Dec 07 11:35:21.956 INFO [stdout] test test_curve25519 ... ok
Dec 07 11:35:21.956 INFO [stdout] test test_curve25519_kx ... ok
Dec 07 11:35:21.956 INFO [stdout] 
Dec 07 11:35:21.956 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 11:35:21.956 INFO [stdout] 
Dec 07 11:35:21.956 INFO [stderr]      Running /target/debug/deps/ed25519-e2714662053ef7db
Dec 07 11:35:21.962 INFO [stdout] 
Dec 07 11:35:21.962 INFO [stdout] running 1 test
Dec 07 11:35:21.993 INFO [stdout] test test_ed25519 ... ok
Dec 07 11:35:21.993 INFO [stdout] 
Dec 07 11:35:21.993 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 11:35:21.993 INFO [stdout] 
Dec 07 11:35:21.993 INFO [stderr]      Running /target/debug/deps/hmac-3b25d095788fa724
Dec 07 11:35:21.995 INFO [stdout] 
Dec 07 11:35:21.995 INFO [stdout] running 1 test
Dec 07 11:35:22.004 INFO [stdout] test test_hmac_sha256 ... ok
Dec 07 11:35:22.004 INFO [stdout] 
Dec 07 11:35:22.004 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 11:35:22.004 INFO [stdout] 
Dec 07 11:35:22.005 INFO [stderr]      Running /target/debug/deps/poly1305-a94eb497fb0e8154
Dec 07 11:35:22.010 INFO [stdout] 
Dec 07 11:35:22.010 INFO [stdout] running 1 test
Dec 07 11:35:22.010 INFO [stdout] test test_poly1305 ... ok
Dec 07 11:35:22.010 INFO [stdout] 
Dec 07 11:35:22.010 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 11:35:22.010 INFO [stdout] 
Dec 07 11:35:22.010 INFO [stderr]      Running /target/debug/deps/salsa20-507cb76e88f37a04
Dec 07 11:35:22.014 INFO [stdout] 
Dec 07 11:35:22.014 INFO [stdout] running 1 test
Dec 07 11:35:22.014 INFO [stdout] test test_salsa ... ok
Dec 07 11:35:22.014 INFO [stdout] 
Dec 07 11:35:22.014 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 11:35:22.014 INFO [stdout] 
Dec 07 11:35:22.014 INFO [stderr]      Running /target/debug/deps/sha2-fbe93759bb2872ee
Dec 07 11:35:22.016 INFO [stdout] 
Dec 07 11:35:22.016 INFO [stdout] running 3 tests
Dec 07 11:35:22.036 INFO [stdout] test test_sha256 ... ok
Dec 07 11:35:22.039 INFO [stdout] test test_sha512 ... ok
Dec 07 11:35:22.039 INFO [stdout] test test_sha384 ... ok
Dec 07 11:35:22.039 INFO [stdout] 
Dec 07 11:35:22.039 INFO [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 11:35:22.039 INFO [stdout] 
Dec 07 11:35:22.039 INFO [stderr]    Doc-tests hacl-star
Dec 07 11:35:22.754 INFO [stdout] 
Dec 07 11:35:22.754 INFO [stdout] running 0 tests
Dec 07 11:35:22.754 INFO [stdout] 
Dec 07 11:35:22.754 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 11:35:22.754 INFO [stdout] 
Dec 07 11:35:22.761 INFO [stderr] su: No module specific data is present
Dec 07 11:35:23.076 INFO running `"docker" "inspect" "b82660b9331dadce37b74eeb5ce91b6503a5057343a18ace762382cac1df0e8b"`
Dec 07 11:35:23.246 INFO running `"docker" "rm" "-f" "b82660b9331dadce37b74eeb5ce91b6503a5057343a18ace762382cac1df0e8b"`
Dec 07 11:35:23.372 INFO [stdout] b82660b9331dadce37b74eeb5ce91b6503a5057343a18ace762382cac1df0e8b