ix_rs-deps-0.1.0> /*stdin*\            : 25.65%   (   269 MiB =>   68.9 MiB, /nix/store/7xwq2lpbzyd1as1ry9ff6cggqf4dgksc-ix_rs-deps-0.1.0/target.tar.zst) 
ix_rs-deps-0.1.0> Running phase: fixupPhase
ix_rs-deps-0.1.0> shrinking RPATHs of ELF executables and libraries in /nix/store/7xwq2lpbzyd1as1ry9ff6cggqf4dgksc-ix_rs-deps-0.1.0
ix_rs-deps-0.1.0> checking for references to /build/ in /nix/store/7xwq2lpbzyd1as1ry9ff6cggqf4dgksc-ix_rs-deps-0.1.0...
ix_rs-deps-0.1.0> patching script interpreter paths in /nix/store/7xwq2lpbzyd1as1ry9ff6cggqf4dgksc-ix_rs-deps-0.1.0
ix_rs-0.1.0> Running phase: unpackPhase
ix_rs-0.1.0> unpacking source archive /nix/store/3jkh5yx1rbn38w9b84g0spmvzlz5fsbd-source
ix_rs-0.1.0> source root is source
ix_rs-0.1.0> Running phase: patchPhase
ix_rs-0.1.0> Executing configureCargoCommonVars
ix_rs-0.1.0> decompressing cargo artifacts from /nix/store/7xwq2lpbzyd1as1ry9ff6cggqf4dgksc-ix_rs-deps-0.1.0/target.tar.zst to target
ix_rs-0.1.0> Running phase: updateAutotoolsGnuConfigScriptsPhase
ix_rs-0.1.0> Running phase: configurePhase
ix_rs-0.1.0> will append /build/source/.cargo-home/config.toml with contents of /nix/store/4pjsn6f07a051fns5svs4vy7bhhs3347-vendor-cargo-deps/config.toml
ix_rs-0.1.0> default configurePhase, nothing to do
ix_rs-0.1.0> Running phase: buildPhase
ix_rs-0.1.0> +++ command cargo --version
ix_rs-0.1.0> cargo 1.91.1 (ea2d97820 2025-10-10)
ix_rs-0.1.0> +++ command cargo build --release --message-format json-render-diagnostics --locked
ix_rs-0.1.0>    Compiling ix_rs v0.1.0 (/build/source)
ix_rs-0.1.0>     Finished `release` profile [optimized] target(s) in 5.31s
ix_rs-0.1.0> searching for bins/libs to install from cargo build log at cargoBuildLogjbbS.json
ix_rs-0.1.0> installing /build/source/target/release/libix_rs.a in postBuildInstallFromCargoBuildLogOutTempYxs/lib
ix_rs-0.1.0> searching for bins/libs complete
ix_rs-0.1.0> Running phase: checkPhase
ix_rs-0.1.0> +++ command cargo test --release --locked
ix_rs-0.1.0>    Compiling ix_rs v0.1.0 (/build/source)
ix_rs-0.1.0>     Finished `release` profile [optimized] target(s) in 5.14s
ix_rs-0.1.0>      Running unittests src/lib.rs (target/release/deps/ix_rs-b1a011a50cdc1715)
ix_rs-0.1.0> 
ix_rs-0.1.0> running 53 tests
ix_rs-0.1.0> test ix::condense::tests::simple_cycle ... ok
ix_rs-0.1.0> test ix::condense::tests::complex_graph ... ok
ix_rs-0.1.0> test ix::condense::tests::single_node ... ok
ix_rs-0.1.0> test ix::condense::tests::two_cycles_connected ... ok
ix_rs-0.1.0> test ix::condense::tests::chain_no_cycle ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_builtin_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_binderinfo_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_bool_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_address_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_bytearray_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_comm_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_checkclaim_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_axiom_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_datavalue_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_constructorproj_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_inductiveproj_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_defkind_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_definition_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_claim_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_constructor_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_quotkind_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_nat_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_int_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_recursorrule_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_reducibilityhints_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_defsafety_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_u16_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_u64_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_tag4_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_u32_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_metaaddress_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_u64_trimmed_le_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_substring_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_definitionproj_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_u8_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_sourceinfo_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::unit_u64_trimmed ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_proof_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_recursorproj_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_syntax_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_metadatum_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_evalclaim_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_vec_bool_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_mutconst_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_string_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_quotient_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_inductive_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_pack_bool_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_preresolved_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_ixon_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_recursor_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_metadata_readback ... ok
ix_rs-0.1.0> test ix::ixon::tests::prop_env_readback ... ok
ix_rs-0.1.0> 
ix_rs-0.1.0> test result: ok. 53 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
ix_rs-0.1.0> 
ix_rs-0.1.0> Running phase: installPhase
ix_rs-0.1.0> actually installing contents of postBuildInstallFromCargoBuildLogOutTempYxs to /nix/store/j1xw877vilnffg25aih7nwnwpldkjqyp-ix_rs-0.1.0
ix_rs-0.1.0> stripping references to Rust toolchain
ix_rs-0.1.0> Rust toolchain at: /nix/store/v1rjprvbzqg9k66slagjg68yv18p08ry-rust-1.91
ix_rs-0.1.0> stripping Rust toolchain references done
ix_rs-0.1.0> stripping references to cargoVendorDir from:
ix_rs-0.1.0> /nix/store/j1xw877vilnffg25aih7nwnwpldkjqyp-ix_rs-0.1.0/lib/libix_rs.a
ix_rs-0.1.0> stripping references done
ix_rs-0.1.0> Running phase: fixupPhase
ix_rs-0.1.0> shrinking RPATHs of ELF executables and libraries in /nix/store/j1xw877vilnffg25aih7nwnwpldkjqyp-ix_rs-0.1.0
ix_rs-0.1.0> checking for references to /build/ in /nix/store/j1xw877vilnffg25aih7nwnwpldkjqyp-ix_rs-0.1.0...
ix_rs-0.1.0> patching script interpreter paths in /nix/store/j1xw877vilnffg25aih7nwnwpldkjqyp-ix_rs-0.1.0
ix_rs-0.1.0> stripping (with command strip and flags -S -p) in  /nix/store/j1xw877vilnffg25aih7nwnwpldkjqyp-ix_rs-0.1.0/lib