[INFO] fetching crate razor-chase 0.1.0...
[INFO] testing razor-chase-0.1.0 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate razor-chase 0.1.0 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate razor-chase 0.1.0
[INFO] finished tweaking crates.io crate razor-chase 0.1.0
[INFO] tweaked toml for crates.io crate razor-chase 0.1.0 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate razor-chase 0.1.0 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 91 packages to highest compatible versions
[INFO] [stderr]       Adding criterion v0.1.2 (available: v0.8.2)
[INFO] [stderr]       Adding itertools v0.7.11 (available: v0.15.0)
[INFO] [stderr]       Adding rand v0.6.5 (available: v0.10.3)
[INFO] [stderr]       Adding wasi v0.10.0+wasi-snapshot-preview1 (available: v0.10.2+wasi-snapshot-preview1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:39:12
[INFO] [stderr]    |
[INFO] [stderr] 39 | homepage = "https://github.com/salmans/rusty-razor"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 43 | repository = "https://github.com/salmans/rusty-razor"
[INFO] [stderr]    |              ----------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `razor-chase` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 648dedcc4f1e935abd975328f8ad0cb2ea7a141656ad1f33c41c3556125ab612
[INFO] running `Command { std: "docker" "start" "648dedcc4f1e935abd975328f8ad0cb2ea7a141656ad1f33c41c3556125ab612", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "648dedcc4f1e935abd975328f8ad0cb2ea7a141656ad1f33c41c3556125ab612", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "648dedcc4f1e935abd975328f8ad0cb2ea7a141656ad1f33c41c3556125ab612" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "648dedcc4f1e935abd975328f8ad0cb2ea7a141656ad1f33c41c3556125ab612", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "648dedcc4f1e935abd975328f8ad0cb2ea7a141656ad1f33c41c3556125ab612" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:39:12
[INFO] [stderr]    |
[INFO] [stderr] 39 | homepage = "https://github.com/salmans/rusty-razor"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 43 | repository = "https://github.com/salmans/rusty-razor"
[INFO] [stderr]    |              ----------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `razor-chase` (manifest) generated 1 warning
[INFO] [stderr]    Compiling rand_core v0.4.3
[INFO] [stderr]    Compiling memchr v2.8.3
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling autocfg v0.1.8
[INFO] [stderr]    Compiling version_check v0.1.5
[INFO] [stderr]    Compiling failure_derive v0.1.8
[INFO] [stderr]    Compiling either v1.19.0
[INFO] [stderr]    Compiling rand v0.4.6
[INFO] [stderr]    Compiling rand_pcg v0.1.2
[INFO] [stderr]    Compiling rand_chacha v0.1.1
[INFO] [stderr]    Compiling cast v0.1.0
[INFO] [stderr]    Compiling rand_core v0.3.2
[INFO] [stderr]    Compiling log v0.3.9
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling nom v4.2.3
[INFO] [stderr]    Compiling itertools v0.5.10
[INFO] [stderr]    Compiling rand v0.6.5
[INFO] [stderr]    Compiling num-traits v0.1.43
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling syn v3.0.9
[INFO] [stderr]    Compiling time v0.1.45
[INFO] [stderr]    Compiling rand v0.3.23
[INFO] [stderr]    Compiling num_cpus v0.2.13
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling bytecount v0.3.2
[INFO] [stderr]    Compiling thread-scoped v1.0.2
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling term v0.4.6
[INFO] [stderr]    Compiling cfg-if v0.1.10
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling nom_locate v0.3.1
[INFO] [stderr]    Compiling simplelog v0.4.4
[INFO] [stderr]    Compiling serde_json v1.0.154
[INFO] [stderr]    Compiling isatty v0.1.9
[INFO] [stderr]    Compiling criterion-plot v0.1.3
[INFO] [stderr]    Compiling synstructure v0.12.6
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling criterion-stats v0.1.3
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling itertools v0.7.11
[INFO] [stderr]    Compiling rand_xorshift v0.1.1
[INFO] [stderr]    Compiling rand_hc v0.1.0
[INFO] [stderr]    Compiling rand_isaac v0.1.1
[INFO] [stderr]    Compiling rand_os v0.1.3
[INFO] [stderr]    Compiling rand_jitter v0.1.4
[INFO] [stderr]    Compiling itertools v0.4.19
[INFO] [stderr]    Compiling backtrace v0.3.76
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling failure v0.1.8
[INFO] [stderr]    Compiling razor-fol v0.1.0
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling criterion v0.1.2
[INFO] [stderr]    Compiling razor-chase v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: non-binding let on a synchronization lock
[INFO] [stdout]   --> src/trace/subscriber.rs:42:25
[INFO] [stdout]    |
[INFO] [stdout] 42 |                     let _ = self.chase_step_record
[INFO] [stdout]    |                         ^ this lock is not assigned to a binding and is immediately dropped
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(let_underscore_lock)]` (part of `#[warn(let_underscore)]`) on by default
[INFO] [stdout] help: consider binding to an unused variable to avoid immediately dropping the value
[INFO] [stdout]    |
[INFO] [stdout] 42 |                     let _unused = self.chase_step_record
[INFO] [stdout]    |                          ++++++
[INFO] [stdout] help: consider immediately dropping the value
[INFO] [stdout]    |
[INFO] [stdout] 42 ~                     drop(self.chase_step_record
[INFO] [stdout] 43 |                         .lock()
[INFO] [stdout] ...
[INFO] [stdout] 46 |                             rec
[INFO] [stdout] 47 ~                         }));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: non-binding let on a synchronization lock
[INFO] [stdout]   --> src/trace/subscriber.rs:52:25
[INFO] [stdout]    |
[INFO] [stdout] 52 |                     let _ = self.chase_step_record
[INFO] [stdout]    |                         ^ this lock is not assigned to a binding and is immediately dropped
[INFO] [stdout]    |
[INFO] [stdout] help: consider binding to an unused variable to avoid immediately dropping the value
[INFO] [stdout]    |
[INFO] [stdout] 52 |                     let _unused = self.chase_step_record
[INFO] [stdout]    |                          ++++++
[INFO] [stdout] help: consider immediately dropping the value
[INFO] [stdout]    |
[INFO] [stdout] 52 ~                     drop(self.chase_step_record
[INFO] [stdout] 53 |                         .lock()
[INFO] [stdout] ...
[INFO] [stdout] 56 |                             rec
[INFO] [stdout] 57 ~                         }));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: unused dependency `criterion`
[INFO] [stderr]  --> Cargo.toml:5:15
[INFO] [stderr]   |
[INFO] [stderr] 5 | [dependencies.criterion]
[INFO] [stderr]   |               ^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `criterion`
[INFO] [stderr] warning: `razor-chase` (manifest) generated 1 warning
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1m 22s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: criterion v0.1.2, nom v4.2.3, razor-fol v0.1.0
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] running `Command { std: "docker" "inspect" "648dedcc4f1e935abd975328f8ad0cb2ea7a141656ad1f33c41c3556125ab612", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "648dedcc4f1e935abd975328f8ad0cb2ea7a141656ad1f33c41c3556125ab612" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:39:12
[INFO] [stderr]    |
[INFO] [stderr] 39 | homepage = "https://github.com/salmans/rusty-razor"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 43 | repository = "https://github.com/salmans/rusty-razor"
[INFO] [stderr]    |              ----------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `razor-chase` (manifest) generated 1 warning
[INFO] [stdout] warning: non-binding let on a synchronization lock
[INFO] [stdout]   --> src/trace/subscriber.rs:42:25
[INFO] [stdout]    |
[INFO] [stdout] 42 |                     let _ = self.chase_step_record
[INFO] [stdout]    |                         ^ this lock is not assigned to a binding and is immediately dropped
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(let_underscore_lock)]` (part of `#[warn(let_underscore)]`) on by default
[INFO] [stdout] help: consider binding to an unused variable to avoid immediately dropping the value
[INFO] [stdout]    |
[INFO] [stdout] 42 |                     let _unused = self.chase_step_record
[INFO] [stdout]    |                          ++++++
[INFO] [stdout] help: consider immediately dropping the value
[INFO] [stdout]    |
[INFO] [stdout] 42 ~                     drop(self.chase_step_record
[INFO] [stdout] 43 |                         .lock()
[INFO] [stdout] ...
[INFO] [stdout] 46 |                             rec
[INFO] [stdout] 47 ~                         }));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: non-binding let on a synchronization lock
[INFO] [stdout]   --> src/trace/subscriber.rs:52:25
[INFO] [stdout]    |
[INFO] [stdout] 52 |                     let _ = self.chase_step_record
[INFO] [stdout]    |                         ^ this lock is not assigned to a binding and is immediately dropped
[INFO] [stdout]    |
[INFO] [stdout] help: consider binding to an unused variable to avoid immediately dropping the value
[INFO] [stdout]    |
[INFO] [stdout] 52 |                     let _unused = self.chase_step_record
[INFO] [stdout]    |                          ++++++
[INFO] [stdout] help: consider immediately dropping the value
[INFO] [stdout]    |
[INFO] [stdout] 52 ~                     drop(self.chase_step_record
[INFO] [stdout] 53 |                         .lock()
[INFO] [stdout] ...
[INFO] [stdout] 56 |                             rec
[INFO] [stdout] 57 ~                         }));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling razor-chase v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused return value of `from` that must be used
[INFO] [stdout]    --> src/chase/impl/basic.rs:939:9
[INFO] [stdout]     |
[INFO] [stdout] 939 |         Sequent::from(&"true".parse().unwrap());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 939 |         let _ = Sequent::from(&"true".parse().unwrap());
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `from` that must be used
[INFO] [stdout]    --> src/chase/impl/basic.rs:945:9
[INFO] [stdout]     |
[INFO] [stdout] 945 |         Sequent::from(&"false".parse().unwrap());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 945 |         let _ = Sequent::from(&"false".parse().unwrap());
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `from` that must be used
[INFO] [stdout]    --> src/chase/impl/basic.rs:951:9
[INFO] [stdout]     |
[INFO] [stdout] 951 |         Sequent::from(&"false -> true".parse().unwrap());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 951 |         let _ = Sequent::from(&"false -> true".parse().unwrap());
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `from` that must be used
[INFO] [stdout]    --> src/chase/impl/basic.rs:957:9
[INFO] [stdout]     |
[INFO] [stdout] 957 |         Sequent::from(&"(P(x) | Q(x)) -> R(x)".parse().unwrap());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 957 |         let _ = Sequent::from(&"(P(x) | Q(x)) -> R(x)".parse().unwrap());
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `from` that must be used
[INFO] [stdout]    --> src/chase/impl/basic.rs:963:9
[INFO] [stdout]     |
[INFO] [stdout] 963 |         Sequent::from(&"P(x) -> R(x) & (Q(z) | R(z))".parse().unwrap());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 963 |         let _ = Sequent::from(&"P(x) -> R(x) & (Q(z) | R(z))".parse().unwrap());
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `from` that must be used
[INFO] [stdout]    --> src/chase/impl/basic.rs:969:9
[INFO] [stdout]     |
[INFO] [stdout] 969 |         Sequent::from(&"P(x) -> ?x. Q(x)".parse().unwrap());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 969 |         let _ = Sequent::from(&"P(x) -> ?x. Q(x)".parse().unwrap());
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `from` that must be used
[INFO] [stdout]    --> src/chase/impl/basic.rs:975:9
[INFO] [stdout]     |
[INFO] [stdout] 975 |         Sequent::from(&"?x.Q(x) -> P(x)".parse().unwrap());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 975 |         let _ = Sequent::from(&"?x.Q(x) -> P(x)".parse().unwrap());
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `from` that must be used
[INFO] [stdout]    --> src/chase/impl/basic.rs:981:9
[INFO] [stdout]     |
[INFO] [stdout] 981 |         Sequent::from(&"true -> ~false".parse().unwrap());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 981 |         let _ = Sequent::from(&"true -> ~false".parse().unwrap());
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `from` that must be used
[INFO] [stdout]    --> src/chase/impl/basic.rs:987:9
[INFO] [stdout]     |
[INFO] [stdout] 987 |         Sequent::from(&"true -> ~true".parse().unwrap());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 987 |         let _ = Sequent::from(&"true -> ~true".parse().unwrap());
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `from` that must be used
[INFO] [stdout]    --> src/chase/impl/basic.rs:993:9
[INFO] [stdout]     |
[INFO] [stdout] 993 |         Sequent::from(&"~P(x) -> ~Q(x)".parse().unwrap());
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 993 |         let _ = Sequent::from(&"~P(x) -> ~Q(x)".parse().unwrap());
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: non-binding let on a synchronization lock
[INFO] [stdout]   --> src/trace/subscriber.rs:42:25
[INFO] [stdout]    |
[INFO] [stdout] 42 |                     let _ = self.chase_step_record
[INFO] [stdout]    |                         ^ this lock is not assigned to a binding and is immediately dropped
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(let_underscore_lock)]` (part of `#[warn(let_underscore)]`) on by default
[INFO] [stdout] help: consider binding to an unused variable to avoid immediately dropping the value
[INFO] [stdout]    |
[INFO] [stdout] 42 |                     let _unused = self.chase_step_record
[INFO] [stdout]    |                          ++++++
[INFO] [stdout] help: consider immediately dropping the value
[INFO] [stdout]    |
[INFO] [stdout] 42 ~                     drop(self.chase_step_record
[INFO] [stdout] 43 |                         .lock()
[INFO] [stdout] ...
[INFO] [stdout] 46 |                             rec
[INFO] [stdout] 47 ~                         }));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: non-binding let on a synchronization lock
[INFO] [stdout]   --> src/trace/subscriber.rs:52:25
[INFO] [stdout]    |
[INFO] [stdout] 52 |                     let _ = self.chase_step_record
[INFO] [stdout]    |                         ^ this lock is not assigned to a binding and is immediately dropped
[INFO] [stdout]    |
[INFO] [stdout] help: consider binding to an unused variable to avoid immediately dropping the value
[INFO] [stdout]    |
[INFO] [stdout] 52 |                     let _unused = self.chase_step_record
[INFO] [stdout]    |                          ++++++
[INFO] [stdout] help: consider immediately dropping the value
[INFO] [stdout]    |
[INFO] [stdout] 52 ~                     drop(self.chase_step_record
[INFO] [stdout] 53 |                         .lock()
[INFO] [stdout] ...
[INFO] [stdout] 56 |                             rec
[INFO] [stdout] 57 ~                         }));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: unused dependency `criterion`
[INFO] [stderr]  --> Cargo.toml:5:15
[INFO] [stderr]   |
[INFO] [stderr] 5 | [dependencies.criterion]
[INFO] [stderr]   |               ^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `criterion`
[INFO] [stderr] warning: `razor-chase` (manifest) generated 1 warning
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 12.95s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: criterion v0.1.2, nom v4.2.3, razor-fol v0.1.0
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] running `Command { std: "docker" "inspect" "648dedcc4f1e935abd975328f8ad0cb2ea7a141656ad1f33c41c3556125ab612", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "648dedcc4f1e935abd975328f8ad0cb2ea7a141656ad1f33c41c3556125ab612" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:39:12
[INFO] [stderr]    |
[INFO] [stderr] 39 | homepage = "https://github.com/salmans/rusty-razor"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 43 | repository = "https://github.com/salmans/rusty-razor"
[INFO] [stderr]    |              ----------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `razor-chase` (manifest) generated 1 warning
[INFO] [stderr] warning: non-binding let on a synchronization lock
[INFO] [stderr]   --> src/trace/subscriber.rs:42:25
[INFO] [stderr]    |
[INFO] [stderr] 42 |                     let _ = self.chase_step_record
[INFO] [stderr]    |                         ^ this lock is not assigned to a binding and is immediately dropped
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(let_underscore_lock)]` (part of `#[warn(let_underscore)]`) on by default
[INFO] [stderr] help: consider binding to an unused variable to avoid immediately dropping the value
[INFO] [stderr]    |
[INFO] [stderr] 42 |                     let _unused = self.chase_step_record
[INFO] [stderr]    |                          ++++++
[INFO] [stderr] help: consider immediately dropping the value
[INFO] [stderr]    |
[INFO] [stderr] 42 ~                     drop(self.chase_step_record
[INFO] [stderr] 43 |                         .lock()
[INFO] [stderr] ...
[INFO] [stderr] 46 |                             rec
[INFO] [stderr] 47 ~                         }));
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: non-binding let on a synchronization lock
[INFO] [stderr]   --> src/trace/subscriber.rs:52:25
[INFO] [stderr]    |
[INFO] [stderr] 52 |                     let _ = self.chase_step_record
[INFO] [stderr]    |                         ^ this lock is not assigned to a binding and is immediately dropped
[INFO] [stderr]    |
[INFO] [stderr] help: consider binding to an unused variable to avoid immediately dropping the value
[INFO] [stderr]    |
[INFO] [stderr] 52 |                     let _unused = self.chase_step_record
[INFO] [stderr]    |                          ++++++
[INFO] [stderr] help: consider immediately dropping the value
[INFO] [stderr]    |
[INFO] [stderr] 52 ~                     drop(self.chase_step_record
[INFO] [stderr] 53 |                         .lock()
[INFO] [stderr] ...
[INFO] [stderr] 56 |                             rec
[INFO] [stderr] 57 ~                         }));
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: unused return value of `from` that must be used
[INFO] [stderr]    --> src/chase/impl/basic.rs:939:9
[INFO] [stderr]     |
[INFO] [stderr] 939 |         Sequent::from(&"true".parse().unwrap());
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 939 |         let _ = Sequent::from(&"true".parse().unwrap());
[INFO] [stderr]     |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: unused return value of `from` that must be used
[INFO] [stderr]    --> src/chase/impl/basic.rs:945:9
[INFO] [stderr]     |
[INFO] [stderr] 945 |         Sequent::from(&"false".parse().unwrap());
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 945 |         let _ = Sequent::from(&"false".parse().unwrap());
[INFO] [stderr]     |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: unused return value of `from` that must be used
[INFO] [stderr]    --> src/chase/impl/basic.rs:951:9
[INFO] [stderr]     |
[INFO] [stderr] 951 |         Sequent::from(&"false -> true".parse().unwrap());
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 951 |         let _ = Sequent::from(&"false -> true".parse().unwrap());
[INFO] [stderr]     |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: unused return value of `from` that must be used
[INFO] [stderr]    --> src/chase/impl/basic.rs:957:9
[INFO] [stderr]     |
[INFO] [stderr] 957 |         Sequent::from(&"(P(x) | Q(x)) -> R(x)".parse().unwrap());
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 957 |         let _ = Sequent::from(&"(P(x) | Q(x)) -> R(x)".parse().unwrap());
[INFO] [stderr]     |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: unused return value of `from` that must be used
[INFO] [stderr]    --> src/chase/impl/basic.rs:963:9
[INFO] [stderr]     |
[INFO] [stderr] 963 |         Sequent::from(&"P(x) -> R(x) & (Q(z) | R(z))".parse().unwrap());
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 963 |         let _ = Sequent::from(&"P(x) -> R(x) & (Q(z) | R(z))".parse().unwrap());
[INFO] [stderr]     |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: unused return value of `from` that must be used
[INFO] [stderr]    --> src/chase/impl/basic.rs:969:9
[INFO] [stderr]     |
[INFO] [stderr] 969 |         Sequent::from(&"P(x) -> ?x. Q(x)".parse().unwrap());
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 969 |         let _ = Sequent::from(&"P(x) -> ?x. Q(x)".parse().unwrap());
[INFO] [stderr]     |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: unused return value of `from` that must be used
[INFO] [stderr]    --> src/chase/impl/basic.rs:975:9
[INFO] [stderr]     |
[INFO] [stderr] 975 |         Sequent::from(&"?x.Q(x) -> P(x)".parse().unwrap());
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 975 |         let _ = Sequent::from(&"?x.Q(x) -> P(x)".parse().unwrap());
[INFO] [stderr]     |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: unused return value of `from` that must be used
[INFO] [stderr]    --> src/chase/impl/basic.rs:981:9
[INFO] [stderr]     |
[INFO] [stderr] 981 |         Sequent::from(&"true -> ~false".parse().unwrap());
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 981 |         let _ = Sequent::from(&"true -> ~false".parse().unwrap());
[INFO] [stderr]     |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: unused return value of `from` that must be used
[INFO] [stderr]    --> src/chase/impl/basic.rs:987:9
[INFO] [stderr]     |
[INFO] [stderr] 987 |         Sequent::from(&"true -> ~true".parse().unwrap());
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 987 |         let _ = Sequent::from(&"true -> ~true".parse().unwrap());
[INFO] [stderr]     |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: unused return value of `from` that must be used
[INFO] [stderr]    --> src/chase/impl/basic.rs:993:9
[INFO] [stderr]     |
[INFO] [stderr] 993 |         Sequent::from(&"~P(x) -> ~Q(x)".parse().unwrap());
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 993 |         let _ = Sequent::from(&"~P(x) -> ~Q(x)".parse().unwrap());
[INFO] [stderr]     |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: `razor-chase` (lib) generated 2 warnings (run `cargo fix --lib -p razor-chase` to apply 2 suggestions)
[INFO] [stderr] warning: `razor-chase` (lib test) generated 12 warnings (2 duplicates)
[INFO] [stderr] warning: unused dependency `criterion`
[INFO] [stderr]  --> Cargo.toml:5:15
[INFO] [stderr]   |
[INFO] [stderr] 5 | [dependencies.criterion]
[INFO] [stderr]   |               ^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `criterion`
[INFO] [stderr] warning: `razor-chase` (manifest) generated 1 warning
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.12s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: criterion v0.1.2, nom v4.2.3, razor-fol v0.1.0
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/razor-chase/074ae856d74627ac/out/razor_chase-074ae856d74627ac)
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_build_invalid_sequent_1 - should panic ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_build_invalid_sequent_10 - should panic ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_build_invalid_sequent_5 - should panic ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_build_invalid_sequent_3 - should panic ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_build_invalid_sequent_6 - should panic ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_bounded ... FAILED
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_build_invalid_sequent_4 - should panic ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_build_sequent ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_build_invalid_sequent_2 - should panic ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_empty_model ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_build_invalid_sequent_7 - should panic ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_build_invalid_sequent_8 - should panic ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_build_invalid_sequent_9 - should panic ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_core ... FAILED
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_observation ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_witness_const ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_observe ... ok
[INFO] [stdout] test chase::r#impl::batch::test_batch::test ... FAILED
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_observe_missing_element - should panic ... ok
[INFO] [stdout] test chase::r#impl::basic::test_basic::test_witness_app ... ok
[INFO] [stdout] test chase::r#impl::batch::test_batch::test_next_assignment ... ok
[INFO] [stdout] test chase::r#impl::reference::test_reference::test_next_assignment ... ok
[INFO] [stdout] test chase::test_chase::test_element ... ok
[INFO] [stdout] test chase::test_chase::test_rel ... ok
[INFO] [stdout] test chase::strategy::test_bootstrap::test ... FAILED
[INFO] [stdout] test chase::r#impl::reference::test_reference::test ... FAILED
[INFO] [stdout] test chase::strategy::test_fair::test ... FAILED
[INFO] [stdout] test chase::scheduler::test_lifo::test ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- chase::r#impl::basic::test_basic::test_bounded stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'chase::r#impl::basic::test_basic::test_bounded' (1070) panicked at src/test_prelude.rs:148:38:
[INFO] [stdout] file not found: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x63b3a86737a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x63b3a868879a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x63b3a8677d7c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x63b3a864f116 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x63b3a866b9f9 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x63b3a859b9d0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x63b3a866bbb2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x63b3a864f1c2 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x63b3a8647e09 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x63b3a864fdcd - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x63b3a8688efc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x63b3a8688cd2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x63b3a857d02c - razor_chase[71de4a151e100f9d]::test_prelude::read_theory_from_file
[INFO] [stdout]   13:     0x63b3a855c0c5 - <razor_chase[71de4a151e100f9d]::chase::impl::basic::test_basic::test_bounded::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   14:     0x63b3a858ee1b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   15:     0x63b3a859bff5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   16:     0x63b3a85958e4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   17:     0x63b3a859f082 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   18:     0x63b3a8672fcf - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   19:     0x7560cbd57dfa - <unknown>
[INFO] [stdout]   20:     0x7560cbdeb3d4 - clone
[INFO] [stdout]   21:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- chase::r#impl::basic::test_basic::test_core stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'chase::r#impl::basic::test_basic::test_core' (1082) panicked at src/test_prelude.rs:148:38:
[INFO] [stdout] file not found: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x63b3a86737a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x63b3a868879a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x63b3a8677d7c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x63b3a864f116 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x63b3a866b9f9 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x63b3a859b9d0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x63b3a866bbb2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x63b3a864f1c2 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x63b3a8647e09 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x63b3a864fdcd - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x63b3a8688efc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x63b3a8688cd2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x63b3a857d02c - razor_chase[71de4a151e100f9d]::test_prelude::read_theory_from_file
[INFO] [stdout]   13:     0x63b3a85581b2 - razor_chase[71de4a151e100f9d]::chase::impl::basic::test_basic::test_core
[INFO] [stdout]   14:     0x63b3a855f1c9 - <razor_chase[71de4a151e100f9d]::chase::impl::basic::test_basic::test_core::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   15:     0x63b3a858ee1b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   16:     0x63b3a859bff5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   17:     0x63b3a85958e4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   18:     0x63b3a859f082 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   19:     0x63b3a8672fcf - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   20:     0x7560cbd57dfa - <unknown>
[INFO] [stdout]   21:     0x7560cbdeb3d4 - clone
[INFO] [stdout]   22:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- chase::r#impl::batch::test_batch::test stdout ----
[INFO] [stdout] /opt/rustwide/workdir
[INFO] [stdout] 
[INFO] [stdout] thread 'chase::r#impl::batch::test_batch::test' (1089) panicked at src/chase/impl/batch.rs:285:54:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x63b3a86737a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x63b3a868879a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x63b3a8677d7c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x63b3a864f116 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x63b3a866b9f9 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x63b3a859b9d0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x63b3a866bbb2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x63b3a864f1c2 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x63b3a8647e09 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x63b3a864fdcd - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x63b3a8688efc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x63b3a8688cd2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x63b3a857ed6e - <razor_chase[71de4a151e100f9d]::chase::impl::batch::test_batch::test::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x63b3a858ee1b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x63b3a859bff5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x63b3a85958e4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x63b3a859f082 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x63b3a8672fcf - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x7560cbd57dfa - <unknown>
[INFO] [stdout]   19:     0x7560cbdeb3d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- chase::strategy::test_bootstrap::test stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'chase::strategy::test_bootstrap::test' (1094) panicked at src/chase/strategy.rs:223:54:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x63b3a86737a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x63b3a868879a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x63b3a8677d7c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x63b3a864f116 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x63b3a866b9f9 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x63b3a859b9d0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x63b3a866bbb2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x63b3a864f1c2 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x63b3a8647e09 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x63b3a864fdcd - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x63b3a8688efc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x63b3a8688cd2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x63b3a856de51 - <razor_chase[71de4a151e100f9d]::chase::strategy::test_bootstrap::test::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x63b3a858ee1b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x63b3a859bff5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x63b3a85958e4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x63b3a859f082 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x63b3a8672fcf - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x7560cbd57dfa - <unknown>
[INFO] [stdout]   19:     0x7560cbdeb3d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- chase::r#impl::reference::test_reference::test stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'chase::r#impl::reference::test_reference::test' (1091) panicked at src/chase/impl/reference.rs:696:54:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x63b3a86737a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x63b3a868879a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x63b3a8677d7c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x63b3a864f116 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x63b3a866b9f9 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x63b3a859b9d0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x63b3a866bbb2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x63b3a864f1c2 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x63b3a8647e09 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x63b3a864fdcd - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x63b3a8688efc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x63b3a8688cd2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x63b3a8570351 - <razor_chase[71de4a151e100f9d]::chase::impl::reference::test_reference::test::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x63b3a858ee1b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x63b3a859bff5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x63b3a85958e4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x63b3a859f082 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x63b3a8672fcf - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x7560cbd57dfa - <unknown>
[INFO] [stdout]   19:     0x7560cbdeb3d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- chase::strategy::test_fair::test stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'chase::strategy::test_fair::test' (1095) panicked at src/chase/strategy.rs:185:54:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x63b3a86737a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x63b3a868879a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x63b3a8677d7c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x63b3a864f116 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x63b3a866b9f9 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x63b3a859b9d0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x63b3a866bbb2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x63b3a864f1c2 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x63b3a8647e09 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x63b3a864fdcd - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x63b3a8688efc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x63b3a8688cd2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x63b3a857a447 - <razor_chase[71de4a151e100f9d]::chase::strategy::test_fair::test::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x63b3a858ee1b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x63b3a859bff5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x63b3a85958e4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x63b3a859f082 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x63b3a8672fcf - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x7560cbd57dfa - <unknown>
[INFO] [stdout]   19:     0x7560cbdeb3d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- chase::scheduler::test_lifo::test stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'chase::scheduler::test_lifo::test' (1093) panicked at src/chase/scheduler.rs:167:54:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x63b3a86737a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x63b3a868879a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x63b3a8677d7c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x63b3a864f116 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x63b3a866b9f9 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x63b3a859b9d0 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x63b3a866bbb2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x63b3a864f1c2 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x63b3a8647e09 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x63b3a864fdcd - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x63b3a8688efc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x63b3a8688cd2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x63b3a856eca7 - <razor_chase[71de4a151e100f9d]::chase::scheduler::test_lifo::test::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x63b3a858ee1b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x63b3a859bff5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x63b3a85958e4 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x63b3a859f082 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x63b3a8672fcf - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x7560cbd57dfa - <unknown>
[INFO] [stdout]   19:     0x7560cbdeb3d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     chase::r#impl::basic::test_basic::test_bounded
[INFO] [stdout]     chase::r#impl::basic::test_basic::test_core
[INFO] [stdout]     chase::r#impl::batch::test_batch::test
[INFO] [stdout]     chase::r#impl::reference::test_reference::test
[INFO] [stdout]     chase::scheduler::test_lifo::test
[INFO] [stdout]     chase::strategy::test_bootstrap::test
[INFO] [stdout]     chase::strategy::test_fair::test
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 21 passed; 7 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "648dedcc4f1e935abd975328f8ad0cb2ea7a141656ad1f33c41c3556125ab612", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "648dedcc4f1e935abd975328f8ad0cb2ea7a141656ad1f33c41c3556125ab612", kill_on_drop: false }`
[INFO] [stdout] 648dedcc4f1e935abd975328f8ad0cb2ea7a141656ad1f33c41c3556125ab612
