[INFO] fetching crate smc_scan_promela 0.1.1...
[INFO] testing smc_scan_promela-0.1.1 against beta-2026-04-21 for beta-1.96-2
[INFO] extracting crate smc_scan_promela 0.1.1 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate smc_scan_promela 0.1.1
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate smc_scan_promela 0.1.1
[INFO] tweaked toml for crates.io crate smc_scan_promela 0.1.1 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate smc_scan_promela 0.1.1 on toolchain beta-2026-04-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate smc_scan_promela 0.1.1 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-2026-04-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 00884f3d35f3057d5cddc03e8cf7492f9c9b9ce9d868c0ecdcfa95f3d5371996
[INFO] running `Command { std: "docker" "start" "-a" "00884f3d35f3057d5cddc03e8cf7492f9c9b9ce9d868c0ecdcfa95f3d5371996", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "00884f3d35f3057d5cddc03e8cf7492f9c9b9ce9d868c0ecdcfa95f3d5371996", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "00884f3d35f3057d5cddc03e8cf7492f9c9b9ce9d868c0ecdcfa95f3d5371996", kill_on_drop: false }`
[INFO] [stdout] 00884f3d35f3057d5cddc03e8cf7492f9c9b9ce9d868c0ecdcfa95f3d5371996
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 89c2c78a2feb154b493c0072552e3e3da5032987e223915a37837761a8b62436
[INFO] running `Command { std: "docker" "start" "-a" "89c2c78a2feb154b493c0072552e3e3da5032987e223915a37837761a8b62436", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.185
[INFO] [stderr]    Compiling powerfmt v0.2.0
[INFO] [stderr]    Compiling time-core v0.1.8
[INFO] [stderr]    Compiling num_threads v0.1.7
[INFO] [stderr]    Compiling num-conv v0.2.1
[INFO] [stderr]    Compiling itoa v1.0.18
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling bincode v2.0.1
[INFO] [stderr]    Compiling vergen v8.3.2
[INFO] [stderr]    Compiling cactus v1.0.7
[INFO] [stderr]    Compiling rand_core v0.10.1
[INFO] [stderr]    Compiling getopts v0.2.24
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling chacha20 v0.10.0
[INFO] [stderr]    Compiling deranged v0.5.8
[INFO] [stderr]    Compiling vob v3.0.6
[INFO] [stderr]    Compiling packedvec v1.2.5
[INFO] [stderr]    Compiling cfgrammar v0.14.1
[INFO] [stderr]    Compiling sparsevec v0.2.2
[INFO] [stderr]    Compiling time v0.3.47
[INFO] [stderr]    Compiling filetime v0.2.27
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling rand v0.10.1
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling lrtable v0.14.1
[INFO] [stderr]    Compiling smc_scan_core v0.1.1
[INFO] [stderr]    Compiling lrpar v0.14.1
[INFO] [stderr]    Compiling lrlex v0.14.1
[INFO] [stderr]    Compiling smc_scan_promela v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr] warning: smc_scan_promela@0.1.1: [Warning] these tokens are not referenced in the grammar but defined as follows
[INFO] [stderr] warning: smc_scan_promela@0.1.1:           in the lexer in /opt/rustwide/workdir/src/spinv.l
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 71| \^          "BITXOR"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 83| \<<         "SHL"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 32| printf      "PRINTF"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 112| \"[^"]*\"               "STRING_LITERAL"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                               ^^^^^^^^^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 70| \&          "BITAND"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 33| printm      "PRINTM"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 72| \|          "BITOR"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 84| \>>         "SHR"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^ Missing from parser
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 20.72s
[INFO] running `Command { std: "docker" "inspect" "89c2c78a2feb154b493c0072552e3e3da5032987e223915a37837761a8b62436", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "89c2c78a2feb154b493c0072552e3e3da5032987e223915a37837761a8b62436", kill_on_drop: false }`
[INFO] [stdout] 89c2c78a2feb154b493c0072552e3e3da5032987e223915a37837761a8b62436
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 34a076576b2a4468d4174c56bb28070af7f81c8c39981de619d7f385b6a13007
[INFO] running `Command { std: "docker" "start" "-a" "34a076576b2a4468d4174c56bb28070af7f81c8c39981de619d7f385b6a13007", kill_on_drop: false }`
[INFO] [stderr] warning: smc_scan_promela@0.1.1: [Warning] these tokens are not referenced in the grammar but defined as follows
[INFO] [stderr] warning: smc_scan_promela@0.1.1:           in the lexer in /opt/rustwide/workdir/src/spinv.l
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 71| \^          "BITXOR"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 83| \<<         "SHL"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 32| printf      "PRINTF"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 112| \"[^"]*\"               "STRING_LITERAL"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                               ^^^^^^^^^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 70| \&          "BITAND"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 33| printm      "PRINTM"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 72| \|          "BITOR"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 84| \>>         "SHR"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^ Missing from parser
[INFO] [stderr]    Compiling smc_scan_promela v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.47s
[INFO] running `Command { std: "docker" "inspect" "34a076576b2a4468d4174c56bb28070af7f81c8c39981de619d7f385b6a13007", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "34a076576b2a4468d4174c56bb28070af7f81c8c39981de619d7f385b6a13007", kill_on_drop: false }`
[INFO] [stdout] 34a076576b2a4468d4174c56bb28070af7f81c8c39981de619d7f385b6a13007
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 973cc4f3b0e648d13a68f43b91f1e44d6cdbdc0fcddd2516347905aeecda1abc
[INFO] running `Command { std: "docker" "start" "-a" "973cc4f3b0e648d13a68f43b91f1e44d6cdbdc0fcddd2516347905aeecda1abc", kill_on_drop: false }`
[INFO] [stderr] warning: smc_scan_promela@0.1.1: [Warning] these tokens are not referenced in the grammar but defined as follows
[INFO] [stderr] warning: smc_scan_promela@0.1.1:           in the lexer in /opt/rustwide/workdir/src/spinv.l
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 71| \^          "BITXOR"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 83| \<<         "SHL"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 32| printf      "PRINTF"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 112| \"[^"]*\"               "STRING_LITERAL"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                               ^^^^^^^^^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 70| \&          "BITAND"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 33| printm      "PRINTM"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 72| \|          "BITOR"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^^^ Missing from parser
[INFO] [stderr] warning: smc_scan_promela@0.1.1: 84| \>>         "SHR"
[INFO] [stderr] warning: smc_scan_promela@0.1.1:                  ^^^ Missing from parser
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.11s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/scan_promela-3ebfb411c9cf85f5)
[INFO] [stderr]      Running tests/span_test.rs (/opt/rustwide/target/debug/deps/span_test-0bc9bff6595da653)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test array_decl_unsupported ... ok
[INFO] [stdout] test atomic_collapses_to_one_edge ... ok
[INFO] [stdout] test global_decl_list ... ok
[INFO] [stdout] test do_loops_until_guards_false_then_exits_verbose ... ok
[INFO] [stdout] test if_blocks_when_all_guards_false ... ok
[INFO] [stdout] test assignment_eq_complex_expr ... ok
[INFO] [stdout] test inc_and_dec ... ok
[INFO] [stdout] test if_two_true_guards_nondet ... ok
[INFO] [stdout] test if_choice_blocks_and_executes ... ok
[INFO] [stdout] test print_transitions_with_and_without_empty_post_locs ... ok
[INFO] [stdout] test second_send_on_full_channel_blocked ... ok
[INFO] [stdout] test receive_on_empty_channel_disabled ... ok
[INFO] [stdout] test if_else_all_guards_false_then_only_else_enabled_verbose ... ok
[INFO] [stdout] test if_else_guard_true_else_disabled_verbose ... ok
[INFO] [stdout] test if_else_only_when_x_negative ... ok
[INFO] [stdout] test send_and_receive_capacity_one_single_exchange ... ok
[INFO] [stdout] test send_and_receive_fifo ... ok
[INFO] [stdout] test send_then_receive_unbounded ... ok
[INFO] [stdout] test simple_assert ... ok
[INFO] [stdout] test skip_and_empty_block ... ok
[INFO] [stdout] test visibility_not_supported ... ok
[INFO] [stdout] test formal_params_are_locals ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stderr]    Doc-tests scan_promela
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "973cc4f3b0e648d13a68f43b91f1e44d6cdbdc0fcddd2516347905aeecda1abc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "973cc4f3b0e648d13a68f43b91f1e44d6cdbdc0fcddd2516347905aeecda1abc", kill_on_drop: false }`
[INFO] [stdout] 973cc4f3b0e648d13a68f43b91f1e44d6cdbdc0fcddd2516347905aeecda1abc
