Nov 18 10:04:47.752 INFO testing hacl-star-0.0.13 against master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c for pr-55982
Nov 18 10:04:47.752 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-6/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"`
Nov 18 10:04:47.888 INFO [stdout] 115a164ed4370f529aa571b9c629d147b26f27ceeb291cb60f2d4bd7dc8d6f01
Nov 18 10:04:47.892 INFO running `"docker" "start" "-a" "115a164ed4370f529aa571b9c629d147b26f27ceeb291cb60f2d4bd7dc8d6f01"`
Nov 18 10:04:48.350 INFO [stderr] usermod: no changes
Nov 18 10:04:48.436 INFO [stderr]    Compiling hacl-star-sys v0.0.7
Nov 18 10:04:50.979 INFO [stderr]    Compiling hacl-star v0.0.13 (/source)
Nov 18 10:04:51.859 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.48s
Nov 18 10:04:51.867 INFO [stderr] su: No module specific data is present
Nov 18 10:04:52.299 INFO running `"docker" "inspect" "115a164ed4370f529aa571b9c629d147b26f27ceeb291cb60f2d4bd7dc8d6f01"`
Nov 18 10:04:52.503 INFO running `"docker" "rm" "-f" "115a164ed4370f529aa571b9c629d147b26f27ceeb291cb60f2d4bd7dc8d6f01"`
Nov 18 10:04:52.702 INFO [stdout] 115a164ed4370f529aa571b9c629d147b26f27ceeb291cb60f2d4bd7dc8d6f01
Nov 18 10:04:52.713 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-6/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"`
Nov 18 10:04:53.049 INFO [stdout] 2616d4cf221940282ae3b999deb9f7760940277080fdc1e2091fc30b9f0621f9
Nov 18 10:04:53.049 INFO running `"docker" "start" "-a" "2616d4cf221940282ae3b999deb9f7760940277080fdc1e2091fc30b9f0621f9"`
Nov 18 10:04:53.996 INFO [stderr] usermod: no changes
Nov 18 10:04:54.222 INFO [stderr]    Compiling hacl-star v0.0.13 (/source)
Nov 18 10:04:59.291 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 5.27s
Nov 18 10:04:59.300 INFO [stderr] su: No module specific data is present
Nov 18 10:04:59.575 INFO running `"docker" "inspect" "2616d4cf221940282ae3b999deb9f7760940277080fdc1e2091fc30b9f0621f9"`
Nov 18 10:04:59.664 INFO running `"docker" "rm" "-f" "2616d4cf221940282ae3b999deb9f7760940277080fdc1e2091fc30b9f0621f9"`
Nov 18 10:04:59.801 INFO [stdout] 2616d4cf221940282ae3b999deb9f7760940277080fdc1e2091fc30b9f0621f9
Nov 18 10:04:59.804 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-6/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"`
Nov 18 10:05:00.042 INFO [stdout] 5b435eeee46fd228006c0c334224a45f941b9840f8d12c40abfecfb490f63773
Nov 18 10:05:00.044 INFO running `"docker" "start" "-a" "5b435eeee46fd228006c0c334224a45f941b9840f8d12c40abfecfb490f63773"`
Nov 18 10:05:00.584 INFO [stderr] usermod: no changes
Nov 18 10:05:00.674 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.07s
Nov 18 10:05:00.679 INFO [stderr]      Running /target/debug/deps/hacl_star-eb25369769581e86
Nov 18 10:05:00.681 INFO [stdout] 
Nov 18 10:05:00.681 INFO [stdout] running 0 tests
Nov 18 10:05:00.681 INFO [stdout] 
Nov 18 10:05:00.681 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 10:05:00.681 INFO [stdout] 
Nov 18 10:05:00.682 INFO [stderr]      Running /target/debug/deps/box-bf8f574c9c70804b
Nov 18 10:05:00.689 INFO [stdout] 
Nov 18 10:05:00.689 INFO [stdout] running 2 tests
Nov 18 10:05:00.692 INFO [stdout] test test_sealedbox ... ok
Nov 18 10:05:00.693 INFO [stdout] test test_secretbox ... ok
Nov 18 10:05:00.693 INFO [stdout] 
Nov 18 10:05:00.693 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 10:05:00.693 INFO [stdout] 
Nov 18 10:05:00.694 INFO [stderr]      Running /target/debug/deps/chacha20-b32fea428c2e37c5
Nov 18 10:05:00.694 INFO [stdout] 
Nov 18 10:05:00.694 INFO [stdout] running 1 test
Nov 18 10:05:00.694 INFO [stdout] test test_chacha ... ok
Nov 18 10:05:00.694 INFO [stdout] 
Nov 18 10:05:00.694 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 10:05:00.694 INFO [stdout] 
Nov 18 10:05:00.696 INFO [stderr]      Running /target/debug/deps/chacha20poly1305-06a63a60b0c170e2
Nov 18 10:05:00.697 INFO [stdout] 
Nov 18 10:05:00.697 INFO [stdout] running 1 test
Nov 18 10:05:00.698 INFO [stderr]      Running /target/debug/deps/curve25519-60c26b06fc4dfabe
Nov 18 10:05:00.699 INFO [stdout] test test_aead ... ok
Nov 18 10:05:00.699 INFO [stdout] 
Nov 18 10:05:00.699 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 10:05:00.699 INFO [stdout] 
Nov 18 10:05:00.699 INFO [stdout] 
Nov 18 10:05:00.700 INFO [stdout] running 2 tests
Nov 18 10:05:00.701 INFO [stdout] test test_curve25519 ... ok
Nov 18 10:05:00.706 INFO [stdout] test test_curve25519_kx ... ok
Nov 18 10:05:00.706 INFO [stdout] 
Nov 18 10:05:00.706 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 10:05:00.706 INFO [stdout] 
Nov 18 10:05:00.707 INFO [stderr]      Running /target/debug/deps/ed25519-f99c657bff7194a6
Nov 18 10:05:00.714 INFO [stdout] 
Nov 18 10:05:00.714 INFO [stdout] running 1 test
Nov 18 10:05:00.727 INFO [stdout] test test_ed25519 ... ok
Nov 18 10:05:00.727 INFO [stdout] 
Nov 18 10:05:00.727 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 10:05:00.727 INFO [stdout] 
Nov 18 10:05:00.728 INFO [stderr]      Running /target/debug/deps/hmac-a31ca7f6eeede375
Nov 18 10:05:00.730 INFO [stdout] 
Nov 18 10:05:00.730 INFO [stdout] running 1 test
Nov 18 10:05:00.731 INFO [stdout] test test_hmac_sha256 ... ok
Nov 18 10:05:00.731 INFO [stdout] 
Nov 18 10:05:00.731 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 10:05:00.731 INFO [stdout] 
Nov 18 10:05:00.732 INFO [stderr]      Running /target/debug/deps/poly1305-1fa74b83187c4012
Nov 18 10:05:00.734 INFO [stdout] 
Nov 18 10:05:00.734 INFO [stdout] running 1 test
Nov 18 10:05:00.734 INFO [stdout] test test_poly1305 ... ok
Nov 18 10:05:00.734 INFO [stdout] 
Nov 18 10:05:00.734 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 10:05:00.734 INFO [stdout] 
Nov 18 10:05:00.736 INFO [stderr]      Running /target/debug/deps/salsa20-2bcc24e7dddbe1bd
Nov 18 10:05:00.739 INFO [stdout] 
Nov 18 10:05:00.739 INFO [stdout] running 1 test
Nov 18 10:05:00.739 INFO [stdout] test test_salsa ... ok
Nov 18 10:05:00.739 INFO [stdout] 
Nov 18 10:05:00.739 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 10:05:00.739 INFO [stdout] 
Nov 18 10:05:00.740 INFO [stderr]      Running /target/debug/deps/sha2-c9a40fea29741176
Nov 18 10:05:00.744 INFO [stdout] 
Nov 18 10:05:00.744 INFO [stdout] running 3 tests
Nov 18 10:05:00.744 INFO [stdout] test test_sha512 ... ok
Nov 18 10:05:00.745 INFO [stdout] test test_sha256 ... ok
Nov 18 10:05:00.746 INFO [stdout] test test_sha384 ... ok
Nov 18 10:05:00.746 INFO [stdout] 
Nov 18 10:05:00.746 INFO [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 10:05:00.746 INFO [stdout] 
Nov 18 10:05:00.746 INFO [stderr]    Doc-tests hacl-star
Nov 18 10:05:01.615 INFO [stdout] 
Nov 18 10:05:01.615 INFO [stdout] running 0 tests
Nov 18 10:05:01.615 INFO [stdout] 
Nov 18 10:05:01.615 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 10:05:01.615 INFO [stdout] 
Nov 18 10:05:01.630 INFO [stderr] su: No module specific data is present
Nov 18 10:05:01.917 INFO running `"docker" "inspect" "5b435eeee46fd228006c0c334224a45f941b9840f8d12c40abfecfb490f63773"`
Nov 18 10:05:02.024 INFO running `"docker" "rm" "-f" "5b435eeee46fd228006c0c334224a45f941b9840f8d12c40abfecfb490f63773"`
Nov 18 10:05:02.185 INFO [stdout] 5b435eeee46fd228006c0c334224a45f941b9840f8d12c40abfecfb490f63773