[INFO] cloning repository https://github.com/nominolo/rust-model-based-testing-sketches [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/nominolo/rust-model-based-testing-sketches" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnominolo%2Frust-model-based-testing-sketches", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnominolo%2Frust-model-based-testing-sketches'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] c2d8003605f456b72bca658c5c7cf99600867e83 [INFO] testing nominolo/rust-model-based-testing-sketches against 1.60.0 for beta-1.61-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnominolo%2Frust-model-based-testing-sketches" "/workspace/builds/worker-0/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/nominolo/rust-model-based-testing-sketches on toolchain 1.60.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/nominolo/rust-model-based-testing-sketches [INFO] finished tweaking git repo https://github.com/nominolo/rust-model-based-testing-sketches [INFO] tweaked toml for git repo https://github.com/nominolo/rust-model-based-testing-sketches written to /workspace/builds/worker-0/source/Cargo.toml [INFO] crate git repo https://github.com/nominolo/rust-model-based-testing-sketches already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded roaring v0.7.0 [INFO] [stderr] Downloaded priority-queue v1.0.4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 496df1f4e491ac2b7e88922f797aec3e59f8128a3538be0047281c8a91242f66 [INFO] running `Command { std: "docker" "start" "-a" "496df1f4e491ac2b7e88922f797aec3e59f8128a3538be0047281c8a91242f66", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "496df1f4e491ac2b7e88922f797aec3e59f8128a3538be0047281c8a91242f66", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "496df1f4e491ac2b7e88922f797aec3e59f8128a3538be0047281c8a91242f66", kill_on_drop: false }` [INFO] [stdout] 496df1f4e491ac2b7e88922f797aec3e59f8128a3538be0047281c8a91242f66 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "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:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] cd8a206a37355358d38d0a2818fcbc13dd05d2c04ec09450275fd9afa91f48fd [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "cd8a206a37355358d38d0a2818fcbc13dd05d2c04ec09450275fd9afa91f48fd", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.103 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling retain_mut v0.1.4 [INFO] [stderr] Compiling quick-error v2.0.1 [INFO] [stderr] Compiling bytemuck v1.7.2 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling indexmap v1.7.0 [INFO] [stderr] Compiling priority-queue v1.0.4 [INFO] [stderr] Compiling roaring v0.7.0 [INFO] [stderr] Compiling bit-set v0.5.2 [INFO] [stderr] Compiling getrandom v0.2.3 [INFO] [stderr] Compiling wait-timeout v0.2.0 [INFO] [stderr] Compiling rand_core v0.6.3 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand_xorshift v0.3.0 [INFO] [stderr] Compiling rand v0.8.4 [INFO] [stderr] Compiling tempfile v3.2.0 [INFO] [stderr] Compiling rusty-fork v0.3.0 [INFO] [stderr] Compiling proptest v1.0.0 [INFO] [stderr] Compiling mbtesting v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `collection` [INFO] [stdout] --> src/checkroaring.rs:1:16 [INFO] [stdout] | [INFO] [stdout] 1 | use proptest::{collection, prelude::*}; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `model` [INFO] [stdout] --> src/main.rs:124:22 [INFO] [stdout] | [INFO] [stdout] 124 | pub fn pre_condition(model: &PqueueModel, action: &Action) -> bool { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_model` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `arb_push` [INFO] [stdout] --> src/main.rs:168:4 [INFO] [stdout] | [INFO] [stdout] 168 | fn arb_push() -> impl Strategy { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `arb_remove` [INFO] [stdout] --> src/main.rs:172:4 [INFO] [stdout] | [INFO] [stdout] 172 | fn arb_remove() -> impl Strategy { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `arb_action` [INFO] [stdout] --> src/main.rs:176:4 [INFO] [stdout] | [INFO] [stdout] 176 | fn arb_action() -> impl Strategy { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `arb_admissable_action` [INFO] [stdout] --> src/main.rs:184:4 [INFO] [stdout] | [INFO] [stdout] 184 | fn arb_admissable_action(model: Arc) -> BoxedStrategy { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `arb_insert` [INFO] [stdout] --> src/checkroaring.rs:75:4 [INFO] [stdout] | [INFO] [stdout] 75 | fn arb_insert(max_val: u32) -> impl Strategy { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `arb_remove` [INFO] [stdout] --> src/checkroaring.rs:79:4 [INFO] [stdout] | [INFO] [stdout] 79 | fn arb_remove(max_val: u32) -> impl Strategy { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `arb_contains` [INFO] [stdout] --> src/checkroaring.rs:83:4 [INFO] [stdout] | [INFO] [stdout] 83 | fn arb_contains(max_val: u32) -> impl Strategy { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `arb_simple_action` [INFO] [stdout] --> src/checkroaring.rs:87:4 [INFO] [stdout] | [INFO] [stdout] 87 | fn arb_simple_action(max_val: u32)-> impl Strategy { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 10 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 32.65s [INFO] running `Command { std: "docker" "inspect" "cd8a206a37355358d38d0a2818fcbc13dd05d2c04ec09450275fd9afa91f48fd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cd8a206a37355358d38d0a2818fcbc13dd05d2c04ec09450275fd9afa91f48fd", kill_on_drop: false }` [INFO] [stdout] cd8a206a37355358d38d0a2818fcbc13dd05d2c04ec09450275fd9afa91f48fd [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "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:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 77426bf35a7f2a0c367559dfd4e1f2d9a7d15610996d98a805fb47f965652d63 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "77426bf35a7f2a0c367559dfd4e1f2d9a7d15610996d98a805fb47f965652d63", kill_on_drop: false }` [INFO] [stderr] Compiling mbtesting v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused variable: `model` [INFO] [stdout] --> src/main.rs:124:22 [INFO] [stdout] | [INFO] [stdout] 124 | pub fn pre_condition(model: &PqueueModel, action: &Action) -> bool { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_model` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `arb_admissable_action` [INFO] [stdout] --> src/main.rs:184:4 [INFO] [stdout] | [INFO] [stdout] 184 | fn arb_admissable_action(model: Arc) -> BoxedStrategy { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 4.95s [INFO] running `Command { std: "docker" "inspect" "77426bf35a7f2a0c367559dfd4e1f2d9a7d15610996d98a805fb47f965652d63", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "77426bf35a7f2a0c367559dfd4e1f2d9a7d15610996d98a805fb47f965652d63", kill_on_drop: false }` [INFO] [stdout] 77426bf35a7f2a0c367559dfd4e1f2d9a7d15610996d98a805fb47f965652d63 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "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:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 1a4aa14a8946ea37d453429853c9d976767ed82f830cadbb260ca39e242a06cc [INFO] running `Command { std: "docker" "start" "-a" "1a4aa14a8946ea37d453429853c9d976767ed82f830cadbb260ca39e242a06cc", kill_on_drop: false }` [INFO] [stderr] warning: unused variable: `model` [INFO] [stderr] --> src/main.rs:124:22 [INFO] [stderr] | [INFO] [stderr] 124 | pub fn pre_condition(model: &PqueueModel, action: &Action) -> bool { [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_model` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: function is never used: `arb_admissable_action` [INFO] [stdout] [INFO] [stderr] --> src/main.rs:184:4 [INFO] [stdout] running 3 tests [INFO] [stderr] | [INFO] [stderr] 184 | fn arb_admissable_action(model: Arc) -> BoxedStrategy { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `mbtesting` (bin "mbtesting" test) generated 2 warnings [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.05s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/mbtesting-3f9d3cbf4956060f) [INFO] [stdout] test model_basics ... FAILED [INFO] [stdout] test basic_model ... FAILED [INFO] [stdout] test checkroaring::single_items ... ok [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- model_basics stdout ---- [INFO] [stdout] thread 'model_basics' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589ef733 - mbtesting::model_basics::h5b6e63d067f09f84 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:201:13 [INFO] [stdout] 20: 0x5633589ef36a - mbtesting::model_basics::{{closure}}::hc91c9d89d726c1e2 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:194:1 [INFO] [stdout] 21: 0x5633589de3be - core::ops::function::FnOnce::call_once::h43e0f883565b1e00 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 22: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 23: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 24: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 25: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 26: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 27: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 28: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 29: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 30: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 31: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 32: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 33: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 34: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 35: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 36: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 37: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 38: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 39: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 40: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 41: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 42: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 43: 0x7fb489e7f609 - start_thread [INFO] [stdout] 44: 0x7fb489c4f163 - clone [INFO] [stdout] 45: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- basic_model stdout ---- [INFO] [stdout] [Push(4, "l")] [INFO] [stdout] [Remove("m"), Push(4, "e"), Remove("j"), Push(8, "j"), Push(2, "m"), Push(4, "b"), Push(0, "h")] [INFO] [stdout] [Remove("i"), Remove("m")] [INFO] [stdout] [Push(1, "h"), Remove("i"), Remove("e"), Push(0, "b"), Remove("h"), Remove("h"), Remove("i")] [INFO] [stdout] thread 'basic_model' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589eff39 - mbtesting::basic_model::{{closure}}::h5ba106d9ccd76e38 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:216:17 [INFO] [stdout] 20: 0x5633589f14ff - core::ops::function::impls:: for &F>::call::h8bec8efbb181e13d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:237:13 [INFO] [stdout] 21: 0x5633589b9913 - proptest::test_runner::runner::call_test::{{closure}}::h317dcd7e70af4e06 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:49 [INFO] [stdout] 22: 0x5633589d3d2b - as core::ops::function::FnOnce<()>>::call_once::h4c867582148c9179 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x5633589d4919 - std::panicking::try::do_call::h84c8c00073a555ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x5633589d5efb - __rust_try [INFO] [stdout] 25: 0x5633589d42a8 - std::panicking::try::h2202570ddc219cbf [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x5633589f37cc - std::panic::catch_unwind::h08c84d294ffaf924 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x5633589ac786 - proptest::test_runner::runner::call_test::h9a76f5c94132efe5 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:9 [INFO] [stdout] 28: 0x5633589b6442 - proptest::test_runner::runner::TestRunner::run_one_with_replay::he30edcb5581b0824 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:693:22 [INFO] [stdout] 29: 0x5633589b4618 - proptest::test_runner::runner::TestRunner::gen_and_run_case::h2e4224402320a6a3 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:649:12 [INFO] [stdout] 30: 0x5633589b3df6 - proptest::test_runner::runner::TestRunner::run_in_process_with_replay::he3430ff4baf2734e [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:602:26 [INFO] [stdout] 31: 0x5633589b168a - proptest::test_runner::runner::TestRunner::run_in_process::h1c12eac850171313 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:560:9 [INFO] [stdout] 32: 0x5633589ae5c6 - proptest::test_runner::runner::TestRunner::run::h366673938541e008 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:403:13 [INFO] [stdout] 33: 0x5633589efa26 - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 34: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 35: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 36: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 38: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 39: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 40: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 41: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 42: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 43: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 44: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 45: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 46: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 47: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 48: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 49: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 50: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 51: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 52: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 53: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 54: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 55: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 56: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 57: 0x7fb489e7f609 - start_thread [INFO] [stdout] 58: 0x7fb489c4f163 - clone [INFO] [stdout] 59: 0x0 - [INFO] [stdout] [Remove("i"), Remove("e"), Push(0, "b"), Remove("h"), Remove("h"), Remove("i")] [INFO] [stdout] [Push(1, "h"), Remove("i"), Remove("e"), Push(0, "b"), Remove("h"), Remove("h"), Remove("i")] [INFO] [stdout] thread 'basic_model' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589eff39 - mbtesting::basic_model::{{closure}}::h5ba106d9ccd76e38 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:216:17 [INFO] [stdout] 20: 0x5633589f14ff - core::ops::function::impls:: for &F>::call::h8bec8efbb181e13d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:237:13 [INFO] [stdout] 21: 0x5633589b9913 - proptest::test_runner::runner::call_test::{{closure}}::h317dcd7e70af4e06 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:49 [INFO] [stdout] 22: 0x5633589d3d2b - as core::ops::function::FnOnce<()>>::call_once::h4c867582148c9179 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x5633589d4919 - std::panicking::try::do_call::h84c8c00073a555ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x5633589d5efb - __rust_try [INFO] [stdout] 25: 0x5633589d42a8 - std::panicking::try::h2202570ddc219cbf [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x5633589f37cc - std::panic::catch_unwind::h08c84d294ffaf924 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x5633589ac786 - proptest::test_runner::runner::call_test::h9a76f5c94132efe5 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:9 [INFO] [stdout] 28: 0x5633589b7eae - proptest::test_runner::runner::TestRunner::shrink::h3bbd05499457b4c8 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:807:30 [INFO] [stdout] 29: 0x5633589b6568 - proptest::test_runner::runner::TestRunner::run_one_with_replay::he30edcb5581b0824 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:705:27 [INFO] [stdout] 30: 0x5633589b4618 - proptest::test_runner::runner::TestRunner::gen_and_run_case::h2e4224402320a6a3 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:649:12 [INFO] [stdout] 31: 0x5633589b3df6 - proptest::test_runner::runner::TestRunner::run_in_process_with_replay::he3430ff4baf2734e [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:602:26 [INFO] [stdout] 32: 0x5633589b168a - proptest::test_runner::runner::TestRunner::run_in_process::h1c12eac850171313 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:560:9 [INFO] [stdout] 33: 0x5633589ae5c6 - proptest::test_runner::runner::TestRunner::run::h366673938541e008 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:403:13 [INFO] [stdout] 34: 0x5633589efa26 - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 35: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 36: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 39: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 40: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 41: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 42: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 43: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 44: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 45: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 46: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 47: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 48: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 49: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 50: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 51: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 52: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 53: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 54: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 55: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 56: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 57: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 58: 0x7fb489e7f609 - start_thread [INFO] [stdout] 59: 0x7fb489c4f163 - clone [INFO] [stdout] 60: 0x0 - [INFO] [stdout] [Push(1, "h"), Remove("e"), Push(0, "b"), Remove("h"), Remove("h"), Remove("i")] [INFO] [stdout] thread 'basic_model' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589eff39 - mbtesting::basic_model::{{closure}}::h5ba106d9ccd76e38 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:216:17 [INFO] [stdout] 20: 0x5633589f14ff - core::ops::function::impls:: for &F>::call::h8bec8efbb181e13d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:237:13 [INFO] [stdout] 21: 0x5633589b9913 - proptest::test_runner::runner::call_test::{{closure}}::h317dcd7e70af4e06 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:49 [INFO] [stdout] 22: 0x5633589d3d2b - as core::ops::function::FnOnce<()>>::call_once::h4c867582148c9179 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x5633589d4919 - std::panicking::try::do_call::h84c8c00073a555ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x5633589d5efb - __rust_try [INFO] [stdout] 25: 0x5633589d42a8 - std::panicking::try::h2202570ddc219cbf [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x5633589f37cc - std::panic::catch_unwind::h08c84d294ffaf924 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x5633589ac786 - proptest::test_runner::runner::call_test::h9a76f5c94132efe5 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:9 [INFO] [stdout] 28: 0x5633589b7eae - proptest::test_runner::runner::TestRunner::shrink::h3bbd05499457b4c8 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:807:30 [INFO] [stdout] 29: 0x5633589b6568 - proptest::test_runner::runner::TestRunner::run_one_with_replay::he30edcb5581b0824 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:705:27 [INFO] [stdout] 30: 0x5633589b4618 - proptest::test_runner::runner::TestRunner::gen_and_run_case::h2e4224402320a6a3 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:649:12 [INFO] [stdout] 31: 0x5633589b3df6 - proptest::test_runner::runner::TestRunner::run_in_process_with_replay::he3430ff4baf2734e [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:602:26 [INFO] [stdout] 32: 0x5633589b168a - proptest::test_runner::runner::TestRunner::run_in_process::h1c12eac850171313 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:560:9 [INFO] [stdout] 33: 0x5633589ae5c6 - proptest::test_runner::runner::TestRunner::run::h366673938541e008 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:403:13 [INFO] [stdout] 34: 0x5633589efa26 - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 35: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 36: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 39: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 40: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 41: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 42: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 43: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 44: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 45: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 46: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 47: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 48: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 49: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 50: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 51: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 52: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 53: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 54: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 55: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 56: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 57: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 58: 0x7fb489e7f609 - start_thread [INFO] [stdout] 59: 0x7fb489c4f163 - clone [INFO] [stdout] 60: 0x0 - [INFO] [stdout] [Push(1, "h"), Push(0, "b"), Remove("h"), Remove("h"), Remove("i")] [INFO] [stdout] thread 'basic_model' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589eff39 - mbtesting::basic_model::{{closure}}::h5ba106d9ccd76e38 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:216:17 [INFO] [stdout] 20: 0x5633589f14ff - core::ops::function::impls:: for &F>::call::h8bec8efbb181e13d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:237:13 [INFO] [stdout] 21: 0x5633589b9913 - proptest::test_runner::runner::call_test::{{closure}}::h317dcd7e70af4e06 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:49 [INFO] [stdout] 22: 0x5633589d3d2b - as core::ops::function::FnOnce<()>>::call_once::h4c867582148c9179 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x5633589d4919 - std::panicking::try::do_call::h84c8c00073a555ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x5633589d5efb - __rust_try [INFO] [stdout] 25: 0x5633589d42a8 - std::panicking::try::h2202570ddc219cbf [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x5633589f37cc - std::panic::catch_unwind::h08c84d294ffaf924 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x5633589ac786 - proptest::test_runner::runner::call_test::h9a76f5c94132efe5 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:9 [INFO] [stdout] 28: 0x5633589b7eae - proptest::test_runner::runner::TestRunner::shrink::h3bbd05499457b4c8 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:807:30 [INFO] [stdout] 29: 0x5633589b6568 - proptest::test_runner::runner::TestRunner::run_one_with_replay::he30edcb5581b0824 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:705:27 [INFO] [stdout] 30: 0x5633589b4618 - proptest::test_runner::runner::TestRunner::gen_and_run_case::h2e4224402320a6a3 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:649:12 [INFO] [stdout] 31: 0x5633589b3df6 - proptest::test_runner::runner::TestRunner::run_in_process_with_replay::he3430ff4baf2734e [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:602:26 [INFO] [stdout] 32: 0x5633589b168a - proptest::test_runner::runner::TestRunner::run_in_process::h1c12eac850171313 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:560:9 [INFO] [stdout] 33: 0x5633589ae5c6 - proptest::test_runner::runner::TestRunner::run::h366673938541e008 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:403:13 [INFO] [stdout] 34: 0x5633589efa26 - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 35: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 36: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 39: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 40: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 41: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 42: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 43: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 44: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 45: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 46: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 47: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 48: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 49: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 50: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 51: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 52: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 53: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 54: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 55: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 56: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 57: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 58: 0x7fb489e7f609 - start_thread [INFO] [stdout] 59: 0x7fb489c4f163 - clone [INFO] [stdout] 60: 0x0 - [INFO] [stdout] [Push(1, "h"), Remove("h"), Remove("h"), Remove("i")] [INFO] [stdout] [Push(1, "h"), Push(0, "b"), Remove("h"), Remove("h"), Remove("i")] [INFO] [stdout] thread 'basic_model' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589eff39 - mbtesting::basic_model::{{closure}}::h5ba106d9ccd76e38 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:216:17 [INFO] [stdout] 20: 0x5633589f14ff - core::ops::function::impls:: for &F>::call::h8bec8efbb181e13d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:237:13 [INFO] [stdout] 21: 0x5633589b9913 - proptest::test_runner::runner::call_test::{{closure}}::h317dcd7e70af4e06 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:49 [INFO] [stdout] 22: 0x5633589d3d2b - as core::ops::function::FnOnce<()>>::call_once::h4c867582148c9179 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x5633589d4919 - std::panicking::try::do_call::h84c8c00073a555ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x5633589d5efb - __rust_try [INFO] [stdout] 25: 0x5633589d42a8 - std::panicking::try::h2202570ddc219cbf [INFO] [stderr] error: test failed, to rerun pass '--bin mbtesting' [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x5633589f37cc - std::panic::catch_unwind::h08c84d294ffaf924 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x5633589ac786 - proptest::test_runner::runner::call_test::h9a76f5c94132efe5 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:9 [INFO] [stdout] 28: 0x5633589b7eae - proptest::test_runner::runner::TestRunner::shrink::h3bbd05499457b4c8 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:807:30 [INFO] [stdout] 29: 0x5633589b6568 - proptest::test_runner::runner::TestRunner::run_one_with_replay::he30edcb5581b0824 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:705:27 [INFO] [stdout] 30: 0x5633589b4618 - proptest::test_runner::runner::TestRunner::gen_and_run_case::h2e4224402320a6a3 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:649:12 [INFO] [stdout] 31: 0x5633589b3df6 - proptest::test_runner::runner::TestRunner::run_in_process_with_replay::he3430ff4baf2734e [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:602:26 [INFO] [stdout] 32: 0x5633589b168a - proptest::test_runner::runner::TestRunner::run_in_process::h1c12eac850171313 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:560:9 [INFO] [stdout] 33: 0x5633589ae5c6 - proptest::test_runner::runner::TestRunner::run::h366673938541e008 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:403:13 [INFO] [stdout] 34: 0x5633589efa26 - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 35: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 36: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 39: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 40: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 41: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 42: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 43: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 44: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 45: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 46: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 47: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 48: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 49: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 50: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 51: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 52: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 53: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 54: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 55: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 56: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 57: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 58: 0x7fb489e7f609 - start_thread [INFO] [stdout] 59: 0x7fb489c4f163 - clone [INFO] [stdout] 60: 0x0 - [INFO] [stdout] [Push(1, "h"), Push(0, "b"), Remove("h"), Remove("i")] [INFO] [stdout] thread 'basic_model' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589eff39 - mbtesting::basic_model::{{closure}}::h5ba106d9ccd76e38 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:216:17 [INFO] [stdout] 20: 0x5633589f14ff - core::ops::function::impls:: for &F>::call::h8bec8efbb181e13d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:237:13 [INFO] [stdout] 21: 0x5633589b9913 - proptest::test_runner::runner::call_test::{{closure}}::h317dcd7e70af4e06 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:49 [INFO] [stdout] 22: 0x5633589d3d2b - as core::ops::function::FnOnce<()>>::call_once::h4c867582148c9179 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x5633589d4919 - std::panicking::try::do_call::h84c8c00073a555ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x5633589d5efb - __rust_try [INFO] [stdout] 25: 0x5633589d42a8 - std::panicking::try::h2202570ddc219cbf [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x5633589f37cc - std::panic::catch_unwind::h08c84d294ffaf924 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x5633589ac786 - proptest::test_runner::runner::call_test::h9a76f5c94132efe5 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:9 [INFO] [stdout] 28: 0x5633589b7eae - proptest::test_runner::runner::TestRunner::shrink::h3bbd05499457b4c8 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:807:30 [INFO] [stdout] 29: 0x5633589b6568 - proptest::test_runner::runner::TestRunner::run_one_with_replay::he30edcb5581b0824 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:705:27 [INFO] [stdout] 30: 0x5633589b4618 - proptest::test_runner::runner::TestRunner::gen_and_run_case::h2e4224402320a6a3 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:649:12 [INFO] [stdout] 31: 0x5633589b3df6 - proptest::test_runner::runner::TestRunner::run_in_process_with_replay::he3430ff4baf2734e [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:602:26 [INFO] [stdout] 32: 0x5633589b168a - proptest::test_runner::runner::TestRunner::run_in_process::h1c12eac850171313 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:560:9 [INFO] [stdout] 33: 0x5633589ae5c6 - proptest::test_runner::runner::TestRunner::run::h366673938541e008 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:403:13 [INFO] [stdout] 34: 0x5633589efa26 - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 35: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 36: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 39: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 40: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 41: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 42: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 43: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 44: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 45: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 46: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 47: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 48: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 49: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 50: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 51: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 52: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 53: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 54: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 55: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 56: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 57: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 58: 0x7fb489e7f609 - start_thread [INFO] [stdout] 59: 0x7fb489c4f163 - clone [INFO] [stdout] 60: 0x0 - [INFO] [stdout] [Push(1, "h"), Push(0, "b"), Remove("i")] [INFO] [stdout] [Push(1, "h"), Push(0, "b"), Remove("h"), Remove("i")] [INFO] [stdout] thread 'basic_model' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589eff39 - mbtesting::basic_model::{{closure}}::h5ba106d9ccd76e38 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:216:17 [INFO] [stdout] 20: 0x5633589f14ff - core::ops::function::impls:: for &F>::call::h8bec8efbb181e13d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:237:13 [INFO] [stdout] 21: 0x5633589b9913 - proptest::test_runner::runner::call_test::{{closure}}::h317dcd7e70af4e06 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:49 [INFO] [stdout] 22: 0x5633589d3d2b - as core::ops::function::FnOnce<()>>::call_once::h4c867582148c9179 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x5633589d4919 - std::panicking::try::do_call::h84c8c00073a555ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x5633589d5efb - __rust_try [INFO] [stdout] 25: 0x5633589d42a8 - std::panicking::try::h2202570ddc219cbf [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x5633589f37cc - std::panic::catch_unwind::h08c84d294ffaf924 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x5633589ac786 - proptest::test_runner::runner::call_test::h9a76f5c94132efe5 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:9 [INFO] [stdout] 28: 0x5633589b7eae - proptest::test_runner::runner::TestRunner::shrink::h3bbd05499457b4c8 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:807:30 [INFO] [stdout] 29: 0x5633589b6568 - proptest::test_runner::runner::TestRunner::run_one_with_replay::he30edcb5581b0824 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:705:27 [INFO] [stdout] 30: 0x5633589b4618 - proptest::test_runner::runner::TestRunner::gen_and_run_case::h2e4224402320a6a3 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:649:12 [INFO] [stdout] 31: 0x5633589b3df6 - proptest::test_runner::runner::TestRunner::run_in_process_with_replay::he3430ff4baf2734e [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:602:26 [INFO] [stdout] 32: 0x5633589b168a - proptest::test_runner::runner::TestRunner::run_in_process::h1c12eac850171313 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:560:9 [INFO] [stdout] 33: 0x5633589ae5c6 - proptest::test_runner::runner::TestRunner::run::h366673938541e008 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:403:13 [INFO] [stdout] 34: 0x5633589efa26 - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 35: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 36: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 39: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 40: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 41: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 42: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 43: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 44: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 45: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 46: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 47: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 48: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 49: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 50: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 51: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 52: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 53: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 54: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 55: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 56: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 57: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 58: 0x7fb489e7f609 - start_thread [INFO] [stdout] 59: 0x7fb489c4f163 - clone [INFO] [stdout] 60: 0x0 - [INFO] [stdout] [Push(1, "h"), Push(0, "b"), Remove("h")] [INFO] [stdout] thread 'basic_model' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589eff39 - mbtesting::basic_model::{{closure}}::h5ba106d9ccd76e38 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:216:17 [INFO] [stdout] 20: 0x5633589f14ff - core::ops::function::impls:: for &F>::call::h8bec8efbb181e13d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:237:13 [INFO] [stdout] 21: 0x5633589b9913 - proptest::test_runner::runner::call_test::{{closure}}::h317dcd7e70af4e06 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:49 [INFO] [stdout] 22: 0x5633589d3d2b - as core::ops::function::FnOnce<()>>::call_once::h4c867582148c9179 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x5633589d4919 - std::panicking::try::do_call::h84c8c00073a555ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x5633589d5efb - __rust_try [INFO] [stdout] 25: 0x5633589d42a8 - std::panicking::try::h2202570ddc219cbf [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x5633589f37cc - std::panic::catch_unwind::h08c84d294ffaf924 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x5633589ac786 - proptest::test_runner::runner::call_test::h9a76f5c94132efe5 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:9 [INFO] [stdout] 28: 0x5633589b7eae - proptest::test_runner::runner::TestRunner::shrink::h3bbd05499457b4c8 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:807:30 [INFO] [stdout] 29: 0x5633589b6568 - proptest::test_runner::runner::TestRunner::run_one_with_replay::he30edcb5581b0824 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:705:27 [INFO] [stdout] 30: 0x5633589b4618 - proptest::test_runner::runner::TestRunner::gen_and_run_case::h2e4224402320a6a3 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:649:12 [INFO] [stdout] 31: 0x5633589b3df6 - proptest::test_runner::runner::TestRunner::run_in_process_with_replay::he3430ff4baf2734e [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:602:26 [INFO] [stdout] 32: 0x5633589b168a - proptest::test_runner::runner::TestRunner::run_in_process::h1c12eac850171313 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:560:9 [INFO] [stdout] 33: 0x5633589ae5c6 - proptest::test_runner::runner::TestRunner::run::h366673938541e008 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:403:13 [INFO] [stdout] 34: 0x5633589efa26 - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 35: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 36: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 39: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 40: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 41: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 42: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 43: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 44: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 45: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 46: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 47: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 48: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 49: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 50: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 51: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 52: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 53: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 54: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 55: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 56: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 57: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 58: 0x7fb489e7f609 - start_thread [INFO] [stdout] 59: 0x7fb489c4f163 - clone [INFO] [stdout] 60: 0x0 - [INFO] [stdout] [Push(0, "h"), Push(0, "b"), Remove("h")] [INFO] [stdout] thread 'basic_model' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589eff39 - mbtesting::basic_model::{{closure}}::h5ba106d9ccd76e38 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:216:17 [INFO] [stdout] 20: 0x5633589f14ff - core::ops::function::impls:: for &F>::call::h8bec8efbb181e13d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:237:13 [INFO] [stdout] 21: 0x5633589b9913 - proptest::test_runner::runner::call_test::{{closure}}::h317dcd7e70af4e06 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:49 [INFO] [stdout] 22: 0x5633589d3d2b - as core::ops::function::FnOnce<()>>::call_once::h4c867582148c9179 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x5633589d4919 - std::panicking::try::do_call::h84c8c00073a555ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x5633589d5efb - __rust_try [INFO] [stdout] 25: 0x5633589d42a8 - std::panicking::try::h2202570ddc219cbf [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x5633589f37cc - std::panic::catch_unwind::h08c84d294ffaf924 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x5633589ac786 - proptest::test_runner::runner::call_test::h9a76f5c94132efe5 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:9 [INFO] [stdout] 28: 0x5633589b7eae - proptest::test_runner::runner::TestRunner::shrink::h3bbd05499457b4c8 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:807:30 [INFO] [stdout] 29: 0x5633589b6568 - proptest::test_runner::runner::TestRunner::run_one_with_replay::he30edcb5581b0824 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:705:27 [INFO] [stdout] 30: 0x5633589b4618 - proptest::test_runner::runner::TestRunner::gen_and_run_case::h2e4224402320a6a3 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:649:12 [INFO] [stdout] 31: 0x5633589b3df6 - proptest::test_runner::runner::TestRunner::run_in_process_with_replay::he3430ff4baf2734e [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:602:26 [INFO] [stdout] 32: 0x5633589b168a - proptest::test_runner::runner::TestRunner::run_in_process::h1c12eac850171313 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:560:9 [INFO] [stdout] 33: 0x5633589ae5c6 - proptest::test_runner::runner::TestRunner::run::h366673938541e008 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:403:13 [INFO] [stdout] 34: 0x5633589efa26 - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 35: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 36: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 39: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 40: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 41: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 42: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 43: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 44: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 45: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 46: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 47: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 48: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 49: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 50: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 51: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 52: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 53: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 54: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 55: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 56: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 57: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 58: 0x7fb489e7f609 - start_thread [INFO] [stdout] 59: 0x7fb489c4f163 - clone [INFO] [stdout] 60: 0x0 - [INFO] [stdout] [Push(0, "d"), Push(0, "b"), Remove("h")] [INFO] [stdout] [Push(0, "f"), Push(0, "b"), Remove("h")] [INFO] [stdout] [Push(0, "g"), Push(0, "b"), Remove("h")] [INFO] [stdout] [Push(0, "h"), Push(0, "b"), Remove("h")] [INFO] [stdout] thread 'basic_model' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589eff39 - mbtesting::basic_model::{{closure}}::h5ba106d9ccd76e38 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:216:17 [INFO] [stdout] 20: 0x5633589f14ff - core::ops::function::impls:: for &F>::call::h8bec8efbb181e13d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:237:13 [INFO] [stdout] 21: 0x5633589b9913 - proptest::test_runner::runner::call_test::{{closure}}::h317dcd7e70af4e06 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:49 [INFO] [stdout] 22: 0x5633589d3d2b - as core::ops::function::FnOnce<()>>::call_once::h4c867582148c9179 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x5633589d4919 - std::panicking::try::do_call::h84c8c00073a555ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x5633589d5efb - __rust_try [INFO] [stdout] 25: 0x5633589d42a8 - std::panicking::try::h2202570ddc219cbf [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x5633589f37cc - std::panic::catch_unwind::h08c84d294ffaf924 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x5633589ac786 - proptest::test_runner::runner::call_test::h9a76f5c94132efe5 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:9 [INFO] [stdout] 28: 0x5633589b7eae - proptest::test_runner::runner::TestRunner::shrink::h3bbd05499457b4c8 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:807:30 [INFO] [stdout] 29: 0x5633589b6568 - proptest::test_runner::runner::TestRunner::run_one_with_replay::he30edcb5581b0824 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:705:27 [INFO] [stdout] 30: 0x5633589b4618 - proptest::test_runner::runner::TestRunner::gen_and_run_case::h2e4224402320a6a3 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:649:12 [INFO] [stdout] 31: 0x5633589b3df6 - proptest::test_runner::runner::TestRunner::run_in_process_with_replay::he3430ff4baf2734e [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:602:26 [INFO] [stdout] 32: 0x5633589b168a - proptest::test_runner::runner::TestRunner::run_in_process::h1c12eac850171313 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:560:9 [INFO] [stdout] 33: 0x5633589ae5c6 - proptest::test_runner::runner::TestRunner::run::h366673938541e008 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:403:13 [INFO] [stdout] 34: 0x5633589efa26 - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 35: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 36: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 39: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 40: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 41: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 42: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 43: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 44: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 45: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 46: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 47: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 48: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 49: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 50: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 51: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 52: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 53: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 54: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 55: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 56: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 57: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 58: 0x7fb489e7f609 - start_thread [INFO] [stdout] 59: 0x7fb489c4f163 - clone [INFO] [stdout] 60: 0x0 - [INFO] [stdout] [Push(0, "h"), Push(0, "a"), Remove("h")] [INFO] [stdout] thread 'basic_model' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589eff39 - mbtesting::basic_model::{{closure}}::h5ba106d9ccd76e38 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:216:17 [INFO] [stdout] 20: 0x5633589f14ff - core::ops::function::impls:: for &F>::call::h8bec8efbb181e13d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:237:13 [INFO] [stdout] 21: 0x5633589b9913 - proptest::test_runner::runner::call_test::{{closure}}::h317dcd7e70af4e06 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:49 [INFO] [stdout] 22: 0x5633589d3d2b - as core::ops::function::FnOnce<()>>::call_once::h4c867582148c9179 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x5633589d4919 - std::panicking::try::do_call::h84c8c00073a555ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x5633589d5efb - __rust_try [INFO] [stdout] 25: 0x5633589d42a8 - std::panicking::try::h2202570ddc219cbf [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x5633589f37cc - std::panic::catch_unwind::h08c84d294ffaf924 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x5633589ac786 - proptest::test_runner::runner::call_test::h9a76f5c94132efe5 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:9 [INFO] [stdout] 28: 0x5633589b7eae - proptest::test_runner::runner::TestRunner::shrink::h3bbd05499457b4c8 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:807:30 [INFO] [stdout] 29: 0x5633589b6568 - proptest::test_runner::runner::TestRunner::run_one_with_replay::he30edcb5581b0824 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:705:27 [INFO] [stdout] 30: 0x5633589b4618 - proptest::test_runner::runner::TestRunner::gen_and_run_case::h2e4224402320a6a3 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:649:12 [INFO] [stdout] 31: 0x5633589b3df6 - proptest::test_runner::runner::TestRunner::run_in_process_with_replay::he3430ff4baf2734e [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:602:26 [INFO] [stdout] 32: 0x5633589b168a - proptest::test_runner::runner::TestRunner::run_in_process::h1c12eac850171313 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:560:9 [INFO] [stdout] 33: 0x5633589ae5c6 - proptest::test_runner::runner::TestRunner::run::h366673938541e008 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:403:13 [INFO] [stdout] 34: 0x5633589efa26 - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 35: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 36: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 39: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 40: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 41: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 42: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 43: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 44: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 45: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 46: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 47: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 48: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 49: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 50: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 51: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 52: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 53: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 54: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 55: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 56: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 57: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 58: 0x7fb489e7f609 - start_thread [INFO] [stdout] 59: 0x7fb489c4f163 - clone [INFO] [stdout] 60: 0x0 - [INFO] [stdout] [Push(0, "h"), Push(0, "a"), Remove("d")] [INFO] [stdout] [Push(0, "h"), Push(0, "a"), Remove("f")] [INFO] [stdout] [Push(0, "h"), Push(0, "a"), Remove("g")] [INFO] [stdout] [Push(0, "h"), Push(0, "a"), Remove("h")] [INFO] [stdout] thread 'basic_model' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589eff39 - mbtesting::basic_model::{{closure}}::h5ba106d9ccd76e38 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:216:17 [INFO] [stdout] 20: 0x5633589f14ff - core::ops::function::impls:: for &F>::call::h8bec8efbb181e13d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:237:13 [INFO] [stdout] 21: 0x5633589b9913 - proptest::test_runner::runner::call_test::{{closure}}::h317dcd7e70af4e06 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:49 [INFO] [stdout] 22: 0x5633589d3d2b - as core::ops::function::FnOnce<()>>::call_once::h4c867582148c9179 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x5633589d4919 - std::panicking::try::do_call::h84c8c00073a555ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x5633589d5efb - __rust_try [INFO] [stdout] 25: 0x5633589d42a8 - std::panicking::try::h2202570ddc219cbf [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x5633589f37cc - std::panic::catch_unwind::h08c84d294ffaf924 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x5633589ac786 - proptest::test_runner::runner::call_test::h9a76f5c94132efe5 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:9 [INFO] [stdout] 28: 0x5633589b7eae - proptest::test_runner::runner::TestRunner::shrink::h3bbd05499457b4c8 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:807:30 [INFO] [stdout] 29: 0x5633589b6568 - proptest::test_runner::runner::TestRunner::run_one_with_replay::he30edcb5581b0824 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:705:27 [INFO] [stdout] 30: 0x5633589b4618 - proptest::test_runner::runner::TestRunner::gen_and_run_case::h2e4224402320a6a3 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:649:12 [INFO] [stdout] 31: 0x5633589b3df6 - proptest::test_runner::runner::TestRunner::run_in_process_with_replay::he3430ff4baf2734e [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:602:26 [INFO] [stdout] 32: 0x5633589b168a - proptest::test_runner::runner::TestRunner::run_in_process::h1c12eac850171313 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:560:9 [INFO] [stdout] 33: 0x5633589ae5c6 - proptest::test_runner::runner::TestRunner::run::h366673938541e008 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:403:13 [INFO] [stdout] 34: 0x5633589efa26 - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 35: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 36: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 39: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 40: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 41: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 42: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 43: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 44: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 45: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 46: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 47: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 48: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 49: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 50: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 51: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 52: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 53: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 54: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 55: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 56: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 57: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 58: 0x7fb489e7f609 - start_thread [INFO] [stdout] 59: 0x7fb489c4f163 - clone [INFO] [stdout] 60: 0x0 - [INFO] [stdout] [Push(0, "h"), Push(0, "a"), Push(2, "b")] [INFO] [stdout] [Push(0, "h"), Push(0, "a"), Remove("h")] [INFO] [stdout] thread 'basic_model' panicked at 'attempt to subtract with overflow', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d1c9 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:586:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x56335899f5cd - core::panicking::panic::h4241c5ccea17faca [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:48:5 [INFO] [stdout] 16: 0x563358b7d533 - priority_queue::pqueue::parent::h842a6bcd7aaeb1b0 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:939:5 [INFO] [stdout] 17: 0x5633589c49bc - priority_queue::pqueue::PriorityQueue::remove::hc8022b04773fc1ea [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/priority-queue-1.0.4/src/pqueue.rs:552:30 [INFO] [stdout] 18: 0x5633589ee997 - mbtesting::apply_and_check_result::h2d28eaba15f25518 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:144:28 [INFO] [stdout] 19: 0x5633589eff39 - mbtesting::basic_model::{{closure}}::h5ba106d9ccd76e38 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:216:17 [INFO] [stdout] 20: 0x5633589f14ff - core::ops::function::impls:: for &F>::call::h8bec8efbb181e13d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:237:13 [INFO] [stdout] 21: 0x5633589b9913 - proptest::test_runner::runner::call_test::{{closure}}::h317dcd7e70af4e06 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:49 [INFO] [stdout] 22: 0x5633589d3d2b - as core::ops::function::FnOnce<()>>::call_once::h4c867582148c9179 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x5633589d4919 - std::panicking::try::do_call::h84c8c00073a555ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x5633589d5efb - __rust_try [INFO] [stdout] 25: 0x5633589d42a8 - std::panicking::try::h2202570ddc219cbf [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x5633589f37cc - std::panic::catch_unwind::h08c84d294ffaf924 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x5633589ac786 - proptest::test_runner::runner::call_test::h9a76f5c94132efe5 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:246:9 [INFO] [stdout] 28: 0x5633589b7eae - proptest::test_runner::runner::TestRunner::shrink::h3bbd05499457b4c8 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:807:30 [INFO] [stdout] 29: 0x5633589b6568 - proptest::test_runner::runner::TestRunner::run_one_with_replay::he30edcb5581b0824 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:705:27 [INFO] [stdout] 30: 0x5633589b4618 - proptest::test_runner::runner::TestRunner::gen_and_run_case::h2e4224402320a6a3 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:649:12 [INFO] [stdout] 31: 0x5633589b3df6 - proptest::test_runner::runner::TestRunner::run_in_process_with_replay::he3430ff4baf2734e [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:602:26 [INFO] [stdout] 32: 0x5633589b168a - proptest::test_runner::runner::TestRunner::run_in_process::h1c12eac850171313 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:560:9 [INFO] [stdout] 33: 0x5633589ae5c6 - proptest::test_runner::runner::TestRunner::run::h366673938541e008 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/test_runner/runner.rs:403:13 [INFO] [stdout] 34: 0x5633589efa26 - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 35: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 36: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 39: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 40: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 41: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 42: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 43: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 44: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 45: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 46: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 47: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 48: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 49: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 50: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 51: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 52: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 53: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 54: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 55: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 56: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 57: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 58: 0x7fb489e7f609 - start_thread [INFO] [stdout] 59: 0x7fb489c4f163 - clone [INFO] [stdout] 60: 0x0 - [INFO] [stdout] proptest: failed to append to /opt/rustwide/workdir/proptest-regressions/main.txt: Read-only file system (os error 30) [INFO] [stdout] thread 'basic_model' panicked at 'Test failed: attempt to subtract with overflow; minimal failing input: actions = [Push(0, "h"), Push(0, "a"), Remove("h")] [INFO] [stdout] successes: 3 [INFO] [stdout] local rejects: 0 [INFO] [stdout] global rejects: 0 [INFO] [stdout] ', src/main.rs:207:1 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x563358b9aa9d - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x563358b9aa9d - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x563358b9aa9d - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x563358b9aa9d - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x563358bc097c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x563358b95b98 - std::io::Write::write_fmt::hbe7c1a63616291e2 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x563358b9cdc7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x563358b9cdc7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x563358b9cdc7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x563358b9cafc - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x563358b9d519 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x563358b9d207 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x563358b9af64 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x563358b9cf19 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x56335899f703 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5633589efbbf - mbtesting::basic_model::h87642a55fbf032c4 [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:163:17 [INFO] [stdout] 16: 0x5633589ef7aa - mbtesting::basic_model::{{closure}}::ha97d4e87554c99de [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proptest-1.0.0/src/sugar.rs:159:13 [INFO] [stdout] 17: 0x5633589de61e - core::ops::function::FnOnce::call_once::hf350d526ec1cfb1d [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x563358a24e13 - core::ops::function::FnOnce::call_once::h2a47b4b927cb6ca5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x563358a24e13 - test::__rust_begin_short_backtrace::h594ef8055a183b9b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:575:5 [INFO] [stdout] 20: 0x563358a23af4 - as core::ops::function::FnOnce>::call_once::hb40cbb8bc3e1be15 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 21: 0x563358a23af4 - as core::ops::function::FnOnce<()>>::call_once::ha4f2bd3b806745a0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 22: 0x563358a23af4 - std::panicking::try::do_call::h92af9f8bc77a5987 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 23: 0x563358a23af4 - std::panicking::try::h9df49eeae42572b7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 24: 0x563358a23af4 - std::panic::catch_unwind::h101dbadc82bbe0fd [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 25: 0x563358a23af4 - test::run_test_in_process::h2ad7bffb068e750a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:598:18 [INFO] [stdout] 26: 0x563358a23af4 - test::run_test::run_test_inner::{{closure}}::h384faf46554c5acb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:492:39 [INFO] [stdout] 27: 0x563358a2d411 - test::run_test::run_test_inner::{{closure}}::h17cfe94835a46685 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/test/src/lib.rs:519:37 [INFO] [stdout] 28: 0x563358a2d411 - std::sys_common::backtrace::__rust_begin_short_backtrace::h82709e5086312627 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 29: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hdfea66a201b39571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 30: 0x5633589f9a8f - as core::ops::function::FnOnce<()>>::call_once::h4912df03598e67fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 31: 0x5633589f9a8f - std::panicking::try::do_call::h6d5dc1045d0eade8 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 32: 0x5633589f9a8f - std::panicking::try::hbc897fc717ec6571 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 33: 0x5633589f9a8f - std::panic::catch_unwind::h27f1e958c91391ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 34: 0x5633589f9a8f - std::thread::Builder::spawn_unchecked_::{{closure}}::h1b42e48537edc3c0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 35: 0x5633589f9a8f - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9137b3d6d2a88354 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 36: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::hf70ac038171e3e1a [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 37: 0x563358ba3603 - as core::ops::function::FnOnce>::call_once::he6690128792365ad [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/alloc/src/boxed.rs:1853:9 [INFO] [stdout] 38: 0x563358ba3603 - std::sys::unix::thread::Thread::new::thread_start::ha07928d93d5a5ec9 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 39: 0x7fb489e7f609 - start_thread [INFO] [stdout] 40: 0x7fb489c4f163 - clone [INFO] [stdout] 41: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] basic_model [INFO] [stdout] model_basics [INFO] [stdout] [INFO] [stdout] test result: FAILED. 1 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.96s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "1a4aa14a8946ea37d453429853c9d976767ed82f830cadbb260ca39e242a06cc", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1a4aa14a8946ea37d453429853c9d976767ed82f830cadbb260ca39e242a06cc", kill_on_drop: false }` [INFO] [stdout] 1a4aa14a8946ea37d453429853c9d976767ed82f830cadbb260ca39e242a06cc