[INFO] cloning repository https://github.com/oggy-dfin/tla-instrumentation
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/oggy-dfin/tla-instrumentation" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foggy-dfin%2Ftla-instrumentation", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foggy-dfin%2Ftla-instrumentation'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 337ecae91f5be288a351539eb112bf4321622964
[INFO] testing oggy-dfin/tla-instrumentation against beta-2025-10-28 for beta-1.92-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foggy-dfin%2Ftla-instrumentation" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/oggy-dfin/tla-instrumentation
[INFO] finished tweaking git repo https://github.com/oggy-dfin/tla-instrumentation
[INFO] tweaked toml for git repo https://github.com/oggy-dfin/tla-instrumentation written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/oggy-dfin/tla-instrumentation on toolchain beta-2025-10-28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/oggy-dfin/tla-instrumentation 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" "+beta-2025-10-28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "+beta-2025-10-28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dd7d481de5b74ca19fa79cfc8191f6e60340c3d5a0f92c7d97bf75e61c5000a2
[INFO] running `Command { std: "docker" "start" "-a" "dd7d481de5b74ca19fa79cfc8191f6e60340c3d5a0f92c7d97bf75e61c5000a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dd7d481de5b74ca19fa79cfc8191f6e60340c3d5a0f92c7d97bf75e61c5000a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dd7d481de5b74ca19fa79cfc8191f6e60340c3d5a0f92c7d97bf75e61c5000a2", kill_on_drop: false }`
[INFO] [stdout] dd7d481de5b74ca19fa79cfc8191f6e60340c3d5a0f92c7d97bf75e61c5000a2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2025-10-28" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 029edf49cde2b8a837514ca0e697dd73cd76765964f6c783b747fd0a085df9c0
[INFO] running `Command { std: "docker" "start" "-a" "029edf49cde2b8a837514ca0e697dd73cd76765964f6c783b747fd0a085df9c0", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling typenum v1.17.0
[INFO] [stderr]    Compiling cc v1.0.100
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling rustversion v1.0.17
[INFO] [stderr]    Compiling thiserror v1.0.61
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling either v1.12.0
[INFO] [stderr]    Compiling cpufeatures v0.2.12
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling anyhow v1.0.86
[INFO] [stderr]    Compiling crc32fast v1.4.2
[INFO] [stderr]    Compiling arrayvec v0.5.2
[INFO] [stderr]    Compiling unicode-width v0.1.13
[INFO] [stderr]    Compiling data-encoding v2.6.0
[INFO] [stderr]    Compiling typed-arena v2.0.2
[INFO] [stderr]    Compiling leb128 v0.2.5
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling local_key v0.1.0 (/opt/rustwide/workdir/local_key)
[INFO] [stderr]    Compiling pretty v0.12.3
[INFO] [stderr]    Compiling psm v0.1.21
[INFO] [stderr]    Compiling stacker v0.1.15
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling syn v2.0.68
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.6
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling sha2 v0.10.8
[INFO] [stderr]    Compiling serde_derive v1.0.203
[INFO] [stderr]    Compiling thiserror-impl v1.0.61
[INFO] [stderr]    Compiling candid_derive v0.6.6
[INFO] [stderr]    Compiling binread_derive v2.1.0
[INFO] [stderr]    Compiling tla_instrumentation_proc_macros v0.1.0 (/opt/rustwide/workdir/tla_instrumentation_proc_macros)
[INFO] [stderr]    Compiling binread v2.2.0
[INFO] [stderr]    Compiling num-bigint v0.4.5
[INFO] [stderr]    Compiling serde_bytes v0.11.14
[INFO] [stderr]    Compiling ic_principal v0.1.1
[INFO] [stderr]    Compiling candid v0.10.9
[INFO] [stderr]    Compiling tla_instrumentation v0.1.0 (/opt/rustwide/workdir/tla_instrumentation)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 26.89s
[INFO] running `Command { std: "docker" "inspect" "029edf49cde2b8a837514ca0e697dd73cd76765964f6c783b747fd0a085df9c0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "029edf49cde2b8a837514ca0e697dd73cd76765964f6c783b747fd0a085df9c0", kill_on_drop: false }`
[INFO] [stdout] 029edf49cde2b8a837514ca0e697dd73cd76765964f6c783b747fd0a085df9c0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2025-10-28" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3c356046e343e07862051c999c1dea8c112c929f91b40edc2550ad8a863cd89e
[INFO] running `Command { std: "docker" "start" "-a" "3c356046e343e07862051c999c1dea8c112c929f91b40edc2550ad8a863cd89e", kill_on_drop: false }`
[INFO] [stderr]    Compiling futures-core v0.3.30
[INFO] [stderr]    Compiling tokio v1.39.2
[INFO] [stderr]    Compiling syn v2.0.68
[INFO] [stderr]    Compiling bytes v1.6.1
[INFO] [stderr]    Compiling local_key v0.1.0 (/opt/rustwide/workdir/local_key)
[INFO] [stderr]    Compiling tla_instrumentation_proc_macros v0.1.0 (/opt/rustwide/workdir/tla_instrumentation_proc_macros)
[INFO] [stderr]    Compiling tokio-stream v0.1.15
[INFO] [stderr]    Compiling serde_derive v1.0.203
[INFO] [stderr]    Compiling thiserror-impl v1.0.61
[INFO] [stderr]    Compiling candid_derive v0.6.6
[INFO] [stderr]    Compiling async-stream-impl v0.3.5
[INFO] [stderr]    Compiling async-stream v0.3.5
[INFO] [stderr]    Compiling tokio-test v0.4.4
[INFO] [stderr]    Compiling thiserror v1.0.61
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]    Compiling ic_principal v0.1.1
[INFO] [stderr]    Compiling serde_bytes v0.11.14
[INFO] [stderr]    Compiling num-bigint v0.4.5
[INFO] [stderr]    Compiling candid v0.10.9
[INFO] [stderr]    Compiling tla_instrumentation v0.1.0 (/opt/rustwide/workdir/tla_instrumentation)
[INFO] [stdout] error: no rules expected `(`
[INFO] [stdout]    --> tla_instrumentation/tests/basic.rs:101:21
[INFO] [stdout]     |
[INFO] [stdout] 101 |     tla_log_locals!((x : 1_u64));
[INFO] [stdout]     |                     ^ no rules expected this token in macro call
[INFO] [stdout]     |
[INFO] [stdout]     = note: while trying to match sequence start
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected end of macro invocation
[INFO] [stdout]    --> tla_instrumentation/tests/basic.rs:105:57
[INFO] [stdout]     |
[INFO] [stdout] 105 |     tla_log_request!(Destination::new("othercan"), 2_u64);
[INFO] [stdout]     |                                                         ^ missing tokens in macro arguments
[INFO] [stdout]     |
[INFO] [stdout] note: while trying to match `,`
[INFO] [stdout]    --> /opt/rustwide/workdir/tla_instrumentation/src/lib.rs:338:27
[INFO] [stdout]     |
[INFO] [stdout] 338 |     ($label:expr, $to:expr, $method:expr, $message:expr) => {{
[INFO] [stdout]     |                           ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `tla_log_method_return` in `tla_instrumentation`
[INFO] [stdout]   --> tla_instrumentation/tests/async.rs:98:1
[INFO] [stdout]    |
[INFO] [stdout] 98 | #[tla_update(my_f_desc())]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ could not find `tla_log_method_return` in `tla_instrumentation`
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the attribute macro `tla_update` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tla_instrumentation` (test "basic") due to 2 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: cannot find macro `tla_get_globals` in this scope
[INFO] [stdout]   --> tla_instrumentation/tests/async.rs:98:1
[INFO] [stdout]    |
[INFO] [stdout] 74 |     macro_rules! get_tla_globals {
[INFO] [stdout]    |     ---------------------------- similarly named macro `get_tla_globals` defined here
[INFO] [stdout] ...
[INFO] [stdout] 98 | #[tla_update(my_f_desc())]
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ help: a macro with a similar name exists: `get_tla_globals`
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the attribute macro `tla_update` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `get_tla_globals`
[INFO] [stdout]   --> tla_instrumentation/tests/async.rs:74:18
[INFO] [stdout]    |
[INFO] [stdout] 74 |     macro_rules! get_tla_globals {
[INFO] [stdout]    |                  ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `init_tla_state` and `with_tla_state`
[INFO] [stdout]   --> tla_instrumentation/tests/async.rs:92:17
[INFO] [stdout]    |
[INFO] [stdout] 92 | use tla_stuff::{init_tla_state, my_f_desc, with_tla_state, with_tla_state_pairs};
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^             ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0063]: missing field `post_process` in initializer of `Update`
[INFO] [stdout]   --> tla_instrumentation/tests/async.rs:81:9
[INFO] [stdout]    |
[INFO] [stdout] 81 |         Update {
[INFO] [stdout]    |         ^^^^^^ missing `post_process`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0063, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0063`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tla_instrumentation` (test "async") due to 3 previous errors; 2 warnings emitted
[INFO] [stdout] error[E0425]: cannot find function `get_apalache_path` in this scope
[INFO] [stdout]    --> tla_instrumentation/src/checker.rs:278:20
[INFO] [stdout]     |
[INFO] [stdout] 278 |     let apalache = get_apalache_path();
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `project_root` in this scope
[INFO] [stdout]    --> tla_instrumentation/src/checker.rs:279:22
[INFO] [stdout]     |
[INFO] [stdout] 279 |     let tla_module = project_root()
[INFO] [stdout]     |                      ^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tla_instrumentation` (lib test) due to 2 previous errors
[INFO] running `Command { std: "docker" "inspect" "3c356046e343e07862051c999c1dea8c112c929f91b40edc2550ad8a863cd89e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3c356046e343e07862051c999c1dea8c112c929f91b40edc2550ad8a863cd89e", kill_on_drop: false }`
[INFO] [stdout] 3c356046e343e07862051c999c1dea8c112c929f91b40edc2550ad8a863cd89e