[INFO] cloning repository https://github.com/LeoMansini/move_to_rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/LeoMansini/move_to_rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLeoMansini%2Fmove_to_rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLeoMansini%2Fmove_to_rust'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 114e7c53a47b0e5c2ae4ebc4949ff6947f689ae1
[INFO] testing LeoMansini/move_to_rust against try#9f93af291970322f4f1c6315ccde4d7078201159 for pr-146098-6
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLeoMansini%2Fmove_to_rust" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/LeoMansini/move_to_rust
[INFO] finished tweaking git repo https://github.com/LeoMansini/move_to_rust
[INFO] tweaked toml for git repo https://github.com/LeoMansini/move_to_rust written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/LeoMansini/move_to_rust on toolchain 9f93af291970322f4f1c6315ccde4d7078201159
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9f93af291970322f4f1c6315ccde4d7078201159" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/LeoMansini/move_to_rust 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" "+9f93af291970322f4f1c6315ccde4d7078201159" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded os_info v3.8.2
[INFO] [stderr]   Downloaded kani-verifier v0.55.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+9f93af291970322f4f1c6315ccde4d7078201159" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dd7c62efa03ee3a1a93ea715666282e3b32607cfa47edb066b421bb7945e6e03
[INFO] running `Command { std: "docker" "start" "-a" "dd7c62efa03ee3a1a93ea715666282e3b32607cfa47edb066b421bb7945e6e03", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dd7c62efa03ee3a1a93ea715666282e3b32607cfa47edb066b421bb7945e6e03", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dd7c62efa03ee3a1a93ea715666282e3b32607cfa47edb066b421bb7945e6e03", kill_on_drop: false }`
[INFO] [stdout] dd7c62efa03ee3a1a93ea715666282e3b32607cfa47edb066b421bb7945e6e03
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+9f93af291970322f4f1c6315ccde4d7078201159" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] fbd14b090f1ffd857e62cec81e704468031c16e876ff60817516e91d31048810
[INFO] running `Command { std: "docker" "start" "-a" "fbd14b090f1ffd857e62cec81e704468031c16e876ff60817516e91d31048810", kill_on_drop: false }`
[INFO] [stderr]    Compiling kani-verifier v0.55.0
[INFO] [stderr]    Compiling os_info v3.8.2
[INFO] [stderr]    Compiling move_to_rust v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0432]: unresolved import `kani`
[INFO] [stdout]  --> src/harnesses/dschief_harnesses.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use kani::Arbitrary;
[INFO] [stdout]   |     ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]  --> src/harnesses/simple_warrior_harnesses.rs:5:3
[INFO] [stdout]   |
[INFO] [stdout] 5 | #[kani::proof]
[INFO] [stdout]   |   ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/simple_warrior_harnesses.rs:13:3
[INFO] [stdout]    |
[INFO] [stdout] 13 | #[kani::proof]
[INFO] [stdout]    |   ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/simple_warrior_harnesses.rs:14:3
[INFO] [stdout]    |
[INFO] [stdout] 14 | #[kani::should_panic]
[INFO] [stdout]    |   ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/simple_warrior_harnesses.rs:21:3
[INFO] [stdout]    |
[INFO] [stdout] 21 | #[kani::proof]
[INFO] [stdout]    |   ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/simple_warrior_harnesses.rs:22:3
[INFO] [stdout]    |
[INFO] [stdout] 22 | #[kani::should_panic]
[INFO] [stdout]    |   ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/simple_warrior_harnesses.rs:31:3
[INFO] [stdout]    |
[INFO] [stdout] 31 | #[kani::proof]
[INFO] [stdout]    |   ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/simple_warrior_harnesses.rs:32:3
[INFO] [stdout]    |
[INFO] [stdout] 32 | #[kani::unwind(5)]
[INFO] [stdout]    |   ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]  --> src/harnesses/inorder_harnesses.rs:3:3
[INFO] [stdout]   |
[INFO] [stdout] 3 | #[kani::proof]
[INFO] [stdout]   |   ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]  --> src/harnesses/inorder_harnesses.rs:4:3
[INFO] [stdout]   |
[INFO] [stdout] 4 | #[kani::unwind(5)]
[INFO] [stdout]   |   ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]    --> src/harnesses/dschief_harnesses.rs:106:3
[INFO] [stdout]     |
[INFO] [stdout] 106 | #[kani::proof]
[INFO] [stdout]     |   ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/example_kani.rs:12:3
[INFO] [stdout]    |
[INFO] [stdout] 12 | #[kani::proof]
[INFO] [stdout]    |   ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/example_kani.rs:15:22
[INFO] [stdout]    |
[INFO] [stdout] 15 |     let v: Vec<u8> = kani::vec::any_vec::<u8, 5>();
[INFO] [stdout]    |                      ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `simple_warrior__example` should have an upper camel case name
[INFO] [stdout]   --> src/example_contracts/simple_warrior/simple_warrior.rs:43:12
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub struct simple_warrior__example {}
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SimpleWarriorExample`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_camel_case_types)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `flashloan__flashloan` should have an upper camel case name
[INFO] [stdout]   --> src/example_contracts/flashloan/flashloan.rs:50:12
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub struct flashloan__flashloan {}
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `FlashloanFlashloan`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `inorder__inorder` should have an upper camel case name
[INFO] [stdout]   --> src/example_contracts/inorder/inorder.rs:41:12
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub struct inorder__inorder {}
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `InorderInorder`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `SimpleDSChief__SimpleDSChief` should have an upper camel case name
[INFO] [stdout]   --> src/example_contracts/simple_ds_chief/simple_ds_chief.rs:43:12
[INFO] [stdout]    |
[INFO] [stdout] 43 | pub struct SimpleDSChief__SimpleDSChief {}
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SimpleDschiefSimpleDschief`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `sui__coin` should have an upper camel case name
[INFO] [stdout]   --> src/sui_std/coin/coin.rs:33:12
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub struct sui__coin {}
[INFO] [stdout]    |            ^^^^^^^^^ help: convert the identifier to upper camel case: `SuiCoin`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::sui_std::transfer::transfer`
[INFO] [stdout]  --> src/sui_std/transfer/transfer.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::sui_std::transfer::transfer;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unknown lint: `unused_const`
[INFO] [stdout]   --> src/sui_std/transfer/transfer.rs:30:9
[INFO] [stdout]    |
[INFO] [stdout] 30 | #[allow(unused_const)]
[INFO] [stdout]    |         ^^^^^^^^^^^^ help: did you mean: `unused_mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unknown_lints)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `sui__transfer` should have an upper camel case name
[INFO] [stdout]   --> src/sui_std/transfer/transfer.rs:31:12
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub struct sui__transfer {}
[INFO] [stdout]    |            ^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `SuiTransfer`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unknown lint: `unused_const`
[INFO] [stdout]   --> src/sui_std/transfer/transfer.rs:49:9
[INFO] [stdout]    |
[INFO] [stdout] 49 | #[allow(unused_const)]
[INFO] [stdout]    |         ^^^^^^^^^^^^ help: did you mean: `unused_mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unknown lint: `unused_const`
[INFO] [stdout]   --> src/sui_std/transfer/transfer.rs:53:9
[INFO] [stdout]    |
[INFO] [stdout] 53 | #[allow(unused_const)]
[INFO] [stdout]    |         ^^^^^^^^^^^^ help: did you mean: `unused_mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unknown lint: `unused_const`
[INFO] [stdout]   --> src/sui_std/transfer/transfer.rs:57:9
[INFO] [stdout]    |
[INFO] [stdout] 57 | #[allow(unused_const)]
[INFO] [stdout]    |         ^^^^^^^^^^^^ help: did you mean: `unused_mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unknown lint: `unused_const`
[INFO] [stdout]   --> src/sui_std/transfer/transfer.rs:62:9
[INFO] [stdout]    |
[INFO] [stdout] 62 | #[allow(unused_const)]
[INFO] [stdout]    |         ^^^^^^^^^^^^ help: did you mean: `unused_mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: denote infinite loops with `loop { ... }`
[INFO] [stdout]   --> src/harnesses/simple_warrior_harnesses.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 |     while true {
[INFO] [stdout]    |     ^^^^^^^^^^ help: use `loop`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(while_true)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: denote infinite loops with `loop { ... }`
[INFO] [stdout]  --> src/harnesses/inorder_harnesses.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     while true {
[INFO] [stdout]   |     ^^^^^^^^^^ help: use `loop`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/simple_warrior_harnesses.rs:37:21
[INFO] [stdout]    |
[INFO] [stdout] 37 |         let x: u8 = kani::any();
[INFO] [stdout]    |                     ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/simple_warrior_harnesses.rs:38:9
[INFO] [stdout]    |
[INFO] [stdout] 38 |         kani::assume(x < 2);
[INFO] [stdout]    |         ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]  --> src/harnesses/inorder_harnesses.rs:8:21
[INFO] [stdout]   |
[INFO] [stdout] 8 |         let x: u8 = kani::any();
[INFO] [stdout]   |                     ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]  --> src/harnesses/inorder_harnesses.rs:9:9
[INFO] [stdout]   |
[INFO] [stdout] 9 |         kani::assume(x < 3);
[INFO] [stdout]   |         ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]  --> src/harnesses/dschief_harnesses.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     kani::any_where(|x: &u64| *x == 0 || *x == 1 || *x == 2)
[INFO] [stdout]   |     ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   |
[INFO] [stdout]   = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/dschief_harnesses.rs:29:5
[INFO] [stdout]    |
[INFO] [stdout] 29 |     kani::assume(size < 3); // Limit the map size
[INFO] [stdout]    |     ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/dschief_harnesses.rs:32:22
[INFO] [stdout]    |
[INFO] [stdout] 32 |         let key: K = kani::any();
[INFO] [stdout]    |                      ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/dschief_harnesses.rs:33:24
[INFO] [stdout]    |
[INFO] [stdout] 33 |         let value: V = kani::any();
[INFO] [stdout]    |                        ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/dschief_harnesses.rs:59:24
[INFO] [stdout]    |
[INFO] [stdout] 59 |         let size: u8 = kani::any_where(|x| *x > 0 && *x <= 5); // Prevent excessive keys
[INFO] [stdout]    |                        ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/dschief_harnesses.rs:80:21
[INFO] [stdout]    |
[INFO] [stdout] 80 |             slates: kani::any(),
[INFO] [stdout]    |                     ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/dschief_harnesses.rs:86:13
[INFO] [stdout]    |
[INFO] [stdout] 86 |             kani::assume(*key == 0 || *key == 1 || *key == 2);
[INFO] [stdout]    |             ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]   --> src/harnesses/dschief_harnesses.rs:99:22
[INFO] [stdout]    |
[INFO] [stdout] 99 |     let idx: usize = kani::any_where(|x| *x < keys.len()); // Ensure the index is valid
[INFO] [stdout]    |                      ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]    |
[INFO] [stdout]    = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `kani`
[INFO] [stdout]    --> src/harnesses/dschief_harnesses.rs:108:32
[INFO] [stdout]     |
[INFO] [stdout] 108 |     let mut dschief: DSChief = kani::any();
[INFO] [stdout]     |                                ^^^^ use of unresolved module or unlinked crate `kani`
[INFO] [stdout]     |
[INFO] [stdout]     = help: if you wanted to use a crate named `kani`, use `cargo add kani` to add it to your `Cargo.toml`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `move_to_rust` (bin "move_to_rust") due to 26 previous errors; 14 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "fbd14b090f1ffd857e62cec81e704468031c16e876ff60817516e91d31048810", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fbd14b090f1ffd857e62cec81e704468031c16e876ff60817516e91d31048810", kill_on_drop: false }`
[INFO] [stdout] fbd14b090f1ffd857e62cec81e704468031c16e876ff60817516e91d31048810