[INFO] cloning repository https://github.com/pchampin/namur
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/pchampin/namur" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpchampin%2Fnamur", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpchampin%2Fnamur'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 4ac65c17e4c6d46794f03c1ede12e3c79bf74002
[INFO] testing pchampin/namur against 1.85.0 for beta-1.86-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpchampin%2Fnamur" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/pchampin/namur on toolchain 1.85.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.85.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/pchampin/namur
[INFO] finished tweaking git repo https://github.com/pchampin/namur
[INFO] tweaked toml for git repo https://github.com/pchampin/namur written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/pchampin/namur already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.85.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
[INFO] [stderr] package:   /workspace/builds/worker-0-tc1/source/wasm/Cargo.toml
[INFO] [stderr] workspace: /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded cfg-if v0.1.10
[INFO] [stderr]   Downloaded memory_units v0.4.0
[INFO] [stderr]   Downloaded mownstr v0.1.3
[INFO] [stderr]   Downloaded sophia_indexed v0.7.0
[INFO] [stderr]   Downloaded sophia_rio v0.7.0
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.76
[INFO] [stderr]   Downloaded wasm-bindgen-test-macro v0.3.26
[INFO] [stderr]   Downloaded atty v0.2.14
[INFO] [stderr]   Downloaded version_check v0.9.3
[INFO] [stderr]   Downloaded resiter v0.4.0
[INFO] [stderr]   Downloaded bitflags v1.3.2
[INFO] [stderr]   Downloaded hermit-abi v0.1.19
[INFO] [stderr]   Downloaded wasm-bindgen-test v0.3.26
[INFO] [stderr]   Downloaded os_str_bytes v6.2.0
[INFO] [stderr]   Downloaded clap_lex v0.2.4
[INFO] [stderr]   Downloaded rio_api v0.6.1
[INFO] [stderr]   Downloaded weak-table v0.3.0
[INFO] [stderr]   Downloaded js-sys v0.3.53
[INFO] [stderr]   Downloaded textwrap v0.15.0
[INFO] [stderr]   Downloaded hashbrown v0.12.2
[INFO] [stderr]   Downloaded sophia_term v0.7.0
[INFO] [stderr]   Downloaded aho-corasick v0.7.18
[INFO] [stderr]   Downloaded bumpalo v3.7.0
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.76
[INFO] [stderr]   Downloaded memchr v2.4.1
[INFO] [stderr]   Downloaded sophia_api v0.7.2
[INFO] [stderr]   Downloaded clap v3.2.12
[INFO] [stderr]   Downloaded syn v1.0.75
[INFO] [stderr]   Downloaded regex-syntax v0.6.25
[INFO] [stderr]   Downloaded regex v1.5.4
[INFO] [stderr]   Downloaded proc-macro2 v1.0.28
[INFO] [stderr]   Downloaded rio_turtle v0.6.1
[INFO] [stderr]   Downloaded sophia v0.7.0
[INFO] [stderr]   Downloaded log v0.4.14
[INFO] [stderr]   Downloaded wasm-bindgen-backend v0.2.76
[INFO] [stderr]   Downloaded quote v1.0.9
[INFO] [stderr]   Downloaded oxiri v0.1.1
[INFO] [stderr]   Downloaded sophia_inmem v0.7.0
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.76
[INFO] [stderr]   Downloaded strsim v0.10.0
[INFO] [stderr]   Downloaded termcolor v1.1.3
[INFO] [stderr]   Downloaded console_error_panic_hook v0.1.6
[INFO] [stderr]   Downloaded oxilangtag v0.1.2
[INFO] [stderr]   Downloaded libc v0.2.100
[INFO] [stderr]   Downloaded test-case v1.2.0
[INFO] [stderr]   Downloaded sophia_iri v0.7.2
[INFO] [stderr]   Downloaded thiserror-impl v1.0.31
[INFO] [stderr]   Downloaded thiserror v1.0.31
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.76
[INFO] [stderr]   Downloaded unicode-xid v0.2.2
[INFO] [stderr]   Downloaded web-sys v0.3.53
[INFO] [stderr]   Downloaded wee_alloc v0.4.5
[INFO] [stderr]   Downloaded winapi-util v0.1.5
[INFO] [stderr]   Downloaded sophia_turtle v0.7.0
[INFO] [stderr]   Downloaded scoped-tls v1.0.0
[INFO] [stderr]   Downloaded wasm-bindgen-futures v0.4.26
[INFO] [stderr]   Downloaded winapi v0.3.9
[INFO] [stderr]   Downloaded winapi-i686-pc-windows-gnu v0.4.0
[INFO] [stderr]   Downloaded winapi-x86_64-pc-windows-gnu v0.4.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+1.85.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9704471dd633b8de84183637dab7f65f1eebff2981b4fff23de622424f84ccaa
[INFO] running `Command { std: "docker" "start" "-a" "9704471dd633b8de84183637dab7f65f1eebff2981b4fff23de622424f84ccaa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9704471dd633b8de84183637dab7f65f1eebff2981b4fff23de622424f84ccaa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9704471dd633b8de84183637dab7f65f1eebff2981b4fff23de622424f84ccaa", kill_on_drop: false }`
[INFO] [stdout] 9704471dd633b8de84183637dab7f65f1eebff2981b4fff23de622424f84ccaa
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--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:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+1.85.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2bbcb7e2eb604bf353befac056d63e428cd9c217373712e137c0ccffc17a83da
[INFO] running `Command { std: "docker" "start" "-a" "2bbcb7e2eb604bf353befac056d63e428cd9c217373712e137c0ccffc17a83da", kill_on_drop: false }`
[INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
[INFO] [stderr] package:   /opt/rustwide/workdir/wasm/Cargo.toml
[INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml
[INFO] [stderr]    Compiling syn v1.0.75
[INFO] [stderr]    Compiling mownstr v0.1.3
[INFO] [stderr]    Compiling resiter v0.4.0
[INFO] [stderr]    Compiling oxilangtag v0.1.2
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.76
[INFO] [stderr]    Compiling weak-table v0.3.0
[INFO] [stderr]    Compiling rio_api v0.6.1
[INFO] [stderr]    Compiling oxiri v0.1.1
[INFO] [stderr]    Compiling libc v0.2.100
[INFO] [stderr]    Compiling indexmap v1.9.1
[INFO] [stderr]    Compiling wasm-bindgen v0.2.76
[INFO] [stderr]    Compiling rio_turtle v0.6.1
[INFO] [stderr]    Compiling hashbrown v0.12.2
[INFO] [stderr]    Compiling os_str_bytes v6.2.0
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling textwrap v0.15.0
[INFO] [stderr]    Compiling clap_lex v0.2.4
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling clap v3.2.12
[INFO] [stderr]    Compiling wasm-bindgen-backend v0.2.76
[INFO] [stderr]    Compiling thiserror-impl v1.0.31
[INFO] [stderr]    Compiling wasm-bindgen-macro-support v0.2.76
[INFO] [stderr]    Compiling thiserror v1.0.31
[INFO] [stderr]    Compiling sophia_iri v0.7.2
[INFO] [stderr]    Compiling wasm-bindgen-macro v0.2.76
[INFO] [stderr]    Compiling sophia_api v0.7.2
[INFO] [stderr]    Compiling sophia_term v0.7.0
[INFO] [stderr]    Compiling sophia_rio v0.7.0
[INFO] [stderr]    Compiling console_error_panic_hook v0.1.6
[INFO] [stderr]    Compiling sophia_indexed v0.7.0
[INFO] [stderr]    Compiling sophia_inmem v0.7.0
[INFO] [stderr]    Compiling sophia_turtle v0.7.0
[INFO] [stderr]    Compiling sophia v0.7.0
[INFO] [stderr]    Compiling namur v0.1.0 (/opt/rustwide/workdir/lib)
[INFO] [stderr]    Compiling namur-wasm v0.1.0 (/opt/rustwide/workdir/wasm)
[INFO] [stderr]    Compiling namur-cli v0.1.0 (/opt/rustwide/workdir/cli)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 26.77s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: wasm-bindgen v0.2.76
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 16`
[INFO] running `Command { std: "docker" "inspect" "2bbcb7e2eb604bf353befac056d63e428cd9c217373712e137c0ccffc17a83da", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2bbcb7e2eb604bf353befac056d63e428cd9c217373712e137c0ccffc17a83da", kill_on_drop: false }`
[INFO] [stdout] 2bbcb7e2eb604bf353befac056d63e428cd9c217373712e137c0ccffc17a83da
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--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:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+1.85.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6069c59f2aec3885cea381af1915235fcd87de8085bfe8e8f493867fae1a2d26
[INFO] running `Command { std: "docker" "start" "-a" "6069c59f2aec3885cea381af1915235fcd87de8085bfe8e8f493867fae1a2d26", kill_on_drop: false }`
[INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
[INFO] [stderr] package:   /opt/rustwide/workdir/wasm/Cargo.toml
[INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml
[INFO] [stderr]    Compiling wasm-bindgen-test-macro v0.3.26
[INFO] [stderr]    Compiling test-case v1.2.0
[INFO] [stderr]    Compiling js-sys v0.3.53
[INFO] [stderr]    Compiling namur-cli v0.1.0 (/opt/rustwide/workdir/cli)
[INFO] [stderr]    Compiling namur v0.1.0 (/opt/rustwide/workdir/lib)
[INFO] [stderr]    Compiling wasm-bindgen-futures v0.4.26
[INFO] [stderr]    Compiling wasm-bindgen-test v0.3.26
[INFO] [stderr]    Compiling namur-wasm v0.1.0 (/opt/rustwide/workdir/wasm)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 5.19s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: wasm-bindgen v0.2.76
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 16`
[INFO] running `Command { std: "docker" "inspect" "6069c59f2aec3885cea381af1915235fcd87de8085bfe8e8f493867fae1a2d26", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6069c59f2aec3885cea381af1915235fcd87de8085bfe8e8f493867fae1a2d26", kill_on_drop: false }`
[INFO] [stdout] 6069c59f2aec3885cea381af1915235fcd87de8085bfe8e8f493867fae1a2d26
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--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:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+1.85.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 0864ea1d562bb24dcd5319a917a251a818851dafc8f93ef934b0604bb848dbcc
[INFO] running `Command { std: "docker" "start" "-a" "0864ea1d562bb24dcd5319a917a251a818851dafc8f93ef934b0604bb848dbcc", kill_on_drop: false }`
[INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root:
[INFO] [stderr] package:   /opt/rustwide/workdir/wasm/Cargo.toml
[INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: wasm-bindgen v0.2.76
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 16`
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/namur-b2ed14d679f0e779)
[INFO] [stdout] 
[INFO] [stdout] running 103 tests
[INFO] [stdout] test backtracker::test::queens3 ... ok
[INFO] [stdout] test backtracker::test::queens4 ... ok
[INFO] [stdout] test backtracker::test::queens5 ... ok
[INFO] [stdout] test backtracker::test::queens8 ... ok
[INFO] [stdout] test ns::log::test_valid_iri::Chaff ... ok
[INFO] [stdout] test ns::log::test_valid_iri::Chaff ... ok
[INFO] [stdout] test ns::log::test_valid_iri::Formula ... ok
[INFO] [stdout] test ns::log::test_valid_iri::N3Document ... ok
[INFO] [stdout] test ns::log::test_valid_iri::Other ... ok
[INFO] [stdout] test ns::log::test_valid_iri::String ... ok
[INFO] [stdout] test ns::log::test_valid_iri::N3 ... ok
[INFO] [stdout] test ns::log::test_valid_iri::List ... ok
[INFO] [stdout] test ns::log::test_valid_iri::Truth ... ok
[INFO] [stdout] test ns::log::test_valid_iri::Type ... ok
[INFO] [stdout] test ns::log::test_valid_iri::conjunction ... ok
[INFO] [stdout] test ns::log::test_valid_iri::conclusion ... ok
[INFO] [stdout] test ns::log::test_valid_iri::content ... ok
[INFO] [stdout] test ns::log::test_valid_iri::definitiveDocument ... ok
[INFO] [stdout] test ns::log::test_valid_iri::definitiveService ... ok
[INFO] [stdout] test ns::log::test_valid_iri::findall ... ok
[INFO] [stdout] test ns::log::test_valid_iri::forAllIn ... ok
[INFO] [stdout] test ns::log::test_valid_iri::forAllInClosure ... ok
[INFO] [stdout] test ns::log::test_valid_iri::implies ... ok
[INFO] [stdout] test ns::log::test_valid_iri::includes ... ok
[INFO] [stdout] test ns::log::test_valid_iri::n3String ... ok
[INFO] [stdout] test ns::log::test_valid_iri::notEqualTo ... ok
[INFO] [stdout] test ns::log::test_valid_iri::notIn ... ok
[INFO] [stdout] test ns::log::test_valid_iri::notInClosure ... ok
[INFO] [stdout] test ns::log::test_valid_iri::notIncludes ... ok
[INFO] [stdout] test ns::log::test_valid_iri::outputString ... ok
[INFO] [stdout] test ns::log::test_valid_iri::parsedAsN3 ... ok
[INFO] [stdout] test ns::log::test_valid_iri::dtlit ... ok
[INFO] [stdout] test ns::log::test_valid_iri::racine ... ok
[INFO] [stdout] test ns::log::test_valid_iri::equalTo ... ok
[INFO] [stdout] test ns::log::test_valid_iri::rawUri ... ok
[INFO] [stdout] test ns::log::test_valid_iri::semanticsOrError ... ok
[INFO] [stdout] test ns::log::test_valid_iri::skolem ... ok
[INFO] [stdout] test ns::log::test_valid_iri::uri ... ok
[INFO] [stdout] test formula::test::iter_terms::nested_lists ... ok
[INFO] [stdout] test formula::test::iter_terms::list_in_formula ... ok
[INFO] [stdout] test formula::test::iter_terms::two_triples ... ok
[INFO] [stdout] test parse::test::invalid_syntax::missing_closing_curly_bracket ... ok
[INFO] [stdout] test ns::log::test_valid_iri::rawType ... ok
[INFO] [stdout] test ns::log::test_valid_iri::semantics ... ok
[INFO] [stdout] test reason::test::fc_reason::_a_b_c_a_b_c_s_p_o_vec_s_p_o_ ... ok
[INFO] [stdout] test reason::test::fc_reason::_a_b_c_d_a_b_x_s_p_x_vec_s_p_c_d_ ... ok
[INFO] [stdout] test reason::test::fc_reason::_a_b_c_d_a_b_x_y_s_x_y_vec_s_c_d_ ... ok
[INFO] [stdout] test formula::test::iter_terms::one_triple ... ok
[INFO] [stdout] test reason::test::fc_reason::_a_b_c_a_b_d_s_p_o_vec_ ... ok
[INFO] [stdout] test reason::test::fc_reason::_a_b_c_a_b_x_s_p_x_vec_s_p_c_ ... ok
[INFO] [stdout] test parse::test::invalid_syntax::spurious_closing_curly_bracket ... ok
[INFO] [stdout] test reason::test::fc_reason::_a_b_c_d_e_a_d_x_y_b_c_s_x_y_vec_s_e_a_ ... ok
[INFO] [stdout] test formula::test::iter_terms::nested_formulae ... ok
[INFO] [stdout] test reason::test::fc_reason::_a_b_c_d_a_b_x_s_p_x_vec_s_p_c_s_p_d_ ... ok
[INFO] [stdout] test reason::test::fc_reason::_a_b_c_vec_ ... ok
[INFO] [stdout] test reason::test::fc_reason::_x_a_a_y_a_b_b_a_a_b_b_a_c_vec_b_a_c_ ... ok
[INFO] [stdout] test unify::test::unify_bindings::_0_1_a_l_vec_a_l_ ... ok
[INFO] [stdout] test unify::test::unify_bindings::_0_1_a_m_vec_a_m_ ... ok
[INFO] [stdout] test unify::test::unify_bindings::_0_0_a_a_vec_a_ ... ok
[INFO] [stdout] test reason::test::fc_reason::_a_b_c_d_e_a_p_x_q_y_s_x_y_vec_s_c_c_s_c_e_s_e_c_s_e_e_ ... ok
[INFO] [stdout] test reason::test::fc_reason::_x_a_a_b_a_a_b_a_b_vec_b_a_b_ ... ok
[INFO] [stdout] test reason::test::fc_reason_ignore_quantifiers::_a_b_c_s_p_o_s_p_o_vec_a_b_c_s_p_o_s_p_o_ ... ok
[INFO] [stdout] test unify::test::unify_bindings::_0_1_b_a_vec_b_a_ ... ok
[INFO] [stdout] test parse::test::parse_sample ... ok
[INFO] [stdout] test unify::test::unify_bindings::_0_a_b_vec_a_b_ ... ok
[INFO] [stdout] test unify::test::unify_bindings::_0_a_vec_a_ ... ok
[INFO] [stdout] test reason::test::fc_reason_ignore_quantifiers::_x_a_a_y_a_a_y_a_b_vec_y_a_b_ ... ok
[INFO] [stdout] test unify::test::unify_bindings::_0_b_vec_b_ ... ok
[INFO] [stdout] test unify::test::unify_bindings::_0_s_p_o_vec_s_p_o_ ... ok
[INFO] [stdout] test unify::test::unify_bindings::_0_42_vec_42_ ... ok
[INFO] [stdout] test unify::test::unify_bindings::_1_0_a_a_vec_a_a_ ... ok
[INFO] [stdout] test unify::test::unify_bindings::_1_0_a_l_vec_l_a_ ... ok
[INFO] [stdout] test unify::test::unify_bindings::_1_0_a_m_vec_m_a_ ... ok
[INFO] [stdout] test unify::test::unify_bindings::_0_a_b_a_vec_b_ ... ok
[INFO] [stdout] test unify::test::unify_bindings::_1_0_a_b_vec_b_a_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_10_expects_total_0_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_1_a_a_expects_total_2_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_1_a_b_expects_total_2_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_1_c_a_l_c_expects_total_2_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_1_c_a_m_c_expects_total_2_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_42_expects_total_1_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_a_b_expects_total_1_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_a_expects_total_1_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_b_10_expects_total_0_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_1_0_c_a_l_c_expects_total_2_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_a_expects_partial_1_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_b_a_b_expects_total_1_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_s_p_o_expects_total_1_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_l_c_a_l_d_expects_failed_1_ ... ok
[INFO] [stdout] test reason::test::fc_reason_ignore_quantifiers::_x_a_a_y_a_b_z_a_a_b_z_a_c_vec_z_a_c_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_0_a_a_expects_total_1_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_0_0_a_b_expects_failed_1_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_1_0_c_a_m_c_expects_total_2_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_42_a_expects_failed_0_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_a_10_expects_total_0_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_a_b_a_b_expects_total_0_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_a_b_expects_failed_0_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_a_l_c_a_l_c_expects_total_0_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_a_a_expects_total_0_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_a_b_a_b_c_expects_failed_0_ ... ok
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/namur_cli-046abdef1f88e6d3)
[INFO] [stdout] test unify::test::unify_simple::_s_p_o_s_p_o_expects_partial_0_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_a_42_expects_failed_0_ ... ok
[INFO] [stdout] test unify::test::unify_simple::_a_l_c_a_l_d_expects_failed_0_ ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 103 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/namur_wasm-56226458b0726160)
[INFO] [stderr]      Running tests/web.rs (/opt/rustwide/target/debug/deps/web-d2f9225c06b1ec3c)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests namur
[INFO] [stderr]    Doc-tests namur_wasm
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "0864ea1d562bb24dcd5319a917a251a818851dafc8f93ef934b0604bb848dbcc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0864ea1d562bb24dcd5319a917a251a818851dafc8f93ef934b0604bb848dbcc", kill_on_drop: false }`
[INFO] [stdout] 0864ea1d562bb24dcd5319a917a251a818851dafc8f93ef934b0604bb848dbcc