btor2tools: 0-unstable-2024-08-07 -> 0-unstable-2025-09-18 - #445678
Merged
OfBorg / btor2tools, btor2tools.passthru.tests on aarch64-linux
succeeded
Sep 24, 2025
Success
Attempted: btor2tools
The following builds were skipped because they don't evaluate on aarch64-linux: btor2tools.passthru.tests
Details
Partial log
shrinking RPATHs of ELF executables and libraries in /nix/store/hsgdz6z7s3wf4v18bnay2fvwwjw6vk46-btor2tools-0-unstable-2025-09-18-dev
checking for references to /build/ in /nix/store/hsgdz6z7s3wf4v18bnay2fvwwjw6vk46-btor2tools-0-unstable-2025-09-18-dev...
patching script interpreter paths in /nix/store/hsgdz6z7s3wf4v18bnay2fvwwjw6vk46-btor2tools-0-unstable-2025-09-18-dev
shrinking RPATHs of ELF executables and libraries in /nix/store/3lq5vgbc5c35n4yy3xlihvbp1m2p6bpy-btor2tools-0-unstable-2025-09-18-lib
shrinking /nix/store/3lq5vgbc5c35n4yy3xlihvbp1m2p6bpy-btor2tools-0-unstable-2025-09-18-lib/lib/libbtor2parser.so
checking for references to /build/ in /nix/store/3lq5vgbc5c35n4yy3xlihvbp1m2p6bpy-btor2tools-0-unstable-2025-09-18-lib...
patching script interpreter paths in /nix/store/3lq5vgbc5c35n4yy3xlihvbp1m2p6bpy-btor2tools-0-unstable-2025-09-18-lib
stripping (with command strip and flags -S -p) in /nix/store/3lq5vgbc5c35n4yy3xlihvbp1m2p6bpy-btor2tools-0-unstable-2025-09-18-lib/lib
Running phase: installCheckPhase
/nix/store/19q40l5l3922ydfcyxrag8hyhdvckx5i-btor2tools-0-unstable-2025-09-18
Loading