[INFO] updating cached repository https://github.com/Ms2ger/tla-impl
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"`
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 3db47e03a30e7267add745554e07eb5bd5463ba8
[INFO] testing Ms2ger/tla-impl against 1.44.0 for beta-1.45-1
[INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMs2ger%2Ftla-impl" "/workspace/builds/worker-9/source"`
[INFO] [stderr] Cloning into '/workspace/builds/worker-9/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Ms2ger/tla-impl on toolchain 1.44.0
[INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking git repo https://github.com/Ms2ger/tla-impl
[INFO] finished tweaking git repo https://github.com/Ms2ger/tla-impl
[INFO] tweaked toml for git repo https://github.com/Ms2ger/tla-impl written to /workspace/builds/worker-9/source/Cargo.toml
[INFO] crate git repo https://github.com/Ms2ger/tla-impl already has a lockfile, it will not be regenerated
[INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "build" "--frozen"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 6602064b56ed2746b8bccb7e8f70522fbb4bace5a8ed3fee69b2512277f03923
[INFO] running `"docker" "start" "-a" "6602064b56ed2746b8bccb7e8f70522fbb4bace5a8ed3fee69b2512277f03923"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]    Compiling tla-impl v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: method is never used: `new`
[INFO] [stderr]   --> src/main.rs:10:3
[INFO] [stderr]    |
[INFO] [stderr] 10 |   fn new(name: impl Into<String>) -> Self {
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `push`
[INFO] [stderr]   --> src/main.rs:13:3
[INFO] [stderr]    |
[INFO] [stderr] 13 |   fn push(&mut self, value: T) {
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `pop`
[INFO] [stderr]   --> src/main.rs:18:3
[INFO] [stderr]    |
[INFO] [stderr] 18 |   fn pop(&mut self) -> Option<T> {
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `data`
[INFO] [stderr]   --> src/main.rs:47:3
[INFO] [stderr]    |
[INFO] [stderr] 47 |   data: RefCell<Option<Result<(), String>>>,
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `children`
[INFO] [stderr]   --> src/main.rs:48:3
[INFO] [stderr]    |
[INFO] [stderr] 48 |   children: RefCell<Vec<(Box<dyn FnOnce(&mut Modules)>, Box<dyn FnOnce(&mut Modules, String)>)>>,
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `new`
[INFO] [stderr]   --> src/main.rs:52:3
[INFO] [stderr]    |
[INFO] [stderr] 52 |   fn new(modules: &mut Modules) -> Rc<Self> {
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `resolve`
[INFO] [stderr]   --> src/main.rs:60:3
[INFO] [stderr]    |
[INFO] [stderr] 60 |   fn resolve(&self) {
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `reject`
[INFO] [stderr]   --> src/main.rs:65:3
[INFO] [stderr]    |
[INFO] [stderr] 65 |   fn reject(&self, error: String) {
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `then`
[INFO] [stderr]   --> src/main.rs:70:3
[INFO] [stderr]    |
[INFO] [stderr] 70 |   fn then(&self, resolve: Box<dyn FnOnce(&mut Modules)>, reject: Box<dyn FnOnce(&mut Modules, String)>) {
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `tick`
[INFO] [stderr]   --> src/main.rs:74:3
[INFO] [stderr]    |
[INFO] [stderr] 74 |   fn tick(&self, modules: &mut Modules) {
[INFO] [stderr]    |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Sync`
[INFO] [stderr]   --> src/main.rs:95:3
[INFO] [stderr]    |
[INFO] [stderr] 95 |   Sync,
[INFO] [stderr]    |   ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Async`
[INFO] [stderr]   --> src/main.rs:96:3
[INFO] [stderr]    |
[INFO] [stderr] 96 |   Async,
[INFO] [stderr]    |   ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Uninstantiated`
[INFO] [stderr]    --> src/main.rs:101:3
[INFO] [stderr]     |
[INFO] [stderr] 101 |   Uninstantiated,
[INFO] [stderr]     |   ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Instantiating`
[INFO] [stderr]    --> src/main.rs:102:3
[INFO] [stderr]     |
[INFO] [stderr] 102 |   Instantiating,
[INFO] [stderr]     |   ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Instantiated`
[INFO] [stderr]    --> src/main.rs:103:3
[INFO] [stderr]     |
[INFO] [stderr] 103 |   Instantiated,
[INFO] [stderr]     |   ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Evaluating`
[INFO] [stderr]    --> src/main.rs:104:3
[INFO] [stderr]     |
[INFO] [stderr] 104 |   Evaluating,
[INFO] [stderr]     |   ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Evaluated`
[INFO] [stderr]    --> src/main.rs:105:3
[INFO] [stderr]     |
[INFO] [stderr] 105 |   Evaluated,
[INFO] [stderr]     |   ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Index`
[INFO] [stderr]    --> src/main.rs:128:3
[INFO] [stderr]     |
[INFO] [stderr] 128 |   Index(usize),
[INFO] [stderr]     |   ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Error`
[INFO] [stderr]    --> src/main.rs:129:3
[INFO] [stderr]     |
[INFO] [stderr] 129 |   Error(String),
[INFO] [stderr]     |   ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `new`
[INFO] [stderr]    --> src/main.rs:134:3
[INFO] [stderr]     |
[INFO] [stderr] 134 |   fn new(name: String, async_: Sync, requested: Vec<String>, broken: bool) -> Self {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `set_status`
[INFO] [stderr]    --> src/main.rs:152:3
[INFO] [stderr]     |
[INFO] [stderr] 152 |   fn set_status(&mut self, status: Status) {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `set_anc_index`
[INFO] [stderr]    --> src/main.rs:157:3
[INFO] [stderr]     |
[INFO] [stderr] 157 |   fn set_anc_index(&mut self, dfs_anc_index: usize) {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `execute_module_sync`
[INFO] [stderr]    --> src/main.rs:162:3
[INFO] [stderr]     |
[INFO] [stderr] 162 |   fn execute_module_sync(&self) -> Result<(), String> {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `execute_module_async`
[INFO] [stderr]    --> src/main.rs:171:3
[INFO] [stderr]     |
[INFO] [stderr] 171 |   fn execute_module_async(&self, capability: Rc<Promise>) {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `modules`
[INFO] [stderr]    --> src/main.rs:183:3
[INFO] [stderr]     |
[INFO] [stderr] 183 |   modules: BTreeMap<String, Module>,
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `execution_order`
[INFO] [stderr]    --> src/main.rs:184:3
[INFO] [stderr]     |
[INFO] [stderr] 184 |   execution_order: Vec<String>,
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field is never read: `promises`
[INFO] [stderr]    --> src/main.rs:185:3
[INFO] [stderr]     |
[INFO] [stderr] 185 |   promises: Vec<Rc<Promise>>,
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `new`
[INFO] [stderr]    --> src/main.rs:189:3
[INFO] [stderr]     |
[INFO] [stderr] 189 |   fn new() -> Self {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `record`
[INFO] [stderr]    --> src/main.rs:197:3
[INFO] [stderr]     |
[INFO] [stderr] 197 |   fn record(&mut self, promise: Rc<Promise>) {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `tick`
[INFO] [stderr]    --> src/main.rs:201:3
[INFO] [stderr]     |
[INFO] [stderr] 201 |   fn tick(&mut self) {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `get`
[INFO] [stderr]    --> src/main.rs:207:3
[INFO] [stderr]     |
[INFO] [stderr] 207 |   fn get(&self, name: &str) -> &Module {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `get_mut`
[INFO] [stderr]    --> src/main.rs:211:3
[INFO] [stderr]     |
[INFO] [stderr] 211 |   fn get_mut(&mut self, name: &str) -> &mut Module {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `insert`
[INFO] [stderr]    --> src/main.rs:215:3
[INFO] [stderr]     |
[INFO] [stderr] 215 |   fn insert(&mut self, name: String, async_: Sync, requested: Vec<String>, broken: bool) {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `cycle_root`
[INFO] [stderr]    --> src/main.rs:219:3
[INFO] [stderr]     |
[INFO] [stderr] 219 |   fn cycle_root(&self, module: &str) -> String {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `inner_module_instantiation`
[INFO] [stderr]    --> src/main.rs:239:3
[INFO] [stderr]     |
[INFO] [stderr] 239 |   fn inner_module_instantiation(&mut self, name: &str, stack: &mut LoudVec<String>, index: usize) -> usize {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `instantiate`
[INFO] [stderr]    --> src/main.rs:307:3
[INFO] [stderr]     |
[INFO] [stderr] 307 |   fn instantiate(&mut self, name: &str) {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `fulfilled`
[INFO] [stderr]    --> src/main.rs:321:3
[INFO] [stderr]     |
[INFO] [stderr] 321 |   fn fulfilled(&mut self, name: &str) {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `rejected`
[INFO] [stderr]    --> src/main.rs:376:3
[INFO] [stderr]     |
[INFO] [stderr] 376 |   fn rejected(&mut self, name: &str, error: &str) {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `execute_cyclic_module`
[INFO] [stderr]    --> src/main.rs:416:3
[INFO] [stderr]     |
[INFO] [stderr] 416 |   fn execute_cyclic_module(&mut self, name: &str) {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `inner_module_evaluation`
[INFO] [stderr]    --> src/main.rs:448:3
[INFO] [stderr]     |
[INFO] [stderr] 448 |   fn inner_module_evaluation(&mut self, name: &str, stack: &mut LoudVec<String>, index: usize) -> EvalResult {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: method is never used: `evaluate`
[INFO] [stderr]    --> src/main.rs:556:3
[INFO] [stderr]     |
[INFO] [stderr] 556 |   fn evaluate(&mut self, name: &str) -> Rc<Promise> {
[INFO] [stderr]     |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `run`
[INFO] [stderr]    --> src/main.rs:623:4
[INFO] [stderr]     |
[INFO] [stderr] 623 | fn run(modules: &mut Modules, name: &str) -> Rc<Promise> {
[INFO] [stderr]     |    ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: 42 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.79s
[INFO] running `"docker" "inspect" "6602064b56ed2746b8bccb7e8f70522fbb4bace5a8ed3fee69b2512277f03923"`
[INFO] running `"docker" "rm" "-f" "6602064b56ed2746b8bccb7e8f70522fbb4bace5a8ed3fee69b2512277f03923"`
[INFO] [stdout] 6602064b56ed2746b8bccb7e8f70522fbb4bace5a8ed3fee69b2512277f03923
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "test" "--frozen" "--no-run"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 9a4cf36a11d3a982187e802ba246a350b198e21ff62b366dc0762ce6551048e5
[INFO] running `"docker" "start" "-a" "9a4cf36a11d3a982187e802ba246a350b198e21ff62b366dc0762ce6551048e5"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]    Compiling tla-impl v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 2.97s
[INFO] running `"docker" "inspect" "9a4cf36a11d3a982187e802ba246a350b198e21ff62b366dc0762ce6551048e5"`
[INFO] running `"docker" "rm" "-f" "9a4cf36a11d3a982187e802ba246a350b198e21ff62b366dc0762ce6551048e5"`
[INFO] [stdout] 9a4cf36a11d3a982187e802ba246a350b198e21ff62b366dc0762ce6551048e5
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "test" "--frozen"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 0426b390d45a666e49ce92fd77864f934d85b61562e03f26b1eb3dac4713b33f
[INFO] running `"docker" "start" "-a" "0426b390d45a666e49ce92fd77864f934d85b61562e03f26b1eb3dac4713b33f"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.01s
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/tla_impl-dcbe4b66b356dd4f
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test cycle_error_persistence ... ok
[INFO] [stdout] test example6 ... ok
[INFO] [stdout] test example2b ... ok
[INFO] [stdout] test example_common_dep_cycle ... ok
[INFO] [stdout] test example1 ... ok
[INFO] [stdout] test example5 ... ok
[INFO] [stdout] test example4 ... ok
[INFO] [stdout] test spec_example_1 ... ok
[INFO] [stdout] test example_common_dep_cycle_2 ... ok
[INFO] [stdout] test example_common_dep_cycle_2c ... ok
[INFO] [stdout] test example2 ... ok
[INFO] [stdout] test example_super_cycle ... ok
[INFO] [stdout] test example_common_dep_cycle_2d ... ok
[INFO] [stdout] test example_single_broken_async ... ok
[INFO] [stdout] test example_common_dep_cycle_3 ... ok
[INFO] [stdout] test example_guy ... ok
[INFO] [stdout] test example3 ... ok
[INFO] [stdout] test spec_example_3 ... ok
[INFO] [stdout] test example_cycle ... ok
[INFO] [stdout] test two_step ... ok
[INFO] [stdout] test synchronous_cycles_121 ... ok
[INFO] [stdout] test spec_example_4 ... ok
[INFO] [stdout] test spec_example_4_modified ... ok
[INFO] [stdout] test example_single_broken_sync ... ok
[INFO] [stdout] test example_common_dep ... ok
[INFO] [stdout] test spec_example_2 ... ok
[INFO] [stdout] test example_common_dep_cycle_2b ... ok
[INFO] [stdout] test example7 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 28 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] running `"docker" "inspect" "0426b390d45a666e49ce92fd77864f934d85b61562e03f26b1eb3dac4713b33f"`
[INFO] running `"docker" "rm" "-f" "0426b390d45a666e49ce92fd77864f934d85b61562e03f26b1eb3dac4713b33f"`
[INFO] [stdout] 0426b390d45a666e49ce92fd77864f934d85b61562e03f26b1eb3dac4713b33f