==>(B Building on aurorus(B ==>(B Checking for remote environment...(B ==>(B Syncing package to remote host...(B sending incremental file list created directory packages/cadical ./ .SRCINFO 691 100% 0.00kB/s 0:00:00 691 100% 0.00kB/s 0:00:00 (xfr#1, to-chk=7/9) .nvchecker.toml 132 100% 128.91kB/s 0:00:00 132 100% 128.91kB/s 0:00:00 (xfr#2, to-chk=6/9) LICENSE 646 100% 630.86kB/s 0:00:00 646 100% 630.86kB/s 0:00:00 (xfr#3, to-chk=5/9) PKGBUILD 1,268 100% 1.21MB/s 0:00:00 1,268 100% 1.21MB/s 0:00:00 (xfr#4, to-chk=4/9) REUSE.toml 437 100% 426.76kB/s 0:00:00 437 100% 426.76kB/s 0:00:00 (xfr#5, to-chk=3/9) cadical-3.0.1-2.log 741 100% 723.63kB/s 0:00:00 741 100% 723.63kB/s 0:00:00 (xfr#6, to-chk=2/9) LICENSES/ LICENSES/0BSD.txt -> ../LICENSE sent 2,549 bytes received 183 bytes 5,464.00 bytes/sec total size is 3,390 speedup is 1.24 ==>(B Patching arch to riscv64...(B ==>(B Running pkgctl build --arch riscv64 on remote host...(B ==> WARNING:(B invalid architecture: riscv64(B ==>(B Updating pacman database cache(B [?25l:: Synchronizing package databases... core downloading... extra downloading... multilib downloading... [?25h==>(B Building cadical(B  ->(B repo: extra(B  ->(B arch: riscv64(B  ->(B worker: felix-0(B ==>(B Building cadical for [extra] (riscv64)(B ]3008;start=533776ea47124fe287fe94c85c11d2b5;user=felix;hostname=aurorus.felixc.at;machineid=01ca1404c26b4b3a80152fb4f25f4ca7;bootid=b285f01d4d4944d3b00f0d973bd62fa6;pid=1236512;comm=sudo;targetuser=root;type=session\Note: in a future version of systemd-nspawn the default set of permitted socket address families will be restricted to AF_INET, AF_INET6 and AF_UNIX. Use --restrict-address-families= to configure the set of permitted socket address families, or set RestrictAddressFamilies= in a .nspawn file. ]3008;start=6161b4dc2cc2484baaf8cdff00753af7;user=root;hostname=aurorus.felixc.at;machineid=01ca1404c26b4b3a80152fb4f25f4ca7;bootid=b285f01d4d4944d3b00f0d973bd62fa6;pid=1236556;comm=systemd-nspawn;container=arch-nspawn-1236556;type=container\]11;?\]2;🔵 Container arch-nspawn-1236556 on aurorus.felixc.at\[?25l:: Synchronizing package databases... core downloading... extra downloading... :: Starting full system upgrade... there is nothing to do [?25h[!p]104\[?7h]3008;end=6161b4dc2cc2484baaf8cdff00753af7\==>(B Building in chroot for [extra] (riscv64)...(B ==>(B Synchronizing chroot copy [/var/lib/archbuild/extra-riscv64/root] -> [felix-0]...(Bdone(B ]3008;start=76c1124d415e4bada6e698d43a6c9616;user=root;hostname=aurorus.felixc.at;machineid=01ca1404c26b4b3a80152fb4f25f4ca7;bootid=b285f01d4d4944d3b00f0d973bd62fa6;pid=1237024;comm=sudo;targetuser=felix;type=session\==>(B Making package: cadical 3.0.1-2 (Sun Oct 11 01:01:41 2026)(B ==>(B Retrieving sources...(B  ->(B Cloning cadical git repo...(B Cloning into bare repository '/home/felix/packages/cadical/cadical'... remote: Enumerating objects: 28977, done. remote: Counting objects: 0% (1/1936) remote: Counting objects: 1% (20/1936) remote: Counting objects: 2% (39/1936) remote: Counting objects: 3% (59/1936) remote: Counting objects: 4% (78/1936) remote: Counting objects: 5% (97/1936) remote: Counting objects: 6% (117/1936) remote: Counting objects: 7% (136/1936) remote: Counting objects: 8% (155/1936) remote: Counting objects: 9% (175/1936) remote: Counting objects: 10% (194/1936) remote: Counting objects: 11% (213/1936) remote: Counting objects: 12% (233/1936) remote: Counting objects: 13% (252/1936) remote: Counting objects: 14% (272/1936) remote: Counting objects: 15% (291/1936) remote: Counting objects: 16% (310/1936) remote: Counting objects: 17% (330/1936) remote: Counting objects: 18% (349/1936) remote: Counting objects: 19% (368/1936) remote: Counting objects: 20% (388/1936) remote: Counting objects: 21% (407/1936) remote: Counting objects: 22% (426/1936) remote: Counting objects: 23% (446/1936) remote: Counting objects: 24% (465/1936) remote: Counting objects: 25% (484/1936) remote: Counting objects: 26% (504/1936) remote: Counting objects: 27% (523/1936) remote: Counting objects: 28% (543/1936) remote: Counting objects: 29% (562/1936) remote: Counting objects: 30% (581/1936) remote: Counting objects: 31% (601/1936) remote: Counting objects: 32% (620/1936) remote: Counting objects: 33% (639/1936) remote: Counting objects: 34% (659/1936) remote: Counting objects: 35% (678/1936) remote: Counting objects: 36% (697/1936) remote: Counting objects: 37% (717/1936) remote: Counting objects: 38% (736/1936) remote: Counting objects: 39% (756/1936) remote: Counting objects: 40% (775/1936) remote: Counting objects: 41% (794/1936) remote: Counting objects: 42% (814/1936) remote: Counting objects: 43% (833/1936) remote: Counting objects: 44% (852/1936) remote: Counting objects: 45% (872/1936) remote: Counting objects: 46% (891/1936) remote: Counting objects: 47% (910/1936) remote: Counting objects: 48% (930/1936) remote: Counting objects: 49% (949/1936) remote: Counting objects: 50% (968/1936) remote: Counting objects: 51% (988/1936) remote: Counting objects: 52% (1007/1936) remote: Counting objects: 53% (1027/1936) remote: Counting objects: 54% (1046/1936) remote: Counting objects: 55% (1065/1936) remote: Counting objects: 56% (1085/1936) remote: Counting objects: 57% (1104/1936) remote: Counting objects: 58% (1123/1936) remote: Counting objects: 59% (1143/1936) remote: Counting objects: 60% (1162/1936) remote: Counting objects: 61% (1181/1936) remote: Counting objects: 62% (1201/1936) remote: Counting objects: 63% (1220/1936) remote: Counting objects: 64% (1240/1936) remote: Counting objects: 65% (1259/1936) remote: Counting objects: 66% (1278/1936) remote: Counting objects: 67% (1298/1936) remote: Counting objects: 68% (1317/1936) remote: Counting objects: 69% (1336/1936) remote: Counting objects: 70% (1356/1936) remote: Counting objects: 71% (1375/1936) remote: Counting objects: 72% (1394/1936) remote: Counting objects: 73% (1414/1936) remote: Counting objects: 74% (1433/1936) remote: Counting objects: 75% (1452/1936) remote: Counting objects: 76% (1472/1936) remote: Counting objects: 77% (1491/1936) remote: Counting objects: 78% (1511/1936) remote: Counting objects: 79% (1530/1936) remote: Counting objects: 80% (1549/1936) remote: Counting objects: 81% (1569/1936) remote: Counting objects: 82% (1588/1936) remote: Counting objects: 83% (1607/1936) remote: Counting objects: 84% (1627/1936) remote: Counting objects: 85% (1646/1936) remote: Counting objects: 86% (1665/1936) remote: Counting objects: 87% (1685/1936) remote: Counting objects: 88% (1704/1936) remote: Counting objects: 89% (1724/1936) remote: Counting objects: 90% (1743/1936) remote: Counting objects: 91% (1762/1936) remote: Counting objects: 92% (1782/1936) remote: Counting objects: 93% (1801/1936) remote: Counting objects: 94% (1820/1936) remote: Counting objects: 95% (1840/1936) remote: Counting objects: 96% (1859/1936) remote: Counting objects: 97% (1878/1936) remote: Counting objects: 98% (1898/1936) remote: Counting objects: 99% (1917/1936) remote: Counting objects: 100% (1936/1936) remote: Counting objects: 100% (1936/1936), done. remote: Compressing objects: 0% (1/242) remote: Compressing objects: 1% (3/242) remote: Compressing objects: 2% (5/242) remote: Compressing objects: 3% (8/242) remote: Compressing objects: 4% (10/242) remote: Compressing objects: 5% (13/242) remote: Compressing objects: 6% (15/242) remote: Compressing objects: 7% (17/242) remote: Compressing objects: 8% (20/242) remote: Compressing objects: 9% (22/242) remote: Compressing objects: 10% (25/242) remote: Compressing objects: 11% (27/242) remote: Compressing objects: 12% (30/242) remote: Compressing objects: 13% (32/242) remote: Compressing objects: 14% (34/242) remote: Compressing objects: 15% (37/242) remote: Compressing objects: 16% (39/242) remote: Compressing objects: 17% (42/242) remote: Compressing objects: 18% (44/242) remote: Compressing objects: 19% (46/242) remote: Compressing objects: 20% (49/242) remote: Compressing objects: 21% (51/242) remote: Compressing objects: 22% (54/242) remote: Compressing objects: 23% (56/242) remote: Compressing objects: 24% (59/242) remote: Compressing objects: 25% (61/242) remote: Compressing objects: 26% (63/242) remote: Compressing objects: 27% (66/242) remote: Compressing objects: 28% (68/242) remote: Compressing objects: 29% (71/242) remote: Compressing objects: 30% (73/242) remote: Compressing objects: 31% (76/242) remote: Compressing objects: 32% (78/242) remote: Compressing objects: 33% (80/242) remote: Compressing objects: 34% (83/242) remote: Compressing objects: 35% (85/242) remote: Compressing objects: 36% (88/242) remote: Compressing objects: 37% (90/242) remote: Compressing objects: 38% (92/242) remote: Compressing objects: 39% (95/242) remote: Compressing objects: 40% (97/242) remote: Compressing objects: 41% (100/242) remote: Compressing objects: 42% (102/242) remote: Compressing objects: 43% (105/242) remote: Compressing objects: 44% (107/242) remote: Compressing objects: 45% (109/242) remote: Compressing objects: 46% (112/242) remote: Compressing objects: 47% (114/242) remote: Compressing objects: 48% (117/242) remote: Compressing objects: 49% (119/242) remote: Compressing objects: 50% (121/242) remote: Compressing objects: 51% (124/242) remote: Compressing objects: 52% (126/242) remote: Compressing objects: 53% (129/242) remote: Compressing objects: 54% (131/242) remote: Compressing objects: 55% (134/242) remote: Compressing objects: 56% (136/242) remote: Compressing objects: 57% (138/242) remote: Compressing objects: 58% (141/242) remote: Compressing objects: 59% (143/242) remote: Compressing objects: 60% (146/242) remote: Compressing objects: 61% (148/242) remote: Compressing objects: 62% (151/242) remote: Compressing objects: 63% (153/242) remote: Compressing objects: 64% (155/242) remote: Compressing objects: 65% (158/242) remote: Compressing objects: 66% (160/242) remote: Compressing objects: 67% (163/242) remote: Compressing objects: 68% (165/242) remote: Compressing objects: 69% (167/242) remote: Compressing objects: 70% (170/242) remote: Compressing objects: 71% (172/242) remote: Compressing objects: 72% (175/242) remote: Compressing objects: 73% (177/242) remote: Compressing objects: 74% (180/242) remote: Compressing objects: 75% (182/242) remote: Compressing objects: 76% (184/242) remote: Compressing objects: 77% (187/242) remote: Compressing objects: 78% (189/242) remote: Compressing objects: 79% (192/242) remote: Compressing objects: 80% (194/242) remote: Compressing objects: 81% (197/242) remote: Compressing objects: 82% (199/242) remote: Compressing objects: 83% (201/242) remote: Compressing objects: 84% (204/242) remote: Compressing objects: 85% (206/242) remote: Compressing objects: 86% (209/242) remote: Compressing objects: 87% (211/242) remote: Compressing objects: 88% (213/242) remote: Compressing objects: 89% (216/242) remote: Compressing objects: 90% (218/242) remote: Compressing objects: 91% (221/242) remote: Compressing objects: 92% (223/242) remote: Compressing objects: 93% (226/242) remote: Compressing objects: 94% (228/242) remote: Compressing objects: 95% (230/242) remote: Compressing objects: 96% (233/242) remote: Compressing objects: 97% (235/242) remote: Compressing objects: 98% (238/242) remote: Compressing objects: 99% (240/242) remote: Compressing objects: 100% (242/242) remote: Compressing objects: 100% (242/242), done. Receiving objects: 0% (1/28977) Receiving objects: 1% (290/28977) Receiving objects: 2% (580/28977) Receiving objects: 3% (870/28977) Receiving objects: 4% (1160/28977) Receiving objects: 5% (1449/28977) Receiving objects: 6% (1739/28977) Receiving objects: 7% (2029/28977) Receiving objects: 8% (2319/28977) Receiving objects: 9% (2608/28977) Receiving objects: 10% (2898/28977), 496.01 KiB | 873.00 KiB/s Receiving objects: 11% (3188/28977), 496.01 KiB | 873.00 KiB/s Receiving objects: 12% (3478/28977), 496.01 KiB | 873.00 KiB/s Receiving objects: 13% (3768/28977), 496.01 KiB | 873.00 KiB/s Receiving objects: 14% (4057/28977), 496.01 KiB | 873.00 KiB/s Receiving objects: 14% (4207/28977), 496.01 KiB | 873.00 KiB/s Receiving objects: 15% (4347/28977), 976.01 KiB | 911.00 KiB/s Receiving objects: 16% (4637/28977), 976.01 KiB | 911.00 KiB/s Receiving objects: 17% (4927/28977), 1.47 MiB | 922.00 KiB/s Receiving objects: 17% (4935/28977), 1.47 MiB | 922.00 KiB/s Receiving objects: 18% (5216/28977), 1.47 MiB | 922.00 KiB/s Receiving objects: 19% (5506/28977), 2.08 MiB | 986.00 KiB/s Receiving objects: 20% (5796/28977), 2.08 MiB | 986.00 KiB/s Receiving objects: 21% (6086/28977), 2.08 MiB | 986.00 KiB/s Receiving objects: 22% (6375/28977), 2.08 MiB | 986.00 KiB/s Receiving objects: 23% (6665/28977), 2.08 MiB | 986.00 KiB/s Receiving objects: 24% (6955/28977), 2.08 MiB | 986.00 KiB/s Receiving objects: 25% (7245/28977), 2.08 MiB | 986.00 KiB/s Receiving objects: 26% (7535/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 27% (7824/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 28% (8114/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 29% (8404/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 30% (8694/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 31% (8983/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 32% (9273/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 33% (9563/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 34% (9853/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 34% (9975/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 35% (10142/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 36% (10432/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 37% (10722/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 38% (11012/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 39% (11302/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 40% (11591/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 41% (11881/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 42% (12171/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 43% (12461/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 44% (12750/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 45% (13040/28977), 2.89 MiB | 1.09 MiB/s Receiving objects: 46% (13330/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 47% (13620/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 48% (13909/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 49% (14199/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 50% (14489/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 51% (14779/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 52% (15069/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 53% (15358/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 54% (15648/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 55% (15938/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 56% (16228/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 57% (16517/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 58% (16807/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 59% (17097/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 60% (17387/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 61% (17676/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 62% (17966/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 63% (18256/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 64% (18546/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 65% (18836/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 66% (19125/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 67% (19415/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 68% (19705/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 69% (19995/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 70% (20284/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 71% (20574/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 72% (20864/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 73% (21154/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 74% (21443/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 75% (21733/28977), 4.01 MiB | 1.25 MiB/s Receiving objects: 76% (22023/28977), 5.34 MiB | 1.44 MiB/s Receiving objects: 77% (22313/28977), 5.34 MiB | 1.44 MiB/s Receiving objects: 78% (22603/28977), 5.34 MiB | 1.44 MiB/s Receiving objects: 79% (22892/28977), 5.34 MiB | 1.44 MiB/s Receiving objects: 79% (23077/28977), 5.34 MiB | 1.44 MiB/s Receiving objects: 80% (23182/28977), 5.34 MiB | 1.44 MiB/s Receiving objects: 81% (23472/28977), 5.34 MiB | 1.44 MiB/s Receiving objects: 82% (23762/28977), 5.34 MiB | 1.44 MiB/s Receiving objects: 83% (24051/28977), 5.34 MiB | 1.44 MiB/s Receiving objects: 84% (24341/28977), 6.73 MiB | 1.59 MiB/s Receiving objects: 85% (24631/28977), 6.73 MiB | 1.59 MiB/s Receiving objects: 85% (24774/28977), 8.04 MiB | 1.70 MiB/s Receiving objects: 86% (24921/28977), 8.04 MiB | 1.70 MiB/s Receiving objects: 87% (25210/28977), 8.04 MiB | 1.70 MiB/s Receiving objects: 88% (25500/28977), 8.04 MiB | 1.70 MiB/s Receiving objects: 89% (25790/28977), 8.04 MiB | 1.70 MiB/s Receiving objects: 90% (26080/28977), 8.04 MiB | 1.70 MiB/s Receiving objects: 91% (26370/28977), 8.04 MiB | 1.70 MiB/s Receiving objects: 92% (26659/28977), 8.04 MiB | 1.70 MiB/s Receiving objects: 93% (26949/28977), 8.04 MiB | 1.70 MiB/s Receiving objects: 94% (27239/28977), 9.53 MiB | 1.90 MiB/s Receiving objects: 95% (27529/28977), 9.53 MiB | 1.90 MiB/s Receiving objects: 96% (27818/28977), 9.53 MiB | 1.90 MiB/s Receiving objects: 97% (28108/28977), 9.53 MiB | 1.90 MiB/s Receiving objects: 98% (28398/28977), 9.53 MiB | 1.90 MiB/s Receiving objects: 99% (28688/28977), 9.53 MiB | 1.90 MiB/s remote: Total 28977 (delta 1854), reused 1701 (delta 1693), pack-reused 27041 (from 3) Receiving objects: 100% (28977/28977), 9.53 MiB | 1.90 MiB/s Receiving objects: 100% (28977/28977), 10.14 MiB | 1.79 MiB/s, done. Resolving deltas: 0% (0/21923) Resolving deltas: 1% (220/21923) Resolving deltas: 2% (439/21923) Resolving deltas: 3% (658/21923) Resolving deltas: 4% (877/21923) Resolving deltas: 5% (1098/21923) Resolving deltas: 6% (1316/21923) Resolving deltas: 7% (1536/21923) Resolving deltas: 8% (1754/21923) Resolving deltas: 9% (1974/21923) Resolving deltas: 10% (2193/21923) Resolving deltas: 11% (2412/21923) Resolving deltas: 12% (2631/21923) Resolving deltas: 13% (2850/21923) Resolving deltas: 14% (3070/21923) Resolving deltas: 15% (3289/21923) Resolving deltas: 16% (3508/21923) Resolving deltas: 17% (3729/21923) Resolving deltas: 18% (3947/21923) Resolving deltas: 19% (4166/21923) Resolving deltas: 20% (4385/21923) Resolving deltas: 21% (4604/21923) Resolving deltas: 22% (4824/21923) Resolving deltas: 23% (5043/21923) Resolving deltas: 24% (5262/21923) Resolving deltas: 25% (5482/21923) Resolving deltas: 26% (5700/21923) Resolving deltas: 27% (5920/21923) Resolving deltas: 28% (6139/21923) Resolving deltas: 29% (6358/21923) Resolving deltas: 30% (6577/21923) Resolving deltas: 31% (6797/21923) Resolving deltas: 32% (7016/21923) Resolving deltas: 33% (7235/21923) Resolving deltas: 34% (7454/21923) Resolving deltas: 35% (7674/21923) Resolving deltas: 36% (7893/21923) Resolving deltas: 37% (8112/21923) Resolving deltas: 38% (8331/21923) Resolving deltas: 39% (8550/21923) Resolving deltas: 40% (8771/21923) Resolving deltas: 41% (8990/21923) Resolving deltas: 42% (9208/21923) Resolving deltas: 43% (9429/21923) Resolving deltas: 44% (9647/21923) Resolving deltas: 45% (9866/21923) Resolving deltas: 46% (10086/21923) Resolving deltas: 47% (10304/21923) Resolving deltas: 48% (10524/21923) Resolving deltas: 49% (10743/21923) Resolving deltas: 50% (10962/21923) Resolving deltas: 51% (11181/21923) Resolving deltas: 52% (11400/21923) Resolving deltas: 53% (11620/21923) Resolving deltas: 54% (11839/21923) Resolving deltas: 55% (12058/21923) Resolving deltas: 56% (12277/21923) Resolving deltas: 57% (12497/21923) Resolving deltas: 58% (12716/21923) Resolving deltas: 59% (12935/21923) Resolving deltas: 60% (13154/21923) Resolving deltas: 61% (13374/21923) Resolving deltas: 62% (13593/21923) Resolving deltas: 63% (13812/21923) Resolving deltas: 64% (14031/21923) Resolving deltas: 65% (14250/21923) Resolving deltas: 66% (14470/21923) Resolving deltas: 67% (14689/21923) Resolving deltas: 68% (14908/21923) Resolving deltas: 68% (14961/21923) Resolving deltas: 69% (15127/21923) Resolving deltas: 70% (15347/21923) Resolving deltas: 71% (15566/21923) Resolving deltas: 72% (15785/21923) Resolving deltas: 73% (16004/21923) Resolving deltas: 74% (16224/21923) Resolving deltas: 75% (16443/21923) Resolving deltas: 76% (16662/21923) Resolving deltas: 77% (16881/21923) Resolving deltas: 78% (17100/21923) Resolving deltas: 79% (17320/21923) Resolving deltas: 80% (17540/21923) Resolving deltas: 81% (17758/21923) Resolving deltas: 82% (17977/21923) Resolving deltas: 83% (18197/21923) Resolving deltas: 84% (18416/21923) Resolving deltas: 85% (18635/21923) Resolving deltas: 86% (18854/21923) Resolving deltas: 87% (19074/21923) Resolving deltas: 88% (19293/21923) Resolving deltas: 89% (19513/21923) Resolving deltas: 90% (19731/21923) Resolving deltas: 91% (19950/21923) Resolving deltas: 92% (20170/21923) Resolving deltas: 93% (20389/21923) Resolving deltas: 94% (20608/21923) Resolving deltas: 95% (20827/21923) Resolving deltas: 96% (21047/21923) Resolving deltas: 97% (21266/21923) Resolving deltas: 98% (21485/21923) Resolving deltas: 99% (21704/21923) Resolving deltas: 100% (21923/21923) Resolving deltas: 100% (21923/21923), done. ==>(B Validating source files with sha256sums...(B cadical ... Passed ]3008;end=76c1124d415e4bada6e698d43a6c9616\Note: in a future version of systemd-nspawn the default set of permitted socket address families will be restricted to AF_INET, AF_INET6 and AF_UNIX. Use --restrict-address-families= to configure the set of permitted socket address families, or set RestrictAddressFamilies= in a .nspawn file. ]3008;start=8ed57ab68a104b8d920ddc11ab9b7646;user=root;hostname=aurorus.felixc.at;machineid=01ca1404c26b4b3a80152fb4f25f4ca7;bootid=b285f01d4d4944d3b00f0d973bd62fa6;pid=1238667;comm=systemd-nspawn;container=makechrootpkg-cadical.build.1236533;type=container\]11;?\]2;🔵 Container makechrootpkg-cadical.build.1236533 on aurorus.felixc.at\]3008;start=929805bccc8d4b2db60e2aecc589d314;user=root;hostname=makechrootpkg-cadical.build.1236533;machineid=5f0ce179c8e7417bb21ef99630a021ca;bootid=a36563489a5747baab416ebf8f855206;pid=14;comm=sudo;targetuser=builduser;type=session\==>(B Making package: cadical 3.0.1-2 (Sun Oct 11 01:02:27 2026)(B ==>(B Checking runtime dependencies...(B ==>(B Checking buildtime dependencies...(B ==>(B Installing missing dependencies...(B ]3008;start=49b52f03af424ab99fe6123d536a802b;user=builduser;hostname=makechrootpkg-cadical.build.1236533;machineid=5f0ce179c8e7417bb21ef99630a021ca;bootid=a36563489a5747baab416ebf8f855206;pid=1422;comm=sudo;targetuser=root;type=session\[?25lresolving dependencies... looking for conflicting packages... Package (5) New Version Net Change extra/perl-error 0.17030-3 0.04 MiB extra/perl-mailtools 2.22-3 0.10 MiB extra/perl-timedate 2.35-1 0.15 MiB extra/zlib-ng 2.3.3-1 0.23 MiB extra/git 2.56.0-1 32.07 MiB Total Installed Size: 32.59 MiB :: Proceed with installation? [Y/n] checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing perl-error... installing perl-timedate... installing perl-mailtools... installing zlib-ng... installing git... Optional dependencies for git git-zsh-completion: upstream zsh completion tk: gitk and git gui openssh: ssh transport and crypto man: show help with `git command --help` perl-libwww: git svn perl-term-readkey: git svn and interactive.singlekey setting perl-io-socket-ssl: git send-email TLS support perl-authen-sasl: git send-email TLS support perl-cgi: gitweb (web interface) support python: git svn & git p4 [installed] subversion: git svn org.freedesktop.secrets: keyring credential helper libsecret: libsecret credential helper [installed] less: the default pager for git :: Running post-transaction hooks... (1/4) Creating system user accounts... Creating group 'git' with GID 969. Creating user 'git' (git daemon user) with UID 969 and GID 969. (2/4) Reloading system manager configuration... Skipped: Current root is not booted. (3/4) Arming ConditionNeedsUpdate... (4/4) Checking for old perl modules... [?25h]3008;end=49b52f03af424ab99fe6123d536a802b\==>(B Retrieving sources...(B ==> WARNING:(B Skipping all source file integrity checks.(B ==>(B Extracting sources...(B  ->(B Creating working copy of cadical git repo...(B Cloning into 'cadical'... done. Switched to a new branch 'makepkg' ==>(B Starting build()...(B configure: making default 'build' directory configure: building in default '/build/cadical/src/cadical/build' configure: root directory '/build/cadical/src/cadical' configure: source directory '/build/cadical/src/cadical/src' configure: compiler supports all required C99/C++11 extensions configure: compiler configuration supports flexible array members configure: unlocked IO with '{putc,getc}_unlocked' seems to work configure: 'closefrom' seems to be working configure: adding 'libcadical.so' and 'cadical-dynamic' to default makefile goal configure: compiling C++ with 'g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic' configure: compiling C with 'gcc -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic' configure: generated 'build/makefile' from '../makefile.in' configure: generated '../makefile' as proxy to ... configure: ... '/build/cadical/src/cadical/build/makefile' configure: linking '/build/cadical/src/cadical/makefile' configure: now run 'make' to compile CaDiCaL configure: optionally run 'make test' make -C "/build/cadical/src/cadical/build" make[1]: Entering directory '/build/cadical/src/cadical/build' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/analyze.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/arena.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/assume.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/averages.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/backbone.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/backtrack.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/backward.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/bins.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/block.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/ccadical.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/checker.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/clause.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/collect.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/compact.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/condition.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/config.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/congruence.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/constrain.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/contract.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/cover.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/decide.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/decompose.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/deduplicate.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/definition.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/drattracer.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/elim.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/elimfast.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/ema.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/extend.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/external.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/external_propagate.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/factor.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/file.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/flags.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/flip.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/format.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/frattracer.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/gates.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/idruptracer.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/instantiate.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/internal.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/ipasir.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/lidruptracer.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/limit.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/logging.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/lookahead.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/lratchecker.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/lrattracer.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/lucky.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/message.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/minimize.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/occs.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/options.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/parse.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/phases.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/probe.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/profile.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/proof.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/propagate.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/queue.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/random.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/reap.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/reduce.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/rephase.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/report.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/resources.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/restart.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/restore.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/score.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/shrink.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/signal.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/solution.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/solver.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/stable.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/stats.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/subsume.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/sweep.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/terminal.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/ternary.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/tier.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/transred.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/unstable.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/util.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/var.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/veripbtracer.cpp ../scripts/make-build-header.sh > build.hpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/vivify.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/walk.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/walk_full_occs.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/warmup.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/watch.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../contrib/craigtracer.cpp gcc -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -x c -c ../src/kitten.c -o kitten.o ../src/kitten.c: In function ‘reset_core’: ../src/kitten.c:1622:10: warning: variable ‘reset’ set but not used [-Wunused-but-set-variable=] 1622 | size_t reset = 0; | ^~~~~ g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/cadical.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/mobical.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/version.cpp ar rc libcadical.a analyze.o arena.o assume.o averages.o backbone.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o congruence.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o definition.o drattracer.o elim.o elimfast.o ema.o extend.o external.o external_propagate.o factor.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stable.o stats.o subsume.o sweep.o terminal.o ternary.o tier.o transred.o unstable.o util.o var.o veripbtracer.o version.o vivify.o walk.o walk_full_occs.o warmup.o watch.o craigtracer.o kitten.o g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -shared -o libcadical.so analyze.o arena.o assume.o averages.o backbone.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o congruence.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o definition.o drattracer.o elim.o elimfast.o ema.o extend.o external.o external_propagate.o factor.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stable.o stats.o subsume.o sweep.o terminal.o ternary.o tier.o transred.o unstable.o util.o var.o veripbtracer.o version.o vivify.o walk.o walk_full_occs.o warmup.o watch.o craigtracer.o kitten.o g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o cadical cadical.o -L. libcadical.a g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o mobical mobical.o -L. libcadical.a g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o cadical-dynamic cadical.o -L. libcadical.so make[1]: Leaving directory '/build/cadical/src/cadical/build' ==>(B Starting check()...(B make -C "/build/cadical/src/cadical/build" test make[1]: Entering directory '/build/cadical/src/cadical/build' ../scripts/make-build-header.sh > build.hpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/version.cpp ar rc libcadical.a analyze.o arena.o assume.o averages.o backbone.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o congruence.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o definition.o drattracer.o elim.o elimfast.o ema.o extend.o external.o external_propagate.o factor.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stable.o stats.o subsume.o sweep.o terminal.o ternary.o tier.o transred.o unstable.o util.o var.o veripbtracer.o version.o vivify.o walk.o walk_full_occs.o warmup.o watch.o craigtracer.o kitten.o g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -shared -o libcadical.so analyze.o arena.o assume.o averages.o backbone.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o congruence.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o definition.o drattracer.o elim.o elimfast.o ema.o extend.o external.o external_propagate.o factor.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stable.o stats.o subsume.o sweep.o terminal.o ternary.o tier.o transred.o unstable.o util.o var.o veripbtracer.o version.o vivify.o walk.o walk_full_occs.o warmup.o watch.o craigtracer.o kitten.o g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o cadical cadical.o -L. libcadical.a g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o mobical mobical.o -L. libcadical.a g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o cadical-dynamic cadical.o -L. libcadical.so CADICALBUILD="../build" make -j1 -C ../test make[2]: Entering directory '/build/cadical/src/cadical/test' make[2]: warning: -j1 forced in submake: resetting jobserver mode. --------------------------------------------------------- usage testing in '../build' --------------------------------------------------------- make[3]: Entering directory '/build/cadical/src/cadical/build' ../scripts/make-build-header.sh > build.hpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/version.cpp ar rc libcadical.a analyze.o arena.o assume.o averages.o backbone.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o congruence.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o definition.o drattracer.o elim.o elimfast.o ema.o extend.o external.o external_propagate.o factor.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stable.o stats.o subsume.o sweep.o terminal.o ternary.o tier.o transred.o unstable.o util.o var.o veripbtracer.o version.o vivify.o walk.o walk_full_occs.o warmup.o watch.o craigtracer.o kitten.o g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o cadical cadical.o -L. libcadical.a g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o mobical mobical.o -L. libcadical.a g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -shared -o libcadical.so analyze.o arena.o assume.o averages.o backbone.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o congruence.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o definition.o drattracer.o elim.o elimfast.o ema.o extend.o external.o external_propagate.o factor.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stable.o stats.o subsume.o sweep.o terminal.o ternary.o tier.o transred.o unstable.o util.o var.o veripbtracer.o version.o vivify.o walk.o walk_full_occs.o warmup.o watch.o craigtracer.o kitten.o g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o cadical-dynamic cadical.o -L. libcadical.so make[3]: Leaving directory '/build/cadical/src/cadical/build' starting test run /build/cadical/src/cadical/test test/usage/run.sh: running usage test 'test-usage-h' ../build/cadical -h# ok (expected exit code '0') test/usage/run.sh: running usage test 'test-usage-help' ../build/cadical --help# ok (expected exit code '0') test/usage/run.sh: running usage test 'test-usage-version' ../build/cadical --version# ok (expected exit code '0') test/usage/run.sh: running usage test 'test-usage-build' ../build/cadical --build# ok (expected exit code '0') test/usage/run.sh: running usage test 'test-usage-copyright' ../build/cadical --copyright# ok (expected exit code '0') test/usage/run.sh: running usage test 'test-usage-empty' ../build/cadical ../test/cnf/empty.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-false' ../build/cadical ../test/cnf/false.cnf# ok (expected exit code '20') test/usage/run.sh: running usage test 'test-usage-n-empty' ../build/cadical -n ../test/cnf/empty.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-v-empty' ../build/cadical -v ../test/cnf/empty.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-v-v-empty' ../build/cadical -v -v ../test/cnf/empty.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-v-v-v-empty' ../build/cadical -v -v -v ../test/cnf/empty.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-q-empty' ../build/cadical -q ../test/cnf/empty.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-missing-clause' ../build/cadical ../test/usage/missing-clause.cnf# ok (expected exit code '1') test/usage/run.sh: running usage test 'test-usage-variable-too-large' ../build/cadical ../test/usage/variable-too-large.cnf# ok (expected exit code '1') test/usage/run.sh: running usage test 'test-usage-strict-relaxed-header' ../build/cadical --strict relaxed-header.cnf# ok (expected exit code '1') test/usage/run.sh: running usage test 'test-usage-f-missing-clause' ../build/cadical -f ../test/usage/missing-clause.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-f-variable-too-large' ../build/cadical -f ../test/usage/variable-too-large.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-force-missing-clause' ../build/cadical --force ../test/usage/missing-clause.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-force-variable-too-large' ../build/cadical --force ../test/usage/variable-too-large.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-force=1-missing-clause' ../build/cadical --force=1 ../test/usage/missing-clause.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-force=1-variable-too-large' ../build/cadical --force=1 ../test/usage/variable-too-large.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-force=true-missing-clause' ../build/cadical --force=true ../test/usage/missing-clause.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-force=true-variable-too-large' ../build/cadical --force=true ../test/usage/variable-too-large.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-relaxed-header' ../build/cadical ../test/usage/relaxed-header.cnf# ok (expected exit code '20') test/usage/run.sh: running usage test 'test-usage-O1-prime2209' ../build/cadical -O1 ../test/cnf/prime2209.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-O2-prime2209' ../build/cadical -O2 ../test/cnf/prime2209.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-O3-prime2209' ../build/cadical -O3 ../test/cnf/prime2209.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-L1-prime9' ../build/cadical -L1 ../test/cnf/prime9.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-L2-prime9' ../build/cadical -L2 ../test/cnf/prime9.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-L10-prime9' ../build/cadical -L10 ../test/cnf/prime9.cnf# ok (expected exit code '10') test/usage/run.sh: running usage test 'test-usage-P1-add16' ../build/cadical -P1 ../test/cnf/add16.cnf# ok (expected exit code '20') test/usage/run.sh: running usage test 'test-usage-P2-add16' ../build/cadical -P2 ../test/cnf/add16.cnf# ok (expected exit code '20') test/usage/run.sh: running usage test 'test-usage-P16-add16' ../build/cadical -P16 ../test/cnf/add16.cnf# ok (expected exit code '20') test/usage/run.sh: running usage test 'test-usage-P128-add16' ../build/cadical -P128 ../test/cnf/add16.cnf# ok (expected exit code '20') test/usage/run.sh: running usage test 'test-usage-P1024-add16' ../build/cadical -P1024 ../test/cnf/add16.cnf# ok (expected exit code '20') test/usage/run.sh: usage testing results: 35 ok, 0 failed --------------------------------------------------------- Regression Testing API traces in '../build' --------------------------------------------------------- make[3]: Entering directory '/build/cadical/src/cadical/build' ../scripts/make-build-header.sh > build.hpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/version.cpp ar rc libcadical.a analyze.o arena.o assume.o averages.o backbone.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o congruence.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o definition.o drattracer.o elim.o elimfast.o ema.o extend.o external.o external_propagate.o factor.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stable.o stats.o subsume.o sweep.o terminal.o ternary.o tier.o transred.o unstable.o util.o var.o veripbtracer.o version.o vivify.o walk.o walk_full_occs.o warmup.o watch.o craigtracer.o kitten.o g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o cadical cadical.o -L. libcadical.a g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o mobical mobical.o -L. libcadical.a g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -shared -o libcadical.so analyze.o arena.o assume.o averages.o backbone.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o congruence.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o definition.o drattracer.o elim.o elimfast.o ema.o extend.o external.o external_propagate.o factor.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stable.o stats.o subsume.o sweep.o terminal.o ternary.o tier.o transred.o unstable.o util.o var.o veripbtracer.o version.o vivify.o walk.o walk_full_occs.o warmup.o watch.o craigtracer.o kitten.o g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o cadical-dynamic cadical.o -L. libcadical.so make[3]: Leaving directory '/build/cadical/src/cadical/build' test/trace/run.sh: found 79 traces test/trace/run.sh: running 'reg0000' ../build/mobical ../test/trace/reg0000.trace 0 # ... ok test/trace/run.sh: running 'reg0001' ../build/mobical ../test/trace/reg0001.trace 0 # ... ok test/trace/run.sh: running 'reg0002' ../build/mobical ../test/trace/reg0002.trace 0 # ... ok test/trace/run.sh: running 'reg0003' ../build/mobical ../test/trace/reg0003.trace 0 # ... ok test/trace/run.sh: running 'reg0004' ../build/mobical ../test/trace/reg0004.trace 0 # ... ok test/trace/run.sh: running 'reg0005' ../build/mobical ../test/trace/reg0005.trace 0 # ... ok test/trace/run.sh: running 'reg0006' ../build/mobical ../test/trace/reg0006.trace 0 # ... ok test/trace/run.sh: running 'reg0007' ../build/mobical ../test/trace/reg0007.trace 0 # ... ok test/trace/run.sh: running 'reg0008' ../build/mobical ../test/trace/reg0008.trace 0 # ... ok test/trace/run.sh: running 'reg0009' ../build/mobical ../test/trace/reg0009.trace 0 # ... ok test/trace/run.sh: running 'reg0010' ../build/mobical ../test/trace/reg0010.trace 0 # ... ok test/trace/run.sh: running 'reg0011' ../build/mobical ../test/trace/reg0011.trace 0 # ... ok test/trace/run.sh: running 'reg0012' ../build/mobical ../test/trace/reg0012.trace 0 # ... ok test/trace/run.sh: running 'reg0013' ../build/mobical ../test/trace/reg0013.trace 0 # ... ok test/trace/run.sh: running 'reg0014' ../build/mobical ../test/trace/reg0014.trace 0 # ... ok test/trace/run.sh: running 'reg0015' ../build/mobical ../test/trace/reg0015.trace 0 # ... ok test/trace/run.sh: running 'reg0016' ../build/mobical ../test/trace/reg0016.trace 0 # ... ok test/trace/run.sh: running 'reg0017' ../build/mobical ../test/trace/reg0017.trace 0 # ... ok test/trace/run.sh: running 'reg0018' ../build/mobical ../test/trace/reg0018.trace 0 # ... ok test/trace/run.sh: running 'reg0019' ../build/mobical ../test/trace/reg0019.trace 0 # ... ok test/trace/run.sh: running 'reg0020' ../build/mobical ../test/trace/reg0020.trace 0 # ... ok test/trace/run.sh: running 'reg0021' ../build/mobical ../test/trace/reg0021.trace 0 # ... ok test/trace/run.sh: running 'reg0022' ../build/mobical ../test/trace/reg0022.trace 0 # ... ok test/trace/run.sh: running 'reg0023' ../build/mobical ../test/trace/reg0023.trace 0 # ... ok test/trace/run.sh: running 'reg0024' ../build/mobical ../test/trace/reg0024.trace 0 # ... ok test/trace/run.sh: running 'reg0025' ../build/mobical ../test/trace/reg0025.trace 0 # ... ok test/trace/run.sh: running 'reg0026' ../build/mobical ../test/trace/reg0026.trace 0 # ... ok test/trace/run.sh: running 'reg0027' ../build/mobical ../test/trace/reg0027.trace 0 # ... ok test/trace/run.sh: running 'reg0028' ../build/mobical ../test/trace/reg0028.trace 0 # ... ok test/trace/run.sh: running 'reg0029' ../build/mobical ../test/trace/reg0029.trace 0 # ... ok test/trace/run.sh: running 'reg0030' ../build/mobical ../test/trace/reg0030.trace 0 # ... ok test/trace/run.sh: running 'reg0031' ../build/mobical ../test/trace/reg0031.trace 0 # ... ok test/trace/run.sh: running 'reg0032' ../build/mobical ../test/trace/reg0032.trace 0 # ... ok test/trace/run.sh: running 'reg0033' ../build/mobical ../test/trace/reg0033.trace 0 # ... ok test/trace/run.sh: running 'reg0034' ../build/mobical ../test/trace/reg0034.trace 0 # ... ok test/trace/run.sh: running 'reg0035' ../build/mobical ../test/trace/reg0035.trace 0 # ... ok test/trace/run.sh: running 'reg0036' ../build/mobical ../test/trace/reg0036.trace 0 # ... ok test/trace/run.sh: running 'reg0037' ../build/mobical ../test/trace/reg0037.trace 0 # ... ok test/trace/run.sh: running 'reg0038' ../build/mobical ../test/trace/reg0038.trace 0 # ... ok test/trace/run.sh: running 'reg0039' ../build/mobical ../test/trace/reg0039.trace 0 # ... ok test/trace/run.sh: running 'reg0040' ../build/mobical ../test/trace/reg0040.trace 0 # ... ok test/trace/run.sh: running 'reg0041' ../build/mobical ../test/trace/reg0041.trace 0 # ... ok test/trace/run.sh: running 'reg0042' ../build/mobical ../test/trace/reg0042.trace 0 # ... ok test/trace/run.sh: running 'reg0043' ../build/mobical ../test/trace/reg0043.trace 0 # ... ok test/trace/run.sh: running 'reg0044' ../build/mobical ../test/trace/reg0044.trace 0 # ... ok test/trace/run.sh: running 'reg0045' ../build/mobical ../test/trace/reg0045.trace 0 # ... ok test/trace/run.sh: running 'reg0046' ../build/mobical ../test/trace/reg0046.trace 0 # ... ok test/trace/run.sh: running 'reg0047' ../build/mobical ../test/trace/reg0047.trace 0 # ... ok test/trace/run.sh: running 'reg0048' ../build/mobical ../test/trace/reg0048.trace 0 # ... ok test/trace/run.sh: running 'reg0049' ../build/mobical ../test/trace/reg0049.trace 0 # ... ok test/trace/run.sh: running 'reg0050' ../build/mobical ../test/trace/reg0050.trace 0 # ... ok test/trace/run.sh: running 'reg0051' ../build/mobical ../test/trace/reg0051.trace 0 # ... ok test/trace/run.sh: running 'reg0052' ../build/mobical ../test/trace/reg0052.trace 0 # ... ok test/trace/run.sh: running 'reg0053' ../build/mobical ../test/trace/reg0053.trace 0 # ... ok test/trace/run.sh: running 'reg0054' ../build/mobical ../test/trace/reg0054.trace 0 # ... ok test/trace/run.sh: running 'reg0055' ../build/mobical ../test/trace/reg0055.trace 0 # ... ok test/trace/run.sh: running 'reg0056' ../build/mobical ../test/trace/reg0056.trace 0 # ... ok test/trace/run.sh: running 'reg0057' ../build/mobical ../test/trace/reg0057.trace 0 # ... ok test/trace/run.sh: running 'reg0058' ../build/mobical ../test/trace/reg0058.trace 0 # ... ok test/trace/run.sh: running 'reg0059' ../build/mobical ../test/trace/reg0059.trace 0 # ... ok test/trace/run.sh: running 'reg0060' ../build/mobical ../test/trace/reg0060.trace 0 # ... ok test/trace/run.sh: running 'reg0061' ../build/mobical ../test/trace/reg0061.trace 0 # ... ok test/trace/run.sh: running 'reg0062' ../build/mobical ../test/trace/reg0062.trace 0 # ... ok test/trace/run.sh: running 'reg0063' ../build/mobical ../test/trace/reg0063.trace 0 # ... ok test/trace/run.sh: running 'reg0064' ../build/mobical ../test/trace/reg0064.trace 0 # ... ok test/trace/run.sh: running 'reg0065' ../build/mobical ../test/trace/reg0065.trace 0 # ... ok test/trace/run.sh: running 'reg0066' ../build/mobical ../test/trace/reg0066.trace 0 # ... ok test/trace/run.sh: running 'reg0067' ../build/mobical ../test/trace/reg0067.trace 0 # ... ok test/trace/run.sh: running 'reg0068' ../build/mobical ../test/trace/reg0068.trace 0 # ... ok test/trace/run.sh: running 'reg0069' ../build/mobical ../test/trace/reg0069.trace 0 # ... ok test/trace/run.sh: running 'reg0070' ../build/mobical ../test/trace/reg0070.trace 0 # ... ok test/trace/run.sh: running 'reg0071' ../build/mobical ../test/trace/reg0071.trace 0 # ... ok test/trace/run.sh: running 'reg0072' ../build/mobical ../test/trace/reg0072.trace 0 # ... ok test/trace/run.sh: running 'reg0073' ../build/mobical ../test/trace/reg0073.trace 0 # ... ok test/trace/run.sh: running 'reg0074' ../build/mobical ../test/trace/reg0074.trace 0 # ... ok test/trace/run.sh: running 'reg0075' ../build/mobical ../test/trace/reg0075.trace 0 # ... ok test/trace/run.sh: running 'reg0076' ../build/mobical ../test/trace/reg0076.trace 0 # ... ok test/trace/run.sh: running 'reg0077' ../build/mobical ../test/trace/reg0077.trace 0 # ... ok test/trace/run.sh: running 'reg0078' ../build/mobical ../test/trace/reg0078.trace 0 # ... ok test/trace/run.sh: executed 79 traces, 79 ok, 0 failed --------------------------------------------------------- API testing in '../build' --------------------------------------------------------- make[3]: Entering directory '/build/cadical/src/cadical/build' ../scripts/make-build-header.sh > build.hpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -c ../src/version.cpp ar rc libcadical.a analyze.o arena.o assume.o averages.o backbone.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o congruence.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o definition.o drattracer.o elim.o elimfast.o ema.o extend.o external.o external_propagate.o factor.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stable.o stats.o subsume.o sweep.o terminal.o ternary.o tier.o transred.o unstable.o util.o var.o veripbtracer.o version.o vivify.o walk.o walk_full_occs.o warmup.o watch.o craigtracer.o kitten.o g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o cadical cadical.o -L. libcadical.a g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o mobical mobical.o -L. libcadical.a g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -shared -o libcadical.so analyze.o arena.o assume.o averages.o backbone.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o congruence.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o definition.o drattracer.o elim.o elimfast.o ema.o extend.o external.o external_propagate.o factor.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stable.o stats.o subsume.o sweep.o terminal.o ternary.o tier.o transred.o unstable.o util.o var.o veripbtracer.o version.o vivify.o walk.o walk_full_occs.o warmup.o watch.o craigtracer.o kitten.o g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -I../build -I../src -o cadical-dynamic cadical.o -L. libcadical.so make[3]: Leaving directory '/build/cadical/src/cadical/build' test/api/run.sh: using CXX=g++ test/api/run.sh: using CXXFLAGS=-march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic test/api/run.sh: running API test 'newdelete' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-newdelete.o -c ../test/api/newdelete.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-newdelete ../build/test-api-newdelete.o -L../build ../build/libcadical.a ../build/test-api-newdelete # 0 ... ok (zero exit code) test/api/run.sh: running API test 'unit' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-unit.o -c ../test/api/unit.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-unit ../build/test-api-unit.o -L../build ../build/libcadical.a ../build/test-api-unit # 0 ... ok (zero exit code) test/api/run.sh: running API test 'morenmore' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-morenmore.o -c ../test/api/morenmore.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-morenmore ../build/test-api-morenmore.o -L../build ../build/libcadical.a ../build/test-api-morenmore # 0 ... ok (zero exit code) test/api/run.sh: running API test 'ctest' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -x c -o ../build/test-api-ctest.o -c ../test/api/ctest.c g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-ctest ../build/test-api-ctest.o -L../build ../build/libcadical.a ../build/test-api-ctest # 0 ... ok (zero exit code) test/api/run.sh: running API test 'example' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-example.o -c ../test/api/example.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-example ../build/test-api-example.o -L../build ../build/libcadical.a ../build/test-api-example # 0 ... ok (zero exit code) test/api/run.sh: running API test 'example_declare_one_more_variable' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-example_declare_one_more_variable.o -c ../test/api/example_declare_one_more_variable.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-example_declare_one_more_variable ../build/test-api-example_declare_one_more_variable.o -L../build ../build/libcadical.a ../build/test-api-example_declare_one_more_variable # 0 ... ok (zero exit code) test/api/run.sh: running API test 'example_constraint' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-example_constraint.o -c ../test/api/example_constraint.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-example_constraint ../build/test-api-example_constraint.o -L../build ../build/libcadical.a ../build/test-api-example_constraint # 0 ... ok (zero exit code) test/api/run.sh: running API test 'example_tracer' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-example_tracer.o -c ../test/api/example_tracer.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-example_tracer ../build/test-api-example_tracer.o -L../build ../build/libcadical.a ../build/test-api-example_tracer # 0 ... ok (zero exit code) test/api/run.sh: running API test 'terminate' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-terminate.o -c ../test/api/terminate.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-terminate ../build/test-api-terminate.o -L../build ../build/libcadical.a ../build/test-api-terminate # 0 ... ok (zero exit code) test/api/run.sh: running API test 'learn' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-learn.o -c ../test/api/learn.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-learn ../build/test-api-learn.o -L../build ../build/libcadical.a ../build/test-api-learn # 0 ... ok (zero exit code) test/api/run.sh: running API test 'cfreeze' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -x c -o ../build/test-api-cfreeze.o -c ../test/api/cfreeze.c g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-cfreeze ../build/test-api-cfreeze.o -L../build ../build/libcadical.a ../build/test-api-cfreeze # 0 ... ok (zero exit code) test/api/run.sh: running API test 'traverse' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-traverse.o -c ../test/api/traverse.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-traverse ../build/test-api-traverse.o -L../build ../build/libcadical.a ../build/test-api-traverse # 0 ... ok (zero exit code) test/api/run.sh: running API test 'cipasir' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -x c -o ../build/test-api-cipasir.o -c ../test/api/cipasir.c g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-cipasir ../build/test-api-cipasir.o -L../build ../build/libcadical.a ../build/test-api-cipasir # 0 ... ok (zero exit code) test/api/run.sh: running API test 'incproof' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-incproof.o -c ../test/api/incproof.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-incproof ../build/test-api-incproof.o -L../build ../build/libcadical.a ../build/test-api-incproof # 0 ... ok (zero exit code) test/api/run.sh: running API test 'propagate_assumptions' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-propagate_assumptions.o -c ../test/api/propagate_assumptions.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-propagate_assumptions ../build/test-api-propagate_assumptions.o -L../build ../build/libcadical.a ../build/test-api-propagate_assumptions # 0 ... ok (zero exit code) test/api/run.sh: running API test 'example_propagators' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-example_propagators.o -c ../test/api/example_propagators.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-example_propagators ../build/test-api-example_propagators.o -L../build ../build/libcadical.a ../build/test-api-example_propagators # 0 ... ok (zero exit code) test/api/run.sh: running API test 'parcompwrite' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -pthread -o ../build/test-api-parcompwrite.o -c ../test/api/parcompwrite.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -pthread -o ../build/test-api-parcompwrite ../build/test-api-parcompwrite.o -L../build ../build/libcadical.a ../build/test-api-parcompwrite error: unexpected alarm (file I/O hanging?) # 0 ... failed (non-zero exit code) test/api/run.sh: running API test 'apitrace' g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-apitrace.o -c ../test/api/apitrace.cpp g++ -march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/build/cadical/src=/usr/src/debug/cadical -flto=auto -Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now -flto=auto -Wall -Wextra -O3 -DNDEBUG -fpic -o ../build/test-api-apitrace ../build/test-api-apitrace.o -L../build ../build/libcadical.a ../build/test-api-apitrace # 0 ... ok (zero exit code) test/api/run.sh: API testing results: 17 ok, 1 failed, 0 skipped make[2]: *** [makefile:3: api] Error 1 make[2]: Leaving directory '/build/cadical/src/cadical/test' make[1]: *** [makefile:118: test] Error 2 make[1]: Leaving directory '/build/cadical/src/cadical/build' make: *** [makefile:17: test] Error 2 ==> ERROR:(B A failure occurred in check().(B  Aborting...(B ]3008;end=929805bccc8d4b2db60e2aecc589d314\[!p]104\[?7h]3008;end=8ed57ab68a104b8d920ddc11ab9b7646\==> ERROR:(B Build failed, check /var/lib/archbuild/extra-riscv64/felix-0/build(B [?12l[?25h[?12l[?25h]3008;end=533776ea47124fe287fe94c85c11d2b5\[?12l[?25hreceiving incremental file list cadical-3.0.1-2-riscv64-build.log cadical-3.0.1-2-riscv64-check.log sent 62 bytes received 5,331 bytes 10,786.00 bytes/sec total size is 97,646 speedup is 18.11