Dec 03 06:20:13.664 INFO testing hacl-star-0.0.13 against 1.30.1 for beta-1.31-5
Dec 03 06:20:13.664 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-1/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/beta-1.31-5/1.30.1:/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 +1.30.1 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 06:20:13.920 INFO [stdout] 66f13afac697453405b3726e665eb1d985ce6603fd1a86adefeb452ae79ba845
Dec 03 06:20:13.924 INFO running `"docker" "start" "-a" "66f13afac697453405b3726e665eb1d985ce6603fd1a86adefeb452ae79ba845"`
Dec 03 06:20:14.659 INFO [stderr] usermod: no changes
Dec 03 06:20:14.743 INFO [stderr]    Compiling hacl-star-sys v0.0.7
Dec 03 06:20:18.743 INFO [stderr]    Compiling hacl-star v0.0.13 (/source)
Dec 03 06:20:19.963 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 5.28s
Dec 03 06:20:19.965 INFO [stderr] su: No module specific data is present
Dec 03 06:20:20.606 INFO running `"docker" "inspect" "66f13afac697453405b3726e665eb1d985ce6603fd1a86adefeb452ae79ba845"`
Dec 03 06:20:20.727 INFO running `"docker" "rm" "-f" "66f13afac697453405b3726e665eb1d985ce6603fd1a86adefeb452ae79ba845"`
Dec 03 06:20:20.883 INFO [stdout] 66f13afac697453405b3726e665eb1d985ce6603fd1a86adefeb452ae79ba845
Dec 03 06:20:20.887 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-1/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 06:20:21.222 INFO [stdout] bb0cc19c6d84572632bd6a08a3653551f20c99e27d2c29ff01e937494af1d86d
Dec 03 06:20:21.224 INFO running `"docker" "start" "-a" "bb0cc19c6d84572632bd6a08a3653551f20c99e27d2c29ff01e937494af1d86d"`
Dec 03 06:20:21.631 INFO [stderr] usermod: no changes
Dec 03 06:20:21.740 INFO [stderr]    Compiling hacl-star v0.0.13 (/source)
Dec 03 06:20:27.715 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 6.05s
Dec 03 06:20:27.727 INFO [stderr] su: No module specific data is present
Dec 03 06:20:28.133 INFO running `"docker" "inspect" "bb0cc19c6d84572632bd6a08a3653551f20c99e27d2c29ff01e937494af1d86d"`
Dec 03 06:20:28.417 INFO running `"docker" "rm" "-f" "bb0cc19c6d84572632bd6a08a3653551f20c99e27d2c29ff01e937494af1d86d"`
Dec 03 06:20:28.551 INFO [stdout] bb0cc19c6d84572632bd6a08a3653551f20c99e27d2c29ff01e937494af1d86d
Dec 03 06:20:28.553 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-1/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 06:20:28.775 INFO [stdout] 636c8e7e4a9463a758445ee5105a5ab4bdb98c50e0c53c8e4d54a6a2379b4e3c
Dec 03 06:20:28.781 INFO running `"docker" "start" "-a" "636c8e7e4a9463a758445ee5105a5ab4bdb98c50e0c53c8e4d54a6a2379b4e3c"`
Dec 03 06:20:29.806 INFO [stderr] usermod: no changes
Dec 03 06:20:29.897 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.07s
Dec 03 06:20:29.900 INFO [stderr]      Running /target/debug/deps/hacl_star-5414d2313c0b6448
Dec 03 06:20:29.919 INFO [stderr]      Running /target/debug/deps/box-ef3b9e857b9c09d8
Dec 03 06:20:29.919 INFO [stdout] 
Dec 03 06:20:29.919 INFO [stdout] running 0 tests
Dec 03 06:20:29.919 INFO [stdout] 
Dec 03 06:20:29.919 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:20:29.919 INFO [stdout] 
Dec 03 06:20:29.927 INFO [stdout] 
Dec 03 06:20:29.927 INFO [stdout] running 2 tests
Dec 03 06:20:29.935 INFO [stdout] test test_sealedbox ... ok
Dec 03 06:20:29.935 INFO [stdout] test test_secretbox ... ok
Dec 03 06:20:29.935 INFO [stdout] 
Dec 03 06:20:29.935 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:20:29.935 INFO [stdout] 
Dec 03 06:20:29.939 INFO [stderr]      Running /target/debug/deps/chacha20-55a318bc5163f4dd
Dec 03 06:20:29.943 INFO [stderr]      Running /target/debug/deps/chacha20poly1305-34c567d901cd57cf
Dec 03 06:20:29.943 INFO [stdout] 
Dec 03 06:20:29.943 INFO [stdout] running 1 test
Dec 03 06:20:29.943 INFO [stdout] test test_chacha ... ok
Dec 03 06:20:29.943 INFO [stdout] 
Dec 03 06:20:29.943 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:20:29.943 INFO [stdout] 
Dec 03 06:20:29.951 INFO [stdout] 
Dec 03 06:20:29.951 INFO [stderr]      Running /target/debug/deps/curve25519-72d352a73170b1ef
Dec 03 06:20:29.951 INFO [stdout] running 1 test
Dec 03 06:20:29.951 INFO [stdout] test test_aead ... ok
Dec 03 06:20:29.951 INFO [stdout] 
Dec 03 06:20:29.951 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:20:29.951 INFO [stdout] 
Dec 03 06:20:29.967 INFO [stdout] 
Dec 03 06:20:29.967 INFO [stdout] running 2 tests
Dec 03 06:20:29.967 INFO [stdout] test test_curve25519 ... ok
Dec 03 06:20:29.969 INFO [stdout] test test_curve25519_kx ... ok
Dec 03 06:20:29.969 INFO [stderr]      Running /target/debug/deps/ed25519-525c3ffd460a86be
Dec 03 06:20:29.969 INFO [stdout] 
Dec 03 06:20:29.969 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:20:29.969 INFO [stdout] 
Dec 03 06:20:29.979 INFO [stdout] 
Dec 03 06:20:29.979 INFO [stdout] running 1 test
Dec 03 06:20:30.000 INFO [stdout] test test_ed25519 ... ok
Dec 03 06:20:30.000 INFO [stdout] 
Dec 03 06:20:30.000 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:20:30.000 INFO [stdout] 
Dec 03 06:20:30.003 INFO [stderr]      Running /target/debug/deps/hmac-57d501bbf288912c
Dec 03 06:20:30.015 INFO [stdout] 
Dec 03 06:20:30.015 INFO [stdout] running 1 test
Dec 03 06:20:30.016 INFO [stdout] test test_hmac_sha256 ... ok
Dec 03 06:20:30.016 INFO [stderr]      Running /target/debug/deps/poly1305-9eab3e1f8b62601e
Dec 03 06:20:30.016 INFO [stdout] 
Dec 03 06:20:30.016 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:20:30.016 INFO [stdout] 
Dec 03 06:20:30.018 INFO [stdout] 
Dec 03 06:20:30.018 INFO [stderr]      Running /target/debug/deps/salsa20-69bf0190c6d0eb7f
Dec 03 06:20:30.018 INFO [stdout] running 1 test
Dec 03 06:20:30.018 INFO [stdout] test test_poly1305 ... ok
Dec 03 06:20:30.018 INFO [stdout] 
Dec 03 06:20:30.018 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:20:30.018 INFO [stdout] 
Dec 03 06:20:30.027 INFO [stdout] 
Dec 03 06:20:30.027 INFO [stderr]      Running /target/debug/deps/sha2-0df059edcaeed16c
Dec 03 06:20:30.027 INFO [stdout] running 1 test
Dec 03 06:20:30.027 INFO [stdout] test test_salsa ... ok
Dec 03 06:20:30.027 INFO [stdout] 
Dec 03 06:20:30.027 INFO [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:20:30.027 INFO [stdout] 
Dec 03 06:20:30.027 INFO [stdout] 
Dec 03 06:20:30.027 INFO [stdout] running 3 tests
Dec 03 06:20:30.027 INFO [stdout] test test_sha384 ... ok
Dec 03 06:20:30.027 INFO [stdout] test test_sha256 ... ok
Dec 03 06:20:30.039 INFO [stdout] test test_sha512 ... ok
Dec 03 06:20:30.039 INFO [stdout] 
Dec 03 06:20:30.039 INFO [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:20:30.039 INFO [stdout] 
Dec 03 06:20:30.039 INFO [stderr]    Doc-tests hacl-star
Dec 03 06:20:31.571 INFO [stdout] 
Dec 03 06:20:31.571 INFO [stdout] running 0 tests
Dec 03 06:20:31.571 INFO [stdout] 
Dec 03 06:20:31.571 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:20:31.571 INFO [stdout] 
Dec 03 06:20:31.577 INFO [stderr] su: No module specific data is present
Dec 03 06:20:32.055 INFO running `"docker" "inspect" "636c8e7e4a9463a758445ee5105a5ab4bdb98c50e0c53c8e4d54a6a2379b4e3c"`
Dec 03 06:20:32.168 INFO running `"docker" "rm" "-f" "636c8e7e4a9463a758445ee5105a5ab4bdb98c50e0c53c8e4d54a6a2379b4e3c"`
Dec 03 06:20:32.484 INFO [stdout] 636c8e7e4a9463a758445ee5105a5ab4bdb98c50e0c53c8e4d54a6a2379b4e3c
