[INFO] fetching crate core-models 0.0.7...
[INFO] testing core-models-0.0.7 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate core-models 0.0.7 into /workspace/builds/worker-7-tc2/source
[INFO] started tweaking crates.io crate core-models 0.0.7
[INFO] finished tweaking crates.io crate core-models 0.0.7
[INFO] tweaked toml for crates.io crate core-models 0.0.7 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate core-models 0.0.7 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate core-models 0.0.7 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:29:12
[INFO] [stderr]    |
[INFO] [stderr] 29 | homepage = "https://github.com/cryspen/libcrux"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 33 | repository = "https://github.com/cryspen/libcrux"
[INFO] [stderr]    |              ------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `core-models` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] a6d59d184158fbd6746717b6f6a7f4a938c64532a3f41e6131dcd009b1de95b0
[INFO] running `Command { std: "docker" "start" "a6d59d184158fbd6746717b6f6a7f4a938c64532a3f41e6131dcd009b1de95b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a6d59d184158fbd6746717b6f6a7f4a938c64532a3f41e6131dcd009b1de95b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "a6d59d184158fbd6746717b6f6a7f4a938c64532a3f41e6131dcd009b1de95b0" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a6d59d184158fbd6746717b6f6a7f4a938c64532a3f41e6131dcd009b1de95b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "a6d59d184158fbd6746717b6f6a7f4a938c64532a3f41e6131dcd009b1de95b0" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:29:12
[INFO] [stderr]    |
[INFO] [stderr] 29 | homepage = "https://github.com/cryspen/libcrux"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 33 | repository = "https://github.com/cryspen/libcrux"
[INFO] [stderr]    |              ------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `core-models` (manifest) generated 1 warning
[INFO] [stderr]    Compiling quote v1.0.41
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling hax-lib v0.3.7
[INFO] [stderr]    Compiling pastey v0.2.0
[INFO] [stderr]    Compiling rand v0.10.1
[INFO] [stderr]    Compiling syn v2.0.108
[INFO] [stderr]    Compiling hax-lib-macros v0.3.7
[INFO] [stderr]    Compiling core-models v0.0.7 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 8.74s
[INFO] running `Command { std: "docker" "inspect" "a6d59d184158fbd6746717b6f6a7f4a938c64532a3f41e6131dcd009b1de95b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "a6d59d184158fbd6746717b6f6a7f4a938c64532a3f41e6131dcd009b1de95b0" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:29:12
[INFO] [stderr]    |
[INFO] [stderr] 29 | homepage = "https://github.com/cryspen/libcrux"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 33 | repository = "https://github.com/cryspen/libcrux"
[INFO] [stderr]    |              ------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `core-models` (manifest) generated 1 warning
[INFO] [stderr]    Compiling core-models v0.0.7 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 2m 10s
[INFO] running `Command { std: "docker" "inspect" "a6d59d184158fbd6746717b6f6a7f4a938c64532a3f41e6131dcd009b1de95b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "a6d59d184158fbd6746717b6f6a7f4a938c64532a3f41e6131dcd009b1de95b0" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:29:12
[INFO] [stderr]    |
[INFO] [stderr] 29 | homepage = "https://github.com/cryspen/libcrux"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 33 | repository = "https://github.com/cryspen/libcrux"
[INFO] [stderr]    |              ------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `core-models` (manifest) generated 1 warning
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.05s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/core-models/cde8b5732cec9f20/out/core_models-cde8b5732cec9f20)
[INFO] [stdout] 
[INFO] [stdout] running 66 tests
[INFO] [stdout] test abstractions::bitvec::int_vec_interp::direct_convertions_tests::into_i64x4 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_castps_si256 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_abs_epi32_min ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_castsi256_ps ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_add_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_add_epi16 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_castsi128_si256 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_cvtepi16_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_inserti128_si256 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_abs_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_movemask_ps ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_set1_epi16 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_and_si256 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_set1_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_andnot_si256 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_set_epi64x ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_cmpgt_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_bsrli_epi128 ... FAILED
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_mul_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_set_m128i ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_sign_epi32_min ... ok
[INFO] [stdout] test abstractions::bitvec::int_vec_interp::direct_convertions_tests::into_i32x8 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_setzero_si256 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_add_epi64 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_or_si256 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_set1_epi64x ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_mullo_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_packs_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_cmpgt_epi16 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_sign_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_blendv_ps ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_shuffle_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_srlv_epi64 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_testz_si256 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_unpacklo_epi64 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_sub_epi16 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_xor_si256 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_sub_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm_set_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm_movemask_epi8 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm_add_epi16 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm_set1_epi16 ... ok
[INFO] [stdout] test core_arch::x86::tests::mm256_castsi256_si128 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm_mullo_epi16 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm_mulhi_epi16 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm_packs_epi16 ... ok
[INFO] [stdout] test core_arch::x86::tests::mm256_extracti128_si256 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm_sllv_epi32 ... ok
[INFO] [stdout] test core_arch::x86::tests::mm256_mullo_epi16_shifts ... ok
[INFO] [stdout] test core_arch::x86::tests::mm256_permutevar8x32_epi32 ... ok
[INFO] [stdout] test core_arch::x86::tests::mm256_shuffle_epi8 ... ok
[INFO] [stdout] test core_arch::x86::tests::mm256_sllv_epi32 ... ok
[INFO] [stdout] test core_arch::x86::tests::mm_shuffle_epi8 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_srai_epi32 ... ok
[INFO] [stdout] test core_arch::x86::tests::mm256_srlv_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_slli_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_srai_epi16 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_slli_epi64 ... ok
[INFO] [stdout] test core_arch::x86::tests::mm256_slli_epi16 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_blend_epi16 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_permute2x128_si256 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_srli_epi32 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm_srli_epi64 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_srli_epi16 ... ok
[INFO] [stdout] test core_arch::x86::interpretations::int_vec::tests::_mm256_blend_epi32 ... ok
[INFO] [stdout] test core_arch::x86::tests::mm256_srli_epi64 ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- core_arch::x86::interpretations::int_vec::tests::_mm256_bsrli_epi128 stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'core_arch::x86::interpretations::int_vec::tests::_mm256_bsrli_epi128' (383) panicked at src/core_arch/x86/interpretations.rs:866:9:
[INFO] [stdout] assertion `left == right` failed
[INFO] [stdout]   left: [169527684625305359825771726681406837574, 104228609465223796859618364971952293779]
[INFO] [stdout]  right: [0, 0]
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x6264e66877b1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x6264e669bada - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x6264e668b9cc - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x6264e6663c16 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x6264e667fe49 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x6264e661ba20 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x6264e6680002 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x6264e6663cc2 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x6264e665c9d9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x6264e66648cd - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x6264e669c20c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x6264e669c123 - core[a373ad73a504971]::panicking::assert_failed_inner
[INFO] [stdout]   12:     0x6264e660ca68 - core[a373ad73a504971]::panicking::assert_failed::<core_models[6b80ebb0e49d2678]::abstractions::funarr::FunArray<2u64, i128>, core_models[6b80ebb0e49d2678]::abstractions::funarr::FunArray<2u64, i128>>
[INFO] [stdout]   13:     0x6264e657bf40 - core_models[6b80ebb0e49d2678]::core_arch::x86::interpretations::int_vec::tests::_mm256_bsrli_epi128
[INFO] [stdout]   14:     0x6264e65e10a9 - <core_models[6b80ebb0e49d2678]::core_arch::x86::interpretations::int_vec::tests::_mm256_bsrli_epi128::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x6264e660ee6b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   16:     0x6264e661c045 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   17:     0x6264e6615934 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x6264e661f0d2 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x6264e668700f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x7ec9a38c8dfa - <unknown>
[INFO] [stdout]   21:     0x7ec9a395c3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     core_arch::x86::interpretations::int_vec::tests::_mm256_bsrli_epi128
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 65 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.13s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "a6d59d184158fbd6746717b6f6a7f4a938c64532a3f41e6131dcd009b1de95b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a6d59d184158fbd6746717b6f6a7f4a938c64532a3f41e6131dcd009b1de95b0", kill_on_drop: false }`
[INFO] [stdout] a6d59d184158fbd6746717b6f6a7f4a938c64532a3f41e6131dcd009b1de95b0
