[INFO] fetching crate smc_scan_promela 0.1.1...
[INFO] testing smc_scan_promela-0.1.1 against master#ec6f9a5b4413f74386267ef8efc93712c2ce6db6 for pr-155739-1
[INFO] extracting crate smc_scan_promela 0.1.1 into /workspace/builds/worker-2-tc1/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-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate smc_scan_promela 0.1.1 on toolchain ec6f9a5b4413f74386267ef8efc93712c2ce6db6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded smc_scan_core v0.1.1
[INFO] [stderr]   Downloaded vob v3.0.6
[INFO] [stderr]   Downloaded virtue v0.0.18
[INFO] [stderr]   Downloaded bincode_derive v2.0.1
[INFO] [stderr]   Downloaded packedvec v1.2.5
[INFO] [stderr]   Downloaded lrpar v0.14.1
[INFO] [stderr]   Downloaded sparsevec v0.2.2
[INFO] [stderr]   Downloaded lrtable v0.14.1
[INFO] [stderr]   Downloaded cactus v1.0.7
[INFO] [stderr]   Downloaded lrlex v0.14.1
[INFO] [stderr]   Downloaded cfgrammar v0.14.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dc27c398eb4d4ad32cfc26f2afe0e9a61f379c05e2cfefba5071eb4c01136337
[INFO] running `Command { std: "docker" "start" "-a" "dc27c398eb4d4ad32cfc26f2afe0e9a61f379c05e2cfefba5071eb4c01136337", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dc27c398eb4d4ad32cfc26f2afe0e9a61f379c05e2cfefba5071eb4c01136337", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dc27c398eb4d4ad32cfc26f2afe0e9a61f379c05e2cfefba5071eb4c01136337", kill_on_drop: false }`
[INFO] [stdout] dc27c398eb4d4ad32cfc26f2afe0e9a61f379c05e2cfefba5071eb4c01136337
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c92aeee643a862b246cbc0d94113a1283c3f9d7815a23e120455ce756801305d
[INFO] running `Command { std: "docker" "start" "-a" "c92aeee643a862b246cbc0d94113a1283c3f9d7815a23e120455ce756801305d", kill_on_drop: false }`
[INFO] [stderr]    Compiling powerfmt v0.2.0
[INFO] [stderr]    Compiling virtue v0.0.18
[INFO] [stderr]    Compiling vergen v8.3.2
[INFO] [stderr]    Compiling num_threads v0.1.7
[INFO] [stderr]    Compiling num-conv v0.2.1
[INFO] [stderr]    Compiling unty v0.0.4
[INFO] [stderr]    Compiling itoa v1.0.18
[INFO] [stderr]    Compiling time-core v0.1.8
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling filetime v0.2.27
[INFO] [stderr]    Compiling unicode-width v0.1.14
[INFO] [stderr]    Compiling cactus v1.0.7
[INFO] [stderr]    Compiling rand_core v0.10.1
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling getopts v0.2.24
[INFO] [stderr]    Compiling deranged v0.5.8
[INFO] [stderr]    Compiling cpufeatures v0.3.0
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling chacha20 v0.10.0
[INFO] [stderr]    Compiling rand v0.10.1
[INFO] [stderr]    Compiling bincode_derive v2.0.1
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling bincode v2.0.1
[INFO] [stderr]    Compiling time v0.3.47
[INFO] [stderr]    Compiling vob v3.0.6
[INFO] [stderr]    Compiling packedvec v1.2.5
[INFO] [stderr]    Compiling sparsevec v0.2.2
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling lrpar v0.14.1
[INFO] [stderr]    Compiling lrlex v0.14.1
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling smc_scan_core v0.1.1
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling cfgrammar v0.14.1
[INFO] [stderr]    Compiling lrtable 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: 70| \&          "BITAND"
[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: 71| \^          "BITXOR"
[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: 72| \|          "BITOR"
[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: 84| \>>         "SHR"
[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]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 25.23s
[INFO] running `Command { std: "docker" "inspect" "c92aeee643a862b246cbc0d94113a1283c3f9d7815a23e120455ce756801305d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c92aeee643a862b246cbc0d94113a1283c3f9d7815a23e120455ce756801305d", kill_on_drop: false }`
[INFO] [stdout] c92aeee643a862b246cbc0d94113a1283c3f9d7815a23e120455ce756801305d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cc86fd89b5dec2a3ff39557a986940a2cd7776d87388cd77094cb4fb14a79939
[INFO] running `Command { std: "docker" "start" "-a" "cc86fd89b5dec2a3ff39557a986940a2cd7776d87388cd77094cb4fb14a79939", 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: 70| \&          "BITAND"
[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: 71| \^          "BITXOR"
[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: 72| \|          "BITOR"
[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: 84| \>>         "SHR"
[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]    Compiling smc_scan_promela v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.32s
[INFO] running `Command { std: "docker" "inspect" "cc86fd89b5dec2a3ff39557a986940a2cd7776d87388cd77094cb4fb14a79939", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cc86fd89b5dec2a3ff39557a986940a2cd7776d87388cd77094cb4fb14a79939", kill_on_drop: false }`
[INFO] [stdout] cc86fd89b5dec2a3ff39557a986940a2cd7776d87388cd77094cb4fb14a79939
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 6606f6d095019056317388c8199f0555ef0231de6be5e2bcf46ebad34c636645
[INFO] running `Command { std: "docker" "start" "-a" "6606f6d095019056317388c8199f0555ef0231de6be5e2bcf46ebad34c636645", 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: 70| \&          "BITAND"
[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: 71| \^          "BITXOR"
[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: 72| \|          "BITOR"
[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: 84| \>>         "SHR"
[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]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.15s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/scan_promela-2248ff75be10499b)
[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] [stderr]      Running tests/span_test.rs (/opt/rustwide/target/debug/deps/span_test-70944aab83c43297)
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test array_decl_unsupported ... ok
[INFO] [stdout] test assignment_eq_complex_expr ... ok
[INFO] [stdout] test do_loops_until_guards_false_then_exits_verbose ... ok
[INFO] [stdout] test atomic_collapses_to_one_edge ... ok
[INFO] [stdout] test formal_params_are_locals ... ok
[INFO] [stdout] test if_blocks_when_all_guards_false ... ok
[INFO] [stdout] test if_choice_blocks_and_executes ... 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 global_decl_list ... ok
[INFO] [stdout] test inc_and_dec ... ok
[INFO] [stderr]    Doc-tests scan_promela
[INFO] [stdout] test if_two_true_guards_nondet ... ok
[INFO] [stdout] test print_transitions_with_and_without_empty_post_locs ... ok
[INFO] [stdout] test send_and_receive_capacity_one_single_exchange ... ok
[INFO] [stdout] test send_and_receive_fifo ... ok
[INFO] [stdout] test receive_on_empty_channel_disabled ... ok
[INFO] [stdout] test send_then_receive_unbounded ... ok
[INFO] [stdout] test second_send_on_full_channel_blocked ... ok
[INFO] [stdout] test simple_assert ... ok
[INFO] [stdout] test skip_and_empty_block ... ok
[INFO] [stdout] test visibility_not_supported ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[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" "6606f6d095019056317388c8199f0555ef0231de6be5e2bcf46ebad34c636645", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6606f6d095019056317388c8199f0555ef0231de6be5e2bcf46ebad34c636645", kill_on_drop: false }`
[INFO] [stdout] 6606f6d095019056317388c8199f0555ef0231de6be5e2bcf46ebad34c636645
