[INFO] cloning repository https://github.com/phinanix/rust-beavers
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/phinanix/rust-beavers" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fphinanix%2Frust-beavers", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fphinanix%2Frust-beavers'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 7098ec78f898d07a0f2ed4f82826b97570edb209
[INFO] testing phinanix/rust-beavers against master#1871252fc8bb672d40787e67404e6eaae7059369 for pr-125151
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fphinanix%2Frust-beavers" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/phinanix/rust-beavers on toolchain 1871252fc8bb672d40787e67404e6eaae7059369
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/phinanix/rust-beavers
[INFO] finished tweaking git repo https://github.com/phinanix/rust-beavers
[INFO] tweaked toml for git repo https://github.com/phinanix/rust-beavers written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/phinanix/rust-beavers 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" "+1871252fc8bb672d40787e67404e6eaae7059369" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded defaultmap v0.5.0
[INFO] [stderr]   Downloaded rustix v0.37.8
[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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8d128835601dcce1c3bd08d312d3eb55639d112a7044be88ef61dfe0d0015cc4
[INFO] running `Command { std: "docker" "start" "-a" "8d128835601dcce1c3bd08d312d3eb55639d112a7044be88ef61dfe0d0015cc4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8d128835601dcce1c3bd08d312d3eb55639d112a7044be88ef61dfe0d0015cc4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8d128835601dcce1c3bd08d312d3eb55639d112a7044be88ef61dfe0d0015cc4", kill_on_drop: false }`
[INFO] [stdout] 8d128835601dcce1c3bd08d312d3eb55639d112a7044be88ef61dfe0d0015cc4
[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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 570b30ecb9175f627b9a95b87619e3384c26632874c8390fb0e5a5c9193971a2
[INFO] running `Command { std: "docker" "start" "-a" "570b30ecb9175f627b9a95b87619e3384c26632874c8390fb0e5a5c9193971a2", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling libc v0.2.141
[INFO] [stderr]    Compiling libm v0.2.6
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling io-lifetimes v1.0.10
[INFO] [stderr]    Compiling rustix v0.37.8
[INFO] [stderr]    Compiling linux-raw-sys v0.3.1
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling ppv-lite86 v0.2.17
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling fastrand v1.9.0
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling either v1.8.1
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling quick-error v2.0.1
[INFO] [stderr]    Compiling smallvec v1.10.0
[INFO] [stderr]    Compiling defaultmap v0.5.0
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling num-traits v0.2.16
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling num-bigint v0.4.4
[INFO] [stderr]    Compiling num-rational v0.4.1
[INFO] [stderr]    Compiling num-iter v0.1.43
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling getrandom v0.2.8
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling num-complex v0.4.4
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand_xorshift v0.3.0
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling tempfile v3.5.0
[INFO] [stderr]    Compiling rusty-fork v0.3.0
[INFO] [stderr]    Compiling num v0.4.1
[INFO] [stderr]    Compiling proptest v1.1.0
[INFO] [stderr]    Compiling rust_bbs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: the feature `return_position_impl_trait_in_trait` has been stable since 1.75.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(return_position_impl_trait_in_trait)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `step`
[INFO] [stdout]   --> src/simulate.rs:48:31
[INFO] [stdout]    |
[INFO] [stdout] 48 |       FellOffTape(state, dir, step) => return RFellOffTape(state, dir),
[INFO] [stdout]    |                               ^^^^ help: if this is intentional, prefix it with an underscore: `_step`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `step`
[INFO] [stdout]   --> src/simulate.rs:49:26
[INFO] [stdout]    |
[INFO] [stdout] 49 |       Success(state, rs, step) => (state, HashMap::default(), Left(rs)),
[INFO] [stdout]    |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_step`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pairs`
[INFO] [stdout]    --> src/simulate.rs:121:3
[INFO] [stdout]     |
[INFO] [stdout] 121 |   pairs: &[((S, u32), (S, u32))],
[INFO] [stdout]     |   ^^^^^ help: if this is intentional, prefix it with an underscore: `_pairs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mb_rule`
[INFO] [stdout]    --> src/simulate.rs:480:9
[INFO] [stdout]     |
[INFO] [stdout] 480 |     let mb_rule = detect_rule2(&config_pairs);
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mb_rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `last_phase`
[INFO] [stdout]    --> src/main.rs:235:11
[INFO] [stdout]     |
[INFO] [stdout] 235 |   let (_, last_phase, last_tape) = &hist[last_record.0];
[INFO] [stdout]     |           ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_last_phase`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 6 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.55s
[INFO] running `Command { std: "docker" "inspect" "570b30ecb9175f627b9a95b87619e3384c26632874c8390fb0e5a5c9193971a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "570b30ecb9175f627b9a95b87619e3384c26632874c8390fb0e5a5c9193971a2", kill_on_drop: false }`
[INFO] [stdout] 570b30ecb9175f627b9a95b87619e3384c26632874c8390fb0e5a5c9193971a2
[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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] dd141ffe408da6cc44c8a1857c852688a9eca735eafe3c2b003dfb3ca9b1a855
[INFO] running `Command { std: "docker" "start" "-a" "dd141ffe408da6cc44c8a1857c852688a9eca735eafe3c2b003dfb3ca9b1a855", kill_on_drop: false }`
[INFO] [stderr]    Compiling rust_bbs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: the feature `return_position_impl_trait_in_trait` has been stable since 1.75.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(return_position_impl_trait_in_trait)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `step`
[INFO] [stdout]   --> src/simulate.rs:48:31
[INFO] [stdout]    |
[INFO] [stdout] 48 |       FellOffTape(state, dir, step) => return RFellOffTape(state, dir),
[INFO] [stdout]    |                               ^^^^ help: if this is intentional, prefix it with an underscore: `_step`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `step`
[INFO] [stdout]   --> src/simulate.rs:49:26
[INFO] [stdout]    |
[INFO] [stdout] 49 |       Success(state, rs, step) => (state, HashMap::default(), Left(rs)),
[INFO] [stdout]    |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_step`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pairs`
[INFO] [stdout]    --> src/simulate.rs:121:3
[INFO] [stdout]     |
[INFO] [stdout] 121 |   pairs: &[((S, u32), (S, u32))],
[INFO] [stdout]     |   ^^^^^ help: if this is intentional, prefix it with an underscore: `_pairs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mb_rule`
[INFO] [stdout]    --> src/simulate.rs:480:9
[INFO] [stdout]     |
[INFO] [stdout] 480 |     let mb_rule = detect_rule2(&config_pairs);
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mb_rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pairs`
[INFO] [stdout]    --> src/simulate.rs:788:9
[INFO] [stdout]     |
[INFO] [stdout] 788 |     let pairs = [(3, 7), (3, 7)];
[INFO] [stdout]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_pairs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `last_phase`
[INFO] [stdout]    --> src/main.rs:235:11
[INFO] [stdout]     |
[INFO] [stdout] 235 |   let (_, last_phase, last_tape) = &hist[last_record.0];
[INFO] [stdout]     |           ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_last_phase`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 7 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.38s
[INFO] running `Command { std: "docker" "inspect" "dd141ffe408da6cc44c8a1857c852688a9eca735eafe3c2b003dfb3ca9b1a855", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dd141ffe408da6cc44c8a1857c852688a9eca735eafe3c2b003dfb3ca9b1a855", kill_on_drop: false }`
[INFO] [stdout] dd141ffe408da6cc44c8a1857c852688a9eca735eafe3c2b003dfb3ca9b1a855
[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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 02819abf1f9449228fc48ac20d20407e9dc81abaa5a129d27fcd8951d0d0c656
[INFO] running `Command { std: "docker" "start" "-a" "02819abf1f9449228fc48ac20d20407e9dc81abaa5a129d27fcd8951d0d0c656", kill_on_drop: false }`
[INFO] [stderr] warning: the feature `return_position_impl_trait_in_trait` has been stable since 1.75.0 and no longer requires an attribute to enable
[INFO] [stderr]  --> src/main.rs:3:12
[INFO] [stderr]   |
[INFO] [stderr] 3 | #![feature(return_position_impl_trait_in_trait)]
[INFO] [stderr]   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(stable_features)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `step`
[INFO] [stderr]   --> src/simulate.rs:48:31
[INFO] [stderr]    |
[INFO] [stderr] 48 |       FellOffTape(state, dir, step) => return RFellOffTape(state, dir),
[INFO] [stderr]    |                               ^^^^ help: if this is intentional, prefix it with an underscore: `_step`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `step`
[INFO] [stderr]   --> src/simulate.rs:49:26
[INFO] [stderr]    |
[INFO] [stderr] 49 |       Success(state, rs, step) => (state, HashMap::default(), Left(rs)),
[INFO] [stderr]    |                          ^^^^ help: if this is intentional, prefix it with an underscore: `_step`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `pairs`
[INFO] [stderr]    --> src/simulate.rs:121:3
[INFO] [stderr]     |
[INFO] [stderr] 121 |   pairs: &[((S, u32), (S, u32))],
[INFO] [stderr]     |   ^^^^^ help: if this is intentional, prefix it with an underscore: `_pairs`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `mb_rule`
[INFO] [stderr]    --> src/simulate.rs:480:9
[INFO] [stderr]     |
[INFO] [stderr] 480 |     let mb_rule = detect_rule2(&config_pairs);
[INFO] [stderr]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mb_rule`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `pairs`
[INFO] [stderr]    --> src/simulate.rs:788:9
[INFO] [stderr]     |
[INFO] [stderr] 788 |     let pairs = [(3, 7), (3, 7)];
[INFO] [stderr]     |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_pairs`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `last_phase`
[INFO] [stderr]    --> src/main.rs:235:11
[INFO] [stderr]     |
[INFO] [stderr] 235 |   let (_, last_phase, last_tape) = &hist[last_record.0];
[INFO] [stderr]     |           ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_last_phase`
[INFO] [stderr] 
[INFO] [stderr] warning: `rust_bbs` (bin "rust_bbs" test) generated 7 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/rust_bbs-7e3fcdd83b59e1a7)
[INFO] [stdout] 
[INFO] [stdout] running 49 tests
[INFO] [stdout] test brady::test::test_find_records ... ok
[INFO] [stdout] test macro_machines::test::test_all_symbols ... ok
[INFO] [stdout] test linrecur::test::lr_finds_simple_machine ... ok
[INFO] [stdout] test chain::test::chain_var_test ... ok
[INFO] [stdout] test linrecur::test::lr_not_find_not_lr ... ok
[INFO] [stdout] test macro_machines::test::test_from_tape ... ok
[INFO] [stdout] test macro_machines::test::test_make_tape ... ok
[INFO] [stdout] test chain::test::test_rule_runs_forever_if_consumes_all ... ok
[INFO] [stdout] test macro_machines::test::test_make_tape_from_head ... ok
[INFO] [stdout] test chain::test::chain_side_test ... ok
[INFO] [stdout] test parse::test::avar_disp ... ok
[INFO] [stdout] test chain::test::chaining_rules_test ... ok
[INFO] [stdout] test parse::test::test_parse_avar ... ok
[INFO] [stdout] test parse::test::test_parse_avar_sum ... ok
[INFO] [stdout] test macro_machines::test::test_project_down ... ok
[INFO] [stdout] test parse::test::test_parse_count ... ok
[INFO] [stdout] test parse::test::test_parse_config ... ok
[INFO] [stdout] test parse::test::test_parse_tape_side ... ok
[INFO] [stdout] test rules::test::affinevar_sub ... ok
[INFO] [stdout] test parse::test::test_parse_tuple ... ok
[INFO] [stdout] test parse::test::test_parse_rule ... ok
[INFO] [stdout] test rules::test::avar_eq ... ok
[INFO] [stdout] test rules::test::chain_rules_detected ... ok
[INFO] [stdout] test rules::test::affinevar_sub_map ... ok
[INFO] [stdout] test rules::test::svar_eq ... ok
[INFO] [stdout] test rules::test::test_add_avar ... ok
[INFO] [stdout] test rules::test::test_combine_readshift ... ok
[INFO] [stdout] test rules::test::test_match_var_num ... ok
[INFO] [stdout] test rules::test::test_match_avar_svar ... ok
[INFO] [stdout] test simulate::test::get_n_rle_test ... ok
[INFO] [stdout] test rules::test::prove_rule_test ... ok
[INFO] [stdout] test simulate::test::detect_linear_relation_test ... ok
[INFO] [stdout] test tape::test::step_extra_info ... ok
[INFO] [stdout] test rules::test::chain_steps_is_same ... ok
[INFO] [stdout] test tape::test::sim_bb2 ... ok
[INFO] [stdout] test rules::test::test_match_rule_tape ... ok
[INFO] [stdout] test turing::test::machine_from_string ... ok
[INFO] [stdout] test turing::test::determinize_test ... ok
[INFO] [stdout] test turing::test::branch_test ... ok
[INFO] [stdout] test tape::test::exptape_to_tape ... ok
[INFO] [stdout] test rules::test::test_normalize_readshift ... ok
[INFO] [stdout] test tape::test::sim_bb3 ... ok
[INFO] [stdout] test turing::test::possible_trans ... ok
[INFO] [stdout] test turing::test::test_remove_unused ... ok
[INFO] [stdout] test turing::test::trans_from_string ... ok
[INFO] [stdout] test turing::test::undefined_states ... ok
[INFO] [stdout] test parse::test::avar_roundtrip ... ok
[INFO] [stdout] test simulate::test::prove_rules_is_same_as_not ... FAILED
[INFO] [stdout] test macro_machines::test::test_macro_is_same_as_base ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- simulate::test::prove_rules_is_same_as_not stdout ----
[INFO] [stdout] working on machine: 1RB1RH_1RC0LC_1LB0RB
[INFO] [stdout] step: 1 phase: B tape: (T, 1) |>F<|
[INFO] [stdout] step: 2 phase: C tape: (T, 2) |>F<|
[INFO] [stdout] step: 3 phase: B tape: (T, 1) |>T<| (T, 1)
[INFO] [stdout] step: 4 phase: C tape: |>T<| (F, 1) (T, 1)
[INFO] [stdout] step: 5 phase: B tape: |>F<| (T, 1)
[INFO] [stdout] step: 6 phase: C tape: (T, 1) |>T<|
[INFO] [stdout] step: 7 phase: B tape: (T, 1) (F, 1) |>F<|
[INFO] [stdout] step: 8 phase: C tape: (T, 1) (F, 1) (T, 1) |>F<|
[INFO] [stdout] step: 9 phase: B tape: (T, 1) (F, 1) |>T<| (T, 1)
[INFO] [stdout] step: 10 phase: C tape: (T, 1) |>F<| (F, 1) (T, 1)
[INFO] [stdout] step: 11 phase: B tape: |>T<| (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 12 phase: C tape: |>F<| (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 13 phase: B tape: |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 14 phase: C tape: (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 15 phase: B tape: (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 16 phase: C tape: (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1)
[INFO] [stdout] step: 17 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1)
[INFO] [stdout] step: 18 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<|
[INFO] [stdout] step: 19 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<|
[INFO] [stdout] step: 20 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>F<|
[INFO] [stdout] step: 21 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>T<| (T, 1)
[INFO] [stdout] step: 22 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>F<| (F, 1) (T, 1)
[INFO] [stdout] step: 23 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) |>T<| (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 24 phase: C tape: (T, 1) (F, 1) (T, 1) |>F<| (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 25 phase: B tape: (T, 1) (F, 1) |>T<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 26 phase: C tape: (T, 1) |>F<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 27 phase: B tape: |>T<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 28 phase: C tape: |>F<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 29 phase: B tape: |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 30 phase: C tape: (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 31 phase: B tape: (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 32 phase: C tape: (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 33 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 34 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 35 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 36 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1)
[INFO] [stdout] step: 37 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1)
[INFO] [stdout] step: 38 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<|
[INFO] [stdout] step: 39 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<|
[INFO] [stdout] step: 40 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>F<|
[INFO] [stdout] step: 41 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>T<| (T, 1)
[INFO] [stdout] step: 42 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>F<| (F, 1) (T, 1)
[INFO] [stdout] step: 43 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>T<| (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 44 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>F<| (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 45 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>T<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 46 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>F<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 47 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) |>T<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 48 phase: C tape: (T, 1) (F, 1) (T, 1) |>F<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 49 phase: B tape: (T, 1) (F, 1) |>T<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 50 phase: C tape: (T, 1) |>F<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 51 phase: B tape: |>T<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 52 phase: C tape: |>F<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 53 phase: B tape: |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 54 phase: C tape: (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 55 phase: B tape: (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 56 phase: C tape: (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 57 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 58 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 59 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 60 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 61 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 62 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 63 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 64 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1)
[INFO] [stdout] step: 65 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1)
[INFO] [stdout] step: 66 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<|
[INFO] [stdout] step: 67 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<|
[INFO] [stdout] step: 68 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>F<|
[INFO] [stdout] step: 69 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>T<| (T, 1)
[INFO] [stdout] step: 70 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>F<| (F, 1) (T, 1)
[INFO] [stdout] step: 71 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>T<| (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 72 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>F<| (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 73 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>T<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 74 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>F<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 75 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>T<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 76 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>F<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 77 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>T<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 78 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>F<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 79 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) |>T<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 80 phase: C tape: (T, 1) (F, 1) (T, 1) |>F<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 81 phase: B tape: (T, 1) (F, 1) |>T<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 82 phase: C tape: (T, 1) |>F<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 83 phase: B tape: |>T<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 84 phase: C tape: |>F<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 85 phase: B tape: |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 86 phase: C tape: (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 87 phase: B tape: (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 88 phase: C tape: (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 89 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 90 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 91 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 92 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 93 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 94 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 95 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 96 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 97 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 98 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 99 phase: B tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) |>F<| (T, 1) (F, 1) (T, 1)
[INFO] [stdout] step: 100 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) (F, 1) (T, 1) |>T<| (F, 1) (T, 1)
[INFO] [stdout] working on machine: 1RB1RH_1RC1LB_0LB0RC
[INFO] [stdout] step: 1 phase: B tape: (T, 1) |>F<|
[INFO] [stdout] step: 2 phase: C tape: (T, 2) |>F<|
[INFO] [stdout] step: 3 phase: B tape: (T, 1) |>T<|
[INFO] [stdout] rule_applied
[INFO] [stdout] step: 4 phase: B tape: |>T<| (T, 1)
[INFO] [stdout] step: 5 phase: B tape: |>F<| (T, 2)
[INFO] [stdout] step: 6 phase: C tape: (T, 1) |>T<| (T, 1)
[INFO] [stdout] rule_applied
[INFO] [stdout] step: 7 phase: C tape: (T, 1) (F, 1) |>T<|
[INFO] [stdout] step: 8 phase: C tape: (T, 1) (F, 2) |>F<|
[INFO] [stdout] step: 9 phase: B tape: (T, 1) (F, 1) |>F<|
[INFO] [stdout] step: 10 phase: C tape: (T, 1) (F, 1) (T, 1) |>F<|
[INFO] [stdout] step: 11 phase: B tape: (T, 1) (F, 1) |>T<|
[INFO] [stdout] step: 12 phase: B tape: (T, 1) |>F<| (T, 1)
[INFO] [stdout] step: 13 phase: C tape: (T, 2) |>T<|
[INFO] [stdout] step: 14 phase: C tape: (T, 2) (F, 1) |>F<|
[INFO] [stdout] step: 15 phase: B tape: (T, 2) |>F<|
[INFO] [stdout] step: 16 phase: C tape: (T, 3) |>F<|
[INFO] [stdout] step: 17 phase: B tape: (T, 2) |>T<|
[INFO] [stdout] rule_applied
[INFO] [stdout] step: 18 phase: B tape: |>T<| (T, 2)
[INFO] [stdout] step: 19 phase: B tape: |>F<| (T, 3)
[INFO] [stdout] step: 20 phase: C tape: (T, 1) |>T<| (T, 2)
[INFO] [stdout] rule_applied
[INFO] [stdout] step: 21 phase: C tape: (T, 1) (F, 2) |>T<|
[INFO] [stdout] step: 22 phase: C tape: (T, 1) (F, 3) |>F<|
[INFO] [stdout] step: 23 phase: B tape: (T, 1) (F, 2) |>F<|
[INFO] [stdout] step: 24 phase: C tape: (T, 1) (F, 2) (T, 1) |>F<|
[INFO] [stdout] step: 25 phase: B tape: (T, 1) (F, 2) |>T<|
[INFO] [stdout] step: 26 phase: B tape: (T, 1) (F, 1) |>F<| (T, 1)
[INFO] [stdout] step: 27 phase: C tape: (T, 1) (F, 1) (T, 1) |>T<|
[INFO] [stdout] step: 28 phase: C tape: (T, 1) (F, 1) (T, 1) (F, 1) |>F<|
[INFO] [stdout] step: 29 phase: B tape: (T, 1) (F, 1) (T, 1) |>F<|
[INFO] [stdout] step: 30 phase: C tape: (T, 1) (F, 1) (T, 2) |>F<|
[INFO] [stdout] step: 31 phase: B tape: (T, 1) (F, 1) (T, 1) |>T<|
[INFO] [stdout] rule_applied
[INFO] [stdout] step: 32 phase: B tape: (T, 1) (F, 1) |>T<| (T, 1)
[INFO] [stdout] step: 33 phase: B tape: (T, 1) |>F<| (T, 2)
[INFO] [stdout] step: 34 phase: C tape: (T, 2) |>T<| (T, 1)
[INFO] [stdout] rule_applied
[INFO] [stdout] step: 35 phase: C tape: (T, 2) (F, 1) |>T<|
[INFO] [stdout] step: 36 phase: C tape: (T, 2) (F, 2) |>F<|
[INFO] [stdout] step: 37 phase: B tape: (T, 2) (F, 1) |>F<|
[INFO] [stdout] step: 38 phase: C tape: (T, 2) (F, 1) (T, 1) |>F<|
[INFO] [stdout] step: 39 phase: B tape: (T, 2) (F, 1) |>T<|
[INFO] [stdout] step: 40 phase: B tape: (T, 2) |>F<| (T, 1)
[INFO] [stdout] step: 41 phase: C tape: (T, 3) |>T<|
[INFO] [stdout] step: 42 phase: C tape: (T, 3) (F, 1) |>F<|
[INFO] [stdout] thread 'simulate::test::prove_rules_is_same_as_not' panicked at src/simulate.rs:123:3:
[INFO] [stdout] not yet implemented
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x562dd9eab975 - std::backtrace_rs::backtrace::libunwind::trace::h59d96bdb08384354
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stdout]    1:     0x562dd9eab975 - std::backtrace_rs::backtrace::trace_unsynchronized::h9cf5becacfc93fba
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x562dd9eab975 - std::sys_common::backtrace::_print_fmt::h10b76d10405dbd48
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x562dd9eab975 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h6ed9e62a156d84e4
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x562dd9ed32cb - core::fmt::rt::Argument::fmt::h645c680983f03c9f
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/rt.rs:165:63
[INFO] [stdout]    5:     0x562dd9ed32cb - core::fmt::write::h8bcd80919a02be29
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/mod.rs:1169:21
[INFO] [stdout]    6:     0x562dd9ea8abf - std::io::Write::write_fmt::h8d0c47c662cad79c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/io/mod.rs:1835:15
[INFO] [stdout]    7:     0x562dd9eab74e - std::sys_common::backtrace::_print::h6306f131a28d62b0
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x562dd9eab74e - std::sys_common::backtrace::print::h7079288e0a26dfcc
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x562dd9ead179 - std::panicking::default_hook::{{closure}}::hb063ecec81a736ba
[INFO] [stdout]   10:     0x562dd9eace3e - std::panicking::default_hook::hd56ee406bf547b5c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:295:9
[INFO] [stdout]   11:     0x562dd9de758a - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he5eacdef44c8728f
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   12:     0x562dd9de758a - test::test_main::{{closure}}::h0ec9aed229e79095
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:137:21
[INFO] [stdout]   13:     0x562dd9ead77b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hcbd0d80e1ad4e4f9
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   14:     0x562dd9ead77b - std::panicking::rust_panic_with_hook::h624aa3ca42ebb8f2
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:799:13
[INFO] [stdout]   15:     0x562dd9ead4bb - std::panicking::begin_panic_handler::{{closure}}::hbc4e76194a5e287c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:656:13
[INFO] [stdout]   16:     0x562dd9eabe39 - std::sys_common::backtrace::__rust_end_short_backtrace::h847fedc9d1ff7b6d
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x562dd9ead227 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:652:5
[INFO] [stdout]   18:     0x562dd9c7ae03 - core::panicking::panic_fmt::hec11a924b87ce965
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x562dd9c7aeac - core::panicking::panic::hb6a980c1ddfde273
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panicking.rs:146:5
[INFO] [stdout]   20:     0x562dd9cf2a7a - rust_bbs::simulate::collate2::h1fafa6398aa2f570
[INFO] [stdout]                                at /opt/rustwide/workdir/src/simulate.rs:123:3
[INFO] [stdout]   21:     0x562dd9cf5105 - rust_bbs::simulate::make_side2::he29f745bc5a32fff
[INFO] [stdout]                                at /opt/rustwide/workdir/src/simulate.rs:338:36
[INFO] [stdout]   22:     0x562dd9cf64df - rust_bbs::simulate::detect_rule2::h5edc025715d2e177
[INFO] [stdout]                                at /opt/rustwide/workdir/src/simulate.rs:408:29
[INFO] [stdout]   23:     0x562dd9cf76f7 - rust_bbs::simulate::detect_rules::h1656a66b0a15a4aa
[INFO] [stdout]                                at /opt/rustwide/workdir/src/simulate.rs:480:19
[INFO] [stdout]   24:     0x562dd9cf8091 - rust_bbs::simulate::proving_rules_step::hc27756a9bc1dd01b
[INFO] [stdout]                                at /opt/rustwide/workdir/src/simulate.rs:546:15
[INFO] [stdout]   25:     0x562dd9d15c9e - rust_bbs::simulate::test::simultaneous_step_prove_step::h23ce327fc5aef093
[INFO] [stdout]                                at /opt/rustwide/workdir/src/simulate.rs:680:26
[INFO] [stdout]   26:     0x562dd9d161bd - rust_bbs::simulate::test::compare_machine_with_proving_rules::hfc83ee1ce2c48b65
[INFO] [stdout]                                at /opt/rustwide/workdir/src/simulate.rs:718:42
[INFO] [stdout]   27:     0x562dd9d19958 - rust_bbs::simulate::test::prove_rules_is_same_as_not::h1440849c6be842b3
[INFO] [stdout]                                at /opt/rustwide/workdir/src/simulate.rs:741:7
[INFO] [stdout]   28:     0x562dd9d19787 - rust_bbs::simulate::test::prove_rules_is_same_as_not::{{closure}}::h3a91ccff3d136397
[INFO] [stdout]                                at /opt/rustwide/workdir/src/simulate.rs:737:34
[INFO] [stdout]   29:     0x562dd9d4f126 - core::ops::function::FnOnce::call_once::h12bd1d67b44f787f
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   30:     0x562dd9debf6b - core::ops::function::FnOnce::call_once::h2e43a8f6f3d94b99
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   31:     0x562dd9debf6b - test::__rust_begin_short_backtrace::h214c9f2d2d3fee90
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:625:18
[INFO] [stdout]   32:     0x562dd9deb671 - test::run_test_in_process::{{closure}}::h510b7ba7990692a5
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:60
[INFO] [stdout]   33:     0x562dd9deb671 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4157186197a93871
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   34:     0x562dd9deb671 - std::panicking::try::do_call::h1bf2463bccd4b28c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stdout]   35:     0x562dd9deb671 - std::panicking::try::hd6d4808c9fab4fa5
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stdout]   36:     0x562dd9deb671 - std::panic::catch_unwind::hd5641d97d123f9f2
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stdout]   37:     0x562dd9deb671 - test::run_test_in_process::hc273b71c8b878a4c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:27
[INFO] [stdout]   38:     0x562dd9deb671 - test::run_test::{{closure}}::h6838df834eb8467e
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:569:43
[INFO] [stdout]   39:     0x562dd9db4034 - test::run_test::{{closure}}::h608b98ecff5665fb
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:599:41
[INFO] [stdout]   40:     0x562dd9db4034 - std::sys_common::backtrace::__rust_begin_short_backtrace::hdc4182b97d1042e9
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   41:     0x562dd9db8a62 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h571773fd21d674c8
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   42:     0x562dd9db8a62 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hdcd384cf2fa70ba3
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   43:     0x562dd9db8a62 - std::panicking::try::do_call::h4f1a44bd81423be1
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stdout]   44:     0x562dd9db8a62 - std::panicking::try::h5e02afcb81dcd361
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stdout]   45:     0x562dd9db8a62 - std::panic::catch_unwind::h022f75775bfd8c45
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stdout]   46:     0x562dd9db8a62 - std::thread::Builder::spawn_unchecked_::{{closure}}::hf5a62e9e4e6df1f8
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   47:     0x562dd9db8a62 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6d56360aeb9509a7
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   48:     0x562dd9eb1d3b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7a343dc551c06baa
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   49:     0x562dd9eb1d3b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h30b8111cbaa644f3
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   50:     0x562dd9eb1d3b - std::sys::pal::unix::thread::Thread::new::thread_start::h7404e134e61e7a11
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   51:     0x7f3aac8d3ac3 - <unknown>
[INFO] [stdout]   52:     0x7f3aac964a04 - __clone
[INFO] [stdout]   53:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     simulate::test::prove_rules_is_same_as_not
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 48 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.53s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--bin rust_bbs`
[INFO] running `Command { std: "docker" "inspect" "02819abf1f9449228fc48ac20d20407e9dc81abaa5a129d27fcd8951d0d0c656", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "02819abf1f9449228fc48ac20d20407e9dc81abaa5a129d27fcd8951d0d0c656", kill_on_drop: false }`
[INFO] [stdout] 02819abf1f9449228fc48ac20d20407e9dc81abaa5a129d27fcd8951d0d0c656
