Missing dependencies found. Installing now...Submodule 'lib/forge-std' (https://github.com/foundry-rs/forge-std) registered for path 'lib/forge-std'Submodule 'lib/openzeppelin-contracts' (https://github.com/OpenZeppelin/openzeppelin-contracts) registered for path 'lib/openzeppelin-contracts'Cloning into '/workspace/love/lib/forge-std'...remote: Enumerating objects: 3178, done. remote: Counting objects: 0% (1/455)
remote: Counting objects: 1% (5/455)
remote: Counting objects: 2% (10/455)
remote: Counting objects: 3% (14/455)
remote: Counting objects: 4% (19/455)
remote: Counting objects: 5% (23/455)
remote: Counting objects: 6% (28/455)
remote: Counting objects: 7% (32/455)
remote: Counting objects: 8% (37/455)
remote: Counting objects: 9% (41/455)
remote: Counting objects: 10% (46/455)
remote: Counting objects: 11% (51/455)
remote: Counting objects: 12% (55/455)
remote: Counting objects: 13% (60/455)
remote: Counting objects: 14% (64/455)
remote: Counting objects: 15% (69/455)
remote: Counting objects: 16% (73/455)
remote: Counting objects: 17% (78/455)
remote: Counting objects: 18% (82/455)
remote: Counting objects: 19% (87/455)
remote: Counting objects: 20% (91/455)
remote: Counting objects: 21% (96/455)
remote: Counting objects: 22% (101/455)
remote: Counting objects: 23% (105/455)
remote: Counting objects: 24% (110/455)
remote: Counting objects: 25% (114/455)
remote: Counting objects: 26% (119/455)
remote: Counting objects: 27% (123/455)
remote: Counting objects: 28% (128/455)
remote: Counting objects: 29% (132/455)
remote: Counting objects: 30% (137/455)
remote: Counting objects: 31% (142/455)
remote: Counting objects: 32% (146/455)
remote: Counting objects: 33% (151/455)
remote: Counting objects: 34% (155/455)
remote: Counting objects: 35% (160/455)
remote: Counting objects: 36% (164/455)
remote: Counting objects: 37% (169/455)
remote: Counting objects: 38% (173/455)
remote: Counting objects: 39% (178/455)
remote: Counting objects: 40% (182/455)
remote: Counting objects: 41% (187/455)
remote: Counting objects: 42% (192/455)
remote: Counting objects: 43% (196/455)
remote: Counting objects: 44% (201/455)
remote: Counting objects: 45% (205/455)
remote: Counting objects: 46% (210/455)
remote: Counting objects: 47% (214/455)
remote: Counting objects: 48% (219/455)
remote: Counting objects: 49% (223/455)
remote: Counting objects: 50% (228/455)
remote: Counting objects: 51% (233/455)
remote: Counting objects: 52% (237/455)
remote: Counting objects: 53% (242/455)
remote: Counting objects: 54% (246/455)
remote: Counting objects: 55% (251/455)
remote: Counting objects: 56% (255/455)
remote: Counting objects: 57% (260/455)
remote: Counting objects: 58% (264/455)
remote: Counting objects: 59% (269/455)
remote: Counting objects: 60% (273/455)
remote: Counting objects: 61% (278/455)
remote: Counting objects: 62% (283/455)
remote: Counting objects: 63% (287/455)
remote: Counting objects: 64% (292/455)
remote: Counting objects: 65% (296/455)
remote: Counting objects: 66% (301/455)
remote: Counting objects: 67% (305/455)
remote: Counting objects: 68% (310/455)
remote: Counting objects: 69% (314/455)
remote: Counting objects: 70% (319/455)
remote: Counting objects: 71% (324/455)
remote: Counting objects: 72% (328/455)
remote: Counting objects: 73% (333/455)
remote: Counting objects: 74% (337/455)
remote: Counting objects: 75% (342/455)
remote: Counting objects: 76% (346/455)
remote: Counting objects: 77% (351/455)
remote: Counting objects: 78% (355/455)
remote: Counting objects: 79% (360/455)
remote: Counting objects: 80% (364/455)
remote: Counting objects: 81% (369/455)
remote: Counting objects: 82% (374/455)
remote: Counting objects: 83% (378/455)
remote: Counting objects: 84% (383/455)
remote: Counting objects: 85% (387/455)
remote: Counting objects: 86% (392/455)
remote: Counting objects: 87% (396/455)
remote: Counting objects: 88% (401/455)
remote: Counting objects: 89% (405/455)
remote: Counting objects: 90% (410/455)
remote: Counting objects: 91% (415/455)
remote: Counting objects: 92% (419/455)
remote: Counting objects: 93% (424/455)
remote: Counting objects: 94% (428/455)
remote: Counting objects: 95% (433/455)
remote: Counting objects: 96% (437/455)
remote: Counting objects: 97% (442/455)
remote: Counting objects: 98% (446/455)
remote: Counting objects: 99% (451/455)
remote: Counting objects: 100% (455/455)
remote: Counting objects: 100% (455/455), done. remote: Compressing objects: 0% (1/214)
remote: Compressing objects: 1% (3/214)
remote: Compressing objects: 2% (5/214)
remote: Compressing objects: 3% (7/214)
remote: Compressing objects: 4% (9/214)
remote: Compressing objects: 5% (11/214)
remote: Compressing objects: 6% (13/214)
remote: Compressing objects: 7% (15/214)
remote: Compressing objects: 8% (18/214)
remote: Compressing objects: 9% (20/214)
remote: Compressing objects: 10% (22/214)
remote: Compressing objects: 11% (24/214)
remote: Compressing objects: 12% (26/214)
remote: Compressing objects: 13% (28/214)
remote: Compressing objects: 14% (30/214)
remote: Compressing objects: 15% (33/214)
remote: Compressing objects: 16% (35/214)
remote: Compressing objects: 17% (37/214)
remote: Compressing objects: 18% (39/214)
remote: Compressing objects: 19% (41/214)
remote: Compressing objects: 20% (43/214)
remote: Compressing objects: 21% (45/214)
remote: Compressing objects: 22% (48/214)
remote: Compressing objects: 23% (50/214)
remote: Compressing objects: 24% (52/214)
remote: Compressing objects: 25% (54/214)
remote: Compressing objects: 26% (56/214)
remote: Compressing objects: 27% (58/214)
remote: Compressing objects: 28% (60/214)
remote: Compressing objects: 29% (63/214)
remote: Compressing objects: 30% (65/214)
remote: Compressing objects: 31% (67/214)
remote: Compressing objects: 32% (69/214)
remote: Compressing objects: 33% (71/214)
remote: Compressing objects: 34% (73/214)
remote: Compressing objects: 35% (75/214)
remote: Compressing objects: 36% (78/214)
remote: Compressing objects: 37% (80/214)
remote: Compressing objects: 38% (82/214)
remote: Compressing objects: 39% (84/214)
remote: Compressing objects: 40% (86/214)
remote: Compressing objects: 41% (88/214)
remote: Compressing objects: 42% (90/214)
remote: Compressing objects: 43% (93/214)
remote: Compressing objects: 44% (95/214)
remote: Compressing objects: 45% (97/214)
remote: Compressing objects: 46% (99/214)
remote: Compressing objects: 47% (101/214)
remote: Compressing objects: 48% (103/214)
remote: Compressing objects: 49% (105/214)
remote: Compressing objects: 50% (107/214)
remote: Compressing objects: 51% (110/214)
remote: Compressing objects: 52% (112/214)
remote: Compressing objects: 53% (114/214)
remote: Compressing objects: 54% (116/214)
remote: Compressing objects: 55% (118/214)
remote: Compressing objects: 56% (120/214)
remote: Compressing objects: 57% (122/214)
remote: Compressing objects: 58% (125/214)
remote: Compressing objects: 59% (127/214)
remote: Compressing objects: 60% (129/214)
remote: Compressing objects: 61% (131/214)
remote: Compressing objects: 62% (133/214)
remote: Compressing objects: 63% (135/214)
remote: Compressing objects: 64% (137/214)
remote: Compressing objects: 65% (140/214)
remote: Compressing objects: 66% (142/214)
remote: Compressing objects: 67% (144/214)
remote: Compressing objects: 68% (146/214)
remote: Compressing objects: 69% (148/214)
remote: Compressing objects: 70% (150/214)
remote: Compressing objects: 71% (152/214)
remote: Compressing objects: 72% (155/214)
remote: Compressing objects: 73% (157/214)
remote: Compressing objects: 74% (159/214)
remote: Compressing objects: 75% (161/214)
remote: Compressing objects: 76% (163/214)
remote: Compressing objects: 77% (165/214)
remote: Compressing objects: 78% (167/214)
remote: Compressing objects: 79% (170/214)
remote: Compressing objects: 80% (172/214)
remote: Compressing objects: 81% (174/214)
remote: Compressing objects: 82% (176/214)
remote: Compressing objects: 83% (178/214)
remote: Compressing objects: 84% (180/214)
remote: Compressing objects: 85% (182/214)
remote: Compressing objects: 86% (185/214)
remote: Compressing objects: 87% (187/214)
remote: Compressing objects: 88% (189/214)
remote: Compressing objects: 89% (191/214)
remote: Compressing objects: 90% (193/214)
remote: Compressing objects: 91% (195/214)
remote: Compressing objects: 92% (197/214)
remote: Compressing objects: 93% (200/214)
remote: Compressing objects: 94% (202/214)
remote: Compressing objects: 95% (204/214)
remote: Compressing objects: 96% (206/214)
remote: Compressing objects: 97% (208/214)
remote: Compressing objects: 98% (210/214)
remote: Compressing objects: 99% (212/214)
remote: Compressing objects: 100% (214/214)
remote: Compressing objects: 100% (214/214), done. Receiving objects: 0% (1/3178)
Receiving objects: 1% (32/3178)
Receiving objects: 2% (64/3178)
Receiving objects: 3% (96/3178)
Receiving objects: 4% (128/3178)
Receiving objects: 5% (159/3178)
Receiving objects: 6% (191/3178)
Receiving objects: 7% (223/3178)
Receiving objects: 8% (255/3178)
Receiving objects: 9% (287/3178)
Receiving objects: 10% (318/3178)
Receiving objects: 11% (350/3178)
Receiving objects: 12% (382/3178)
Receiving objects: 13% (414/3178)
Receiving objects: 14% (445/3178)
Receiving objects: 15% (477/3178)
Receiving objects: 16% (509/3178)
Receiving objects: 17% (541/3178)
Receiving objects: 18% (573/3178)
Receiving objects: 19% (604/3178)
Receiving objects: 20% (636/3178)
Receiving objects: 21% (668/3178)
Receiving objects: 22% (700/3178)
Receiving objects: 23% (731/3178)
Receiving objects: 24% (763/3178)
Receiving objects: 25% (795/3178)
Receiving objects: 26% (827/3178)
Receiving objects: 27% (859/3178)
Receiving objects: 28% (890/3178)
Receiving objects: 29% (922/3178)
Receiving objects: 30% (954/3178)
Receiving objects: 31% (986/3178)
Receiving objects: 32% (1017/3178)
Receiving objects: 33% (1049/3178)
Receiving objects: 34% (1081/3178)
Receiving objects: 35% (1113/3178)
Receiving objects: 36% (1145/3178)
Receiving objects: 37% (1176/3178)
Receiving objects: 38% (1208/3178)
Receiving objects: 39% (1240/3178)
Receiving objects: 40% (1272/3178)
Receiving objects: 41% (1303/3178)
Receiving objects: 42% (1335/3178)
Receiving objects: 43% (1367/3178)
Receiving objects: 44% (1399/3178)
Receiving objects: 45% (1431/3178)
Receiving objects: 46% (1462/3178)
Receiving objects: 47% (1494/3178)
Receiving objects: 48% (1526/3178)
Receiving objects: 49% (1558/3178)
Receiving objects: 50% (1589/3178)
Receiving objects: 51% (1621/3178)
Receiving objects: 52% (1653/3178)
Receiving objects: 53% (1685/3178)
Receiving objects: 54% (1717/3178)
Receiving objects: 55% (1748/3178)
Receiving objects: 56% (1780/3178)
Receiving objects: 57% (1812/3178)
Receiving objects: 58% (1844/3178)
Receiving objects: 59% (1876/3178)
Receiving objects: 60% (1907/3178)
Receiving objects: 61% (1939/3178)
Receiving objects: 62% (1971/3178)
Receiving objects: 63% (2003/3178)
Receiving objects: 64% (2034/3178)
Receiving objects: 65% (2066/3178)
Receiving objects: 66% (2098/3178)
Receiving objects: 67% (2130/3178)
Receiving objects: 68% (2162/3178)
Receiving objects: 69% (2193/3178)
Receiving objects: 70% (2225/3178)
Receiving objects: 71% (2257/3178)
Receiving objects: 72% (2289/3178)
Receiving objects: 73% (2320/3178)
Receiving objects: 74% (2352/3178)
Receiving objects: 75% (2384/3178)
Receiving objects: 76% (2416/3178)
Receiving objects: 77% (2448/3178)
Receiving objects: 78% (2479/3178)
Receiving objects: 79% (2511/3178)
Receiving objects: 80% (2543/3178)
Receiving objects: 81% (2575/3178)
Receiving objects: 82% (2606/3178)
Receiving objects: 83% (2638/3178)
Receiving objects: 84% (2670/3178)
Receiving objects: 85% (2702/3178)
Receiving objects: 86% (2734/3178)
Receiving objects: 87% (2765/3178)
Receiving objects: 88% (2797/3178)
Receiving objects: 89% (2829/3178)
Receiving objects: 90% (2861/3178)
Receiving objects: 91% (2892/3178)
Receiving objects: 92% (2924/3178)
Receiving objects: 93% (2956/3178)
Receiving objects: 94% (2988/3178)
Receiving objects: 95% (3020/3178)
remote: Total 3178 (delta 387), reused 246 (delta 241), pack-reused 2723 (from 3) Receiving objects: 96% (3051/3178)
Receiving objects: 97% (3083/3178)
Receiving objects: 98% (3115/3178)
Receiving objects: 99% (3147/3178)
Receiving objects: 100% (3178/3178)
Receiving objects: 100% (3178/3178), 1.26 MiB | 20.18 MiB/s, done.Resolving deltas: 0% (0/2127)
Resolving deltas: 1% (22/2127)
Resolving deltas: 2% (43/2127)
Resolving deltas: 3% (64/2127)
Resolving deltas: 4% (86/2127)
Resolving deltas: 5% (107/2127)
Resolving deltas: 6% (128/2127)
Resolving deltas: 7% (149/2127)
Resolving deltas: 8% (171/2127)
Resolving deltas: 9% (192/2127)
Resolving deltas: 10% (213/2127)
Resolving deltas: 11% (234/2127)
Resolving deltas: 12% (256/2127)
Resolving deltas: 13% (277/2127)
Resolving deltas: 14% (298/2127)
Resolving deltas: 15% (320/2127)
Resolving deltas: 16% (341/2127)
Resolving deltas: 17% (362/2127)
Resolving deltas: 18% (383/2127)
Resolving deltas: 19% (405/2127)
Resolving deltas: 20% (426/2127)
Resolving deltas: 21% (447/2127)
Resolving deltas: 22% (468/2127)
Resolving deltas: 23% (490/2127)
Resolving deltas: 24% (511/2127)
Resolving deltas: 25% (532/2127)
Resolving deltas: 26% (554/2127)
Resolving deltas: 27% (575/2127)
Resolving deltas: 28% (596/2127)
Resolving deltas: 29% (617/2127)
Resolving deltas: 30% (639/2127)
Resolving deltas: 31% (660/2127)
Resolving deltas: 32% (681/2127)
Resolving deltas: 33% (702/2127)
Resolving deltas: 34% (724/2127)
Resolving deltas: 35% (745/2127)
Resolving deltas: 36% (766/2127)
Resolving deltas: 37% (787/2127)
Resolving deltas: 38% (809/2127)
Resolving deltas: 39% (830/2127)
Resolving deltas: 40% (851/2127)
Resolving deltas: 41% (873/2127)
Resolving deltas: 42% (894/2127)
Resolving deltas: 43% (915/2127)
Resolving deltas: 44% (936/2127)
Resolving deltas: 45% (958/2127)
Resolving deltas: 46% (979/2127)
Resolving deltas: 47% (1000/2127)
Resolving deltas: 48% (1021/2127)
Resolving deltas: 49% (1043/2127)
Resolving deltas: 50% (1064/2127)
Resolving deltas: 51% (1085/2127)
Resolving deltas: 52% (1107/2127)
Resolving deltas: 53% (1128/2127)
Resolving deltas: 54% (1149/2127)
Resolving deltas: 55% (1170/2127)
Resolving deltas: 56% (1192/2127)
Resolving deltas: 57% (1213/2127)
Resolving deltas: 58% (1234/2127)
Resolving deltas: 59% (1255/2127)
Resolving deltas: 60% (1277/2127)
Resolving deltas: 61% (1298/2127)
Resolving deltas: 62% (1319/2127)
Resolving deltas: 63% (1341/2127)
Resolving deltas: 64% (1362/2127)
Resolving deltas: 65% (1383/2127)
Resolving deltas: 66% (1404/2127)
Resolving deltas: 67% (1426/2127)
Resolving deltas: 68% (1447/2127)
Resolving deltas: 69% (1468/2127)
Resolving deltas: 70% (1489/2127)
Resolving deltas: 71% (1511/2127)
Resolving deltas: 72% (1532/2127)
Resolving deltas: 73% (1553/2127)
Resolving deltas: 74% (1574/2127)
Resolving deltas: 75% (1596/2127)
Resolving deltas: 76% (1617/2127)
Resolving deltas: 77% (1638/2127)
Resolving deltas: 78% (1660/2127)
Resolving deltas: 79% (1681/2127)
Resolving deltas: 80% (1702/2127)
Resolving deltas: 81% (1723/2127)
Resolving deltas: 82% (1745/2127)
Resolving deltas: 83% (1766/2127)
Resolving deltas: 84% (1787/2127)
Resolving deltas: 85% (1808/2127)
Resolving deltas: 86% (1830/2127)
Resolving deltas: 87% (1851/2127)
Resolving deltas: 88% (1872/2127)
Resolving deltas: 89% (1894/2127)
Resolving deltas: 90% (1915/2127)
Resolving deltas: 91% (1936/2127)
Resolving deltas: 92% (1957/2127)
Resolving deltas: 93% (1979/2127)
Resolving deltas: 94% (2000/2127)
Resolving deltas: 95% (2021/2127)
Resolving deltas: 96% (2042/2127)
Resolving deltas: 97% (2064/2127)
Resolving deltas: 98% (2085/2127)
Resolving deltas: 99% (2106/2127)
Resolving deltas: 100% (2127/2127)
Resolving deltas: 100% (2127/2127), done.Cloning into '/workspace/love/lib/openzeppelin-contracts'...remote: Enumerating objects: 58415, done. remote: Counting objects: 0% (1/766)
remote: Counting objects: 1% (8/766)
remote: Counting objects: 2% (16/766)
remote: Counting objects: 3% (23/766)
remote: Counting objects: 4% (31/766)
remote: Counting objects: 5% (39/766)
remote: Counting objects: 6% (46/766)
remote: Counting objects: 7% (54/766)
remote: Counting objects: 8% (62/766)
remote: Counting objects: 9% (69/766)
remote: Counting objects: 10% (77/766)
remote: Counting objects: 11% (85/766)
remote: Counting objects: 12% (92/766)
remote: Counting objects: 13% (100/766)
remote: Counting objects: 14% (108/766)
remote: Counting objects: 15% (115/766)
remote: Counting objects: 16% (123/766)
remote: Counting objects: 17% (131/766)
remote: Counting objects: 18% (138/766)
remote: Counting objects: 19% (146/766)
remote: Counting objects: 20% (154/766)
remote: Counting objects: 21% (161/766)
remote: Counting objects: 22% (169/766)
remote: Counting objects: 23% (177/766)
remote: Counting objects: 24% (184/766)
remote: Counting objects: 25% (192/766)
remote: Counting objects: 26% (200/766)
remote: Counting objects: 27% (207/766)
remote: Counting objects: 28% (215/766)
remote: Counting objects: 29% (223/766)
remote: Counting objects: 30% (230/766)
remote: Counting objects: 31% (238/766)
remote: Counting objects: 32% (246/766)
remote: Counting objects: 33% (253/766)
remote: Counting objects: 34% (261/766)
remote: Counting objects: 35% (269/766)
remote: Counting objects: 36% (276/766)
remote: Counting objects: 37% (284/766)
remote: Counting objects: 38% (292/766)
remote: Counting objects: 39% (299/766)
remote: Counting objects: 40% (307/766)
remote: Counting objects: 41% (315/766)
remote: Counting objects: 42% (322/766)
remote: Counting objects: 43% (330/766)
remote: Counting objects: 44% (338/766)
remote: Counting objects: 45% (345/766)
remote: Counting objects: 46% (353/766)
remote: Counting objects: 47% (361/766)
remote: Counting objects: 48% (368/766)
remote: Counting objects: 49% (376/766)
remote: Counting objects: 50% (383/766)
remote: Counting objects: 51% (391/766)
remote: Counting objects: 52% (399/766)
remote: Counting objects: 53% (406/766)
remote: Counting objects: 54% (414/766)
remote: Counting objects: 55% (422/766)
remote: Counting objects: 56% (429/766)
remote: Counting objects: 57% (437/766)
remote: Counting objects: 58% (445/766)
remote: Counting objects: 59% (452/766)
remote: Counting objects: 60% (460/766)
remote: Counting objects: 61% (468/766)
remote: Counting objects: 62% (475/766)
remote: Counting objects: 63% (483/766)
remote: Counting objects: 64% (491/766)
remote: Counting objects: 65% (498/766)
remote: Counting objects: 66% (506/766)
remote: Counting objects: 67% (514/766)
remote: Counting objects: 68% (521/766)
remote: Counting objects: 69% (529/766)
remote: Counting objects: 70% (537/766)
remote: Counting objects: 71% (544/766)
remote: Counting objects: 72% (552/766)
remote: Counting objects: 73% (560/766)
remote: Counting objects: 74% (567/766)
remote: Counting objects: 75% (575/766)
remote: Counting objects: 76% (583/766)
remote: Counting objects: 77% (590/766)
remote: Counting objects: 78% (598/766)
remote: Counting objects: 79% (606/766)
remote: Counting objects: 80% (613/766)
remote: Counting objects: 81% (621/766)
remote: Counting objects: 82% (629/766)
remote: Counting objects: 83% (636/766)
remote: Counting objects: 84% (644/766)
remote: Counting objects: 85% (652/766)
remote: Counting objects: 86% (659/766)
remote: Counting objects: 87% (667/766)
remote: Counting objects: 88% (675/766)
remote: Counting objects: 89% (682/766)
remote: Counting objects: 90% (690/766)
remote: Counting objects: 91% (698/766)
remote: Counting objects: 92% (705/766)
remote: Counting objects: 93% (713/766)
remote: Counting objects: 94% (721/766)
remote: Counting objects: 95% (728/766)
remote: Counting objects: 96% (736/766)
remote: Counting objects: 97% (744/766)
remote: Counting objects: 98% (751/766)
remote: Counting objects: 99% (759/766)
remote: Counting objects: 100% (766/766)
remote: Counting objects: 100% (766/766), done. remote: Compressing objects: 0% (1/531)
remote: Compressing objects: 1% (6/531)
remote: Compressing objects: 2% (11/531)
remote: Compressing objects: 3% (16/531)
remote: Compressing objects: 4% (22/531)
remote: Compressing objects: 5% (27/531)
remote: Compressing objects: 6% (32/531)
remote: Compressing objects: 7% (38/531)
remote: Compressing objects: 8% (43/531)
remote: Compressing objects: 9% (48/531)
remote: Compressing objects: 10% (54/531)
remote: Compressing objects: 11% (59/531)
remote: Compressing objects: 12% (64/531)
remote: Compressing objects: 13% (70/531)
remote: Compressing objects: 14% (75/531)
remote: Compressing objects: 15% (80/531)
remote: Compressing objects: 16% (85/531)
remote: Compressing objects: 17% (91/531)
remote: Compressing objects: 18% (96/531)
remote: Compressing objects: 19% (101/531)
remote: Compressing objects: 20% (107/531)
remote: Compressing objects: 21% (112/531)
remote: Compressing objects: 22% (117/531)
remote: Compressing objects: 23% (123/531)
remote: Compressing objects: 24% (128/531)
remote: Compressing objects: 25% (133/531)
remote: Compressing objects: 26% (139/531)
remote: Compressing objects: 27% (144/531)
remote: Compressing objects: 28% (149/531)
remote: Compressing objects: 29% (154/531)
remote: Compressing objects: 30% (160/531)
remote: Compressing objects: 31% (165/531)
remote: Compressing objects: 32% (170/531)
remote: Compressing objects: 33% (176/531)
remote: Compressing objects: 34% (181/531)
remote: Compressing objects: 35% (186/531)
remote: Compressing objects: 36% (192/531)
remote: Compressing objects: 37% (197/531)
remote: Compressing objects: 38% (202/531)
remote: Compressing objects: 39% (208/531)
remote: Compressing objects: 40% (213/531)
remote: Compressing objects: 41% (218/531)
remote: Compressing objects: 42% (224/531)
remote: Compressing objects: 43% (229/531)
remote: Compressing objects: 44% (234/531)
remote: Compressing objects: 45% (239/531)
remote: Compressing objects: 46% (245/531)
remote: Compressing objects: 47% (250/531)
remote: Compressing objects: 48% (255/531)
remote: Compressing objects: 49% (261/531)
remote: Compressing objects: 50% (266/531)
remote: Compressing objects: 51% (271/531)
remote: Compressing objects: 52% (277/531)
remote: Compressing objects: 53% (282/531)
remote: Compressing objects: 54% (287/531)
remote: Compressing objects: 55% (293/531)
remote: Compressing objects: 56% (298/531)
remote: Compressing objects: 57% (303/531)
remote: Compressing objects: 58% (308/531)
remote: Compressing objects: 59% (314/531)
remote: Compressing objects: 60% (319/531)
remote: Compressing objects: 61% (324/531)
remote: Compressing objects: 62% (330/531)
remote: Compressing objects: 63% (335/531)
remote: Compressing objects: 64% (340/531)
remote: Compressing objects: 65% (346/531)
remote: Compressing objects: 66% (351/531)
remote: Compressing objects: 67% (356/531)
remote: Compressing objects: 68% (362/531)
remote: Compressing objects: 69% (367/531)
remote: Compressing objects: 70% (372/531)
remote: Compressing objects: 71% (378/531)
remote: Compressing objects: 72% (383/531)
remote: Compressing objects: 73% (388/531)
remote: Compressing objects: 74% (393/531)
remote: Compressing objects: 75% (399/531)
remote: Compressing objects: 76% (404/531)
remote: Compressing objects: 77% (409/531)
remote: Compressing objects: 78% (415/531)
remote: Compressing objects: 79% (420/531)
remote: Compressing objects: 80% (425/531)
remote: Compressing objects: 81% (431/531)
remote: Compressing objects: 82% (436/531)
remote: Compressing objects: 83% (441/531)
remote: Compressing objects: 84% (447/531)
remote: Compressing objects: 85% (452/531)
remote: Compressing objects: 86% (457/531)
remote: Compressing objects: 87% (462/531)
remote: Compressing objects: 88% (468/531)
remote: Compressing objects: 89% (473/531)
remote: Compressing objects: 90% (478/531)
remote: Compressing objects: 91% (484/531)
remote: Compressing objects: 92% (489/531)
remote: Compressing objects: 93% (494/531)
remote: Compressing objects: 94% (500/531)
remote: Compressing objects: 95% (505/531)
remote: Compressing objects: 96% (510/531)
remote: Compressing objects: 97% (516/531)
remote: Compressing objects: 98% (521/531)
remote: Compressing objects: 99% (526/531)
remote: Compressing objects: 100% (531/531)
remote: Compressing objects: 100% (531/531), done. Receiving objects: 0% (1/58415)
Receiving objects: 1% (585/58415)
Receiving objects: 2% (1169/58415)
Receiving objects: 3% (1753/58415)
Receiving objects: 4% (2337/58415)
Receiving objects: 5% (2921/58415)
Receiving objects: 6% (3505/58415)
Receiving objects: 7% (4090/58415)
Receiving objects: 8% (4674/58415)
Receiving objects: 9% (5258/58415)
Receiving objects: 10% (5842/58415)
Receiving objects: 11% (6426/58415)
Receiving objects: 12% (7010/58415)
Receiving objects: 13% (7594/58415)
Receiving objects: 14% (8179/58415)
Receiving objects: 15% (8763/58415)
Receiving objects: 16% (9347/58415)
Receiving objects: 17% (9931/58415)
Receiving objects: 18% (10515/58415)
Receiving objects: 19% (11099/58415)
Receiving objects: 20% (11683/58415)
Receiving objects: 21% (12268/58415)
Receiving objects: 22% (12852/58415)
Receiving objects: 23% (13436/58415)
Receiving objects: 24% (14020/58415)
Receiving objects: 25% (14604/58415)
Receiving objects: 26% (15188/58415)
Receiving objects: 27% (15773/58415)
Receiving objects: 28% (16357/58415)
Receiving objects: 29% (16941/58415)
Receiving objects: 30% (17525/58415)
Receiving objects: 31% (18109/58415)
Receiving objects: 32% (18693/58415)
Receiving objects: 33% (19277/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 34% (19862/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 35% (20446/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 36% (21030/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 37% (21614/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 38% (22198/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 39% (22782/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 40% (23366/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 41% (23951/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 42% (24535/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 43% (25119/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 44% (25703/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 45% (26287/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 46% (26871/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 47% (27456/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 48% (28040/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 49% (28624/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 50% (29208/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 51% (29792/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 52% (30376/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 53% (30960/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 54% (31545/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 55% (32129/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 56% (32713/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 57% (33297/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 58% (33881/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 59% (34465/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 60% (35049/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 61% (35634/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 62% (36218/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 63% (36802/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 64% (37386/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 65% (37970/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 66% (38554/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 67% (39139/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 68% (39723/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 69% (40307/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 70% (40891/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 71% (41475/58415), 18.75 MiB | 36.07 MiB/s
Receiving objects: 71% (41714/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 72% (42059/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 73% (42643/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 74% (43228/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 75% (43812/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 76% (44396/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 77% (44980/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 78% (45564/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 79% (46148/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 80% (46732/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 81% (47317/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 82% (47901/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 83% (48485/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 84% (49069/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 85% (49653/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 86% (50237/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 87% (50822/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 88% (51406/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 89% (51990/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 90% (52574/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 91% (53158/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 92% (53742/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 93% (54326/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 94% (54911/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 95% (55495/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 96% (56079/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 97% (56663/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 98% (57247/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 99% (57831/58415), 37.49 MiB | 35.97 MiB/s
remote: Total 58415 (delta 445), reused 237 (delta 235), pack-reused 57649 (from 3) Receiving objects: 100% (58415/58415), 37.49 MiB | 35.97 MiB/s
Receiving objects: 100% (58415/58415), 52.47 MiB | 37.13 MiB/s, done.Resolving deltas: 0% (0/37297)
Resolving deltas: 1% (373/37297)
Resolving deltas: 2% (746/37297)
Resolving deltas: 3% (1119/37297)
Resolving deltas: 4% (1492/37297)
Resolving deltas: 5% (1865/37297)
Resolving deltas: 6% (2238/37297)
Resolving deltas: 7% (2611/37297)
Resolving deltas: 8% (2984/37297)
Resolving deltas: 9% (3357/37297)
Resolving deltas: 10% (3730/37297)
Resolving deltas: 11% (4103/37297)
Resolving deltas: 12% (4476/37297)
Resolving deltas: 13% (4849/37297)
Resolving deltas: 14% (5222/37297)
Resolving deltas: 15% (5595/37297)
Resolving deltas: 16% (5968/37297)
Resolving deltas: 17% (6341/37297)
Resolving deltas: 18% (6714/37297)
Resolving deltas: 19% (7087/37297)
Resolving deltas: 20% (7460/37297)
Resolving deltas: 21% (7833/37297)
Resolving deltas: 22% (8206/37297)
Resolving deltas: 23% (8579/37297)
Resolving deltas: 24% (8952/37297)
Resolving deltas: 25% (9325/37297)
Resolving deltas: 26% (9698/37297)
Resolving deltas: 27% (10071/37297)
Resolving deltas: 28% (10444/37297)
Resolving deltas: 29% (10817/37297)
Resolving deltas: 30% (11190/37297)
Resolving deltas: 31% (11563/37297)
Resolving deltas: 32% (11936/37297)
Resolving deltas: 33% (12309/37297)
Resolving deltas: 34% (12681/37297)
Resolving deltas: 35% (13054/37297)
Resolving deltas: 36% (13427/37297)
Resolving deltas: 37% (13800/37297)
Resolving deltas: 38% (14173/37297)
Resolving deltas: 39% (14546/37297)
Resolving deltas: 40% (14919/37297)
Resolving deltas: 41% (15292/37297)
Resolving deltas: 42% (15665/37297)
Resolving deltas: 43% (16038/37297)
Resolving deltas: 44% (16411/37297)
Resolving deltas: 45% (16784/37297)
Resolving deltas: 46% (17157/37297)
Resolving deltas: 47% (17530/37297)
Resolving deltas: 48% (17903/37297)
Resolving deltas: 49% (18276/37297)
Resolving deltas: 50% (18649/37297)
Resolving deltas: 51% (19022/37297)
Resolving deltas: 52% (19395/37297)
Resolving deltas: 53% (19768/37297)
Resolving deltas: 54% (20141/37297)
Resolving deltas: 55% (20514/37297)
Resolving deltas: 56% (20887/37297)
Resolving deltas: 57% (21260/37297)
Resolving deltas: 58% (21633/37297)
Resolving deltas: 59% (22006/37297)
Resolving deltas: 60% (22379/37297)
Resolving deltas: 61% (22752/37297)
Resolving deltas: 62% (23125/37297)
Resolving deltas: 63% (23498/37297)
Resolving deltas: 64% (23871/37297)
Resolving deltas: 65% (24244/37297)
Resolving deltas: 66% (24617/37297)
Resolving deltas: 67% (24989/37297)
Resolving deltas: 68% (25362/37297)
Resolving deltas: 69% (25735/37297)
Resolving deltas: 70% (26108/37297)
Resolving deltas: 71% (26481/37297)
Resolving deltas: 72% (26854/37297)
Resolving deltas: 73% (27227/37297)
Resolving deltas: 74% (27600/37297)
Resolving deltas: 75% (27973/37297)
Resolving deltas: 76% (28346/37297)
Resolving deltas: 77% (28719/37297)
Resolving deltas: 78% (29092/37297)
Resolving deltas: 79% (29465/37297)
Resolving deltas: 80% (29838/37297)
Resolving deltas: 81% (30211/37297)
Resolving deltas: 82% (30584/37297)
Resolving deltas: 83% (30957/37297)
Resolving deltas: 84% (31330/37297)
Resolving deltas: 85% (31703/37297)
Resolving deltas: 86% (32076/37297)
Resolving deltas: 87% (32449/37297)
Resolving deltas: 88% (32822/37297)
Resolving deltas: 89% (33195/37297)
Resolving deltas: 90% (33568/37297)
Resolving deltas: 91% (33941/37297)
Resolving deltas: 92% (34314/37297)
Resolving deltas: 93% (34687/37297)
Resolving deltas: 94% (35060/37297)
Resolving deltas: 95% (35433/37297)
Resolving deltas: 96% (35807/37297)
Resolving deltas: 97% (36179/37297)
Resolving deltas: 98% (36552/37297)
Resolving deltas: 99% (36925/37297)
Resolving deltas: 100% (37297/37297)
Resolving deltas: 100% (37297/37297), done.Submodule 'lib/erc4626-tests' (https://github.com/a16z/erc4626-tests.git) registered for path 'lib/openzeppelin-contracts/lib/erc4626-tests'Submodule 'lib/forge-std' (https://github.com/foundry-rs/forge-std) registered for path 'lib/openzeppelin-contracts/lib/forge-std'Submodule 'lib/halmos-cheatcodes' (https://github.com/a16z/halmos-cheatcodes) registered for path 'lib/openzeppelin-contracts/lib/halmos-cheatcodes'Cloning into '/workspace/love/lib/openzeppelin-contracts/lib/erc4626-tests'...remote: Enumerating objects: 32, done. remote: Counting objects: 3% (1/26)
remote: Counting objects: 7% (2/26)
remote: Counting objects: 11% (3/26)
remote: Counting objects: 15% (4/26)
remote: Counting objects: 19% (5/26)
remote: Counting objects: 23% (6/26)
remote: Counting objects: 26% (7/26)
remote: Counting objects: 30% (8/26)
remote: Counting objects: 34% (9/26)
remote: Counting objects: 38% (10/26)
remote: Counting objects: 42% (11/26)
remote: Counting objects: 46% (12/26)
remote: Counting objects: 50% (13/26)
remote: Counting objects: 53% (14/26)
remote: Counting objects: 57% (15/26)
remote: Counting objects: 61% (16/26)
remote: Counting objects: 65% (17/26)
remote: Counting objects: 69% (18/26)
remote: Counting objects: 73% (19/26)
remote: Counting objects: 76% (20/26)
remote: Counting objects: 80% (21/26)
remote: Counting objects: 84% (22/26)
remote: Counting objects: 88% (23/26)
remote: Counting objects: 92% (24/26)
remote: Counting objects: 96% (25/26)
remote: Counting objects: 100% (26/26)
remote: Counting objects: 100% (26/26), done. remote: Compressing objects: 5% (1/20)
remote: Compressing objects: 10% (2/20)
remote: Compressing objects: 15% (3/20)
remote: Compressing objects: 20% (4/20)
remote: Compressing objects: 25% (5/20)
remote: Compressing objects: 30% (6/20)
remote: Compressing objects: 35% (7/20)
remote: Compressing objects: 40% (8/20)
remote: Compressing objects: 45% (9/20)
remote: Compressing objects: 50% (10/20)
remote: Compressing objects: 55% (11/20)
remote: Compressing objects: 60% (12/20)
remote: Compressing objects: 65% (13/20)
remote: Compressing objects: 70% (14/20)
remote: Compressing objects: 75% (15/20)
remote: Compressing objects: 80% (16/20)
remote: Compressing objects: 85% (17/20)
remote: Compressing objects: 90% (18/20)
remote: Compressing objects: 95% (19/20)
remote: Compressing objects: 100% (20/20)
remote: Compressing objects: 100% (20/20), done. Receiving objects: 3% (1/32)
Receiving objects: 6% (2/32)
Receiving objects: 9% (3/32)
Receiving objects: 12% (4/32)
Receiving objects: 15% (5/32)
Receiving objects: 18% (6/32)
Receiving objects: 21% (7/32)
Receiving objects: 25% (8/32)
Receiving objects: 28% (9/32)
Receiving objects: 31% (10/32)
Receiving objects: 34% (11/32)
Receiving objects: 37% (12/32)
Receiving objects: 40% (13/32)
Receiving objects: 43% (14/32)
Receiving objects: 46% (15/32)
Receiving objects: 50% (16/32)
Receiving objects: 53% (17/32)
Receiving objects: 56% (18/32)
Receiving objects: 59% (19/32)
remote: Total 32 (delta 15), reused 9 (delta 4), pack-reused 6 (from 1) Receiving objects: 62% (20/32)
Receiving objects: 65% (21/32)
Receiving objects: 68% (22/32)
Receiving objects: 71% (23/32)
Receiving objects: 75% (24/32)
Receiving objects: 78% (25/32)
Receiving objects: 81% (26/32)
Receiving objects: 84% (27/32)
Receiving objects: 87% (28/32)
Receiving objects: 90% (29/32)
Receiving objects: 93% (30/32)
Receiving objects: 96% (31/32)
Receiving objects: 100% (32/32)
Receiving objects: 100% (32/32), 29.84 KiB | 29.84 MiB/s, done.Resolving deltas: 0% (0/15)
Resolving deltas: 6% (1/15)
Resolving deltas: 13% (2/15)
Resolving deltas: 20% (3/15)
Resolving deltas: 26% (4/15)
Resolving deltas: 33% (5/15)
Resolving deltas: 40% (6/15)
Resolving deltas: 46% (7/15)
Resolving deltas: 53% (8/15)
Resolving deltas: 60% (9/15)
Resolving deltas: 66% (10/15)
Resolving deltas: 73% (11/15)
Resolving deltas: 80% (12/15)
Resolving deltas: 86% (13/15)
Resolving deltas: 93% (14/15)
Resolving deltas: 100% (15/15)
Resolving deltas: 100% (15/15), done.Cloning into '/workspace/love/lib/openzeppelin-contracts/lib/forge-std'...remote: Enumerating objects: 3178, done. remote: Counting objects: 0% (1/455)
remote: Counting objects: 1% (5/455)
remote: Counting objects: 2% (10/455)
remote: Counting objects: 3% (14/455)
remote: Counting objects: 4% (19/455)
remote: Counting objects: 5% (23/455)
remote: Counting objects: 6% (28/455)
remote: Counting objects: 7% (32/455)
remote: Counting objects: 8% (37/455)
remote: Counting objects: 9% (41/455)
remote: Counting objects: 10% (46/455)
remote: Counting objects: 11% (51/455)
remote: Counting objects: 12% (55/455)
remote: Counting objects: 13% (60/455)
remote: Counting objects: 14% (64/455)
remote: Counting objects: 15% (69/455)
remote: Counting objects: 16% (73/455)
remote: Counting objects: 17% (78/455)
remote: Counting objects: 18% (82/455)
remote: Counting objects: 19% (87/455)
remote: Counting objects: 20% (91/455)
remote: Counting objects: 21% (96/455)
remote: Counting objects: 22% (101/455)
remote: Counting objects: 23% (105/455)
remote: Counting objects: 24% (110/455)
remote: Counting objects: 25% (114/455)
remote: Counting objects: 26% (119/455)
remote: Counting objects: 27% (123/455)
remote: Counting objects: 28% (128/455)
remote: Counting objects: 29% (132/455)
remote: Counting objects: 30% (137/455)
remote: Counting objects: 31% (142/455)
remote: Counting objects: 32% (146/455)
remote: Counting objects: 33% (151/455)
remote: Counting objects: 34% (155/455)
remote: Counting objects: 35% (160/455)
remote: Counting objects: 36% (164/455)
remote: Counting objects: 37% (169/455)
remote: Counting objects: 38% (173/455)
remote: Counting objects: 39% (178/455)
remote: Counting objects: 40% (182/455)
remote: Counting objects: 41% (187/455)
remote: Counting objects: 42% (192/455)
remote: Counting objects: 43% (196/455)
remote: Counting objects: 44% (201/455)
remote: Counting objects: 45% (205/455)
remote: Counting objects: 46% (210/455)
remote: Counting objects: 47% (214/455)
remote: Counting objects: 48% (219/455)
remote: Counting objects: 49% (223/455)
remote: Counting objects: 50% (228/455)
remote: Counting objects: 51% (233/455)
remote: Counting objects: 52% (237/455)
remote: Counting objects: 53% (242/455)
remote: Counting objects: 54% (246/455)
remote: Counting objects: 55% (251/455)
remote: Counting objects: 56% (255/455)
remote: Counting objects: 57% (260/455)
remote: Counting objects: 58% (264/455)
remote: Counting objects: 59% (269/455)
remote: Counting objects: 60% (273/455)
remote: Counting objects: 61% (278/455)
remote: Counting objects: 62% (283/455)
remote: Counting objects: 63% (287/455)
remote: Counting objects: 64% (292/455)
remote: Counting objects: 65% (296/455)
remote: Counting objects: 66% (301/455)
remote: Counting objects: 67% (305/455)
remote: Counting objects: 68% (310/455)
remote: Counting objects: 69% (314/455)
remote: Counting objects: 70% (319/455)
remote: Counting objects: 71% (324/455)
remote: Counting objects: 72% (328/455)
remote: Counting objects: 73% (333/455)
remote: Counting objects: 74% (337/455)
remote: Counting objects: 75% (342/455)
remote: Counting objects: 76% (346/455)
remote: Counting objects: 77% (351/455)
remote: Counting objects: 78% (355/455)
remote: Counting objects: 79% (360/455)
remote: Counting objects: 80% (364/455)
remote: Counting objects: 81% (369/455)
remote: Counting objects: 82% (374/455)
remote: Counting objects: 83% (378/455)
remote: Counting objects: 84% (383/455)
remote: Counting objects: 85% (387/455)
remote: Counting objects: 86% (392/455)
remote: Counting objects: 87% (396/455)
remote: Counting objects: 88% (401/455)
remote: Counting objects: 89% (405/455)
remote: Counting objects: 90% (410/455)
remote: Counting objects: 91% (415/455)
remote: Counting objects: 92% (419/455)
remote: Counting objects: 93% (424/455)
remote: Counting objects: 94% (428/455)
remote: Counting objects: 95% (433/455)
remote: Counting objects: 96% (437/455)
remote: Counting objects: 97% (442/455)
remote: Counting objects: 98% (446/455)
remote: Counting objects: 99% (451/455)
remote: Counting objects: 100% (455/455)
remote: Counting objects: 100% (455/455), done. remote: Compressing objects: 0% (1/214)
remote: Compressing objects: 1% (3/214)
remote: Compressing objects: 2% (5/214)
remote: Compressing objects: 3% (7/214)
remote: Compressing objects: 4% (9/214)
remote: Compressing objects: 5% (11/214)
remote: Compressing objects: 6% (13/214)
remote: Compressing objects: 7% (15/214)
remote: Compressing objects: 8% (18/214)
remote: Compressing objects: 9% (20/214)
remote: Compressing objects: 10% (22/214)
remote: Compressing objects: 11% (24/214)
remote: Compressing objects: 12% (26/214)
remote: Compressing objects: 13% (28/214)
remote: Compressing objects: 14% (30/214)
remote: Compressing objects: 15% (33/214)
remote: Compressing objects: 16% (35/214)
remote: Compressing objects: 17% (37/214)
remote: Compressing objects: 18% (39/214)
remote: Compressing objects: 19% (41/214)
remote: Compressing objects: 20% (43/214)
remote: Compressing objects: 21% (45/214)
remote: Compressing objects: 22% (48/214)
remote: Compressing objects: 23% (50/214)
remote: Compressing objects: 24% (52/214)
remote: Compressing objects: 25% (54/214)
remote: Compressing objects: 26% (56/214)
remote: Compressing objects: 27% (58/214)
remote: Compressing objects: 28% (60/214)
remote: Compressing objects: 29% (63/214)
remote: Compressing objects: 30% (65/214)
remote: Compressing objects: 31% (67/214)
remote: Compressing objects: 32% (69/214)
remote: Compressing objects: 33% (71/214)
remote: Compressing objects: 34% (73/214)
remote: Compressing objects: 35% (75/214)
remote: Compressing objects: 36% (78/214)
remote: Compressing objects: 37% (80/214)
remote: Compressing objects: 38% (82/214)
remote: Compressing objects: 39% (84/214)
remote: Compressing objects: 40% (86/214)
remote: Compressing objects: 41% (88/214)
remote: Compressing objects: 42% (90/214)
remote: Compressing objects: 43% (93/214)
remote: Compressing objects: 44% (95/214)
remote: Compressing objects: 45% (97/214)
remote: Compressing objects: 46% (99/214)
remote: Compressing objects: 47% (101/214)
remote: Compressing objects: 48% (103/214)
remote: Compressing objects: 49% (105/214)
remote: Compressing objects: 50% (107/214)
remote: Compressing objects: 51% (110/214)
remote: Compressing objects: 52% (112/214)
remote: Compressing objects: 53% (114/214)
remote: Compressing objects: 54% (116/214)
remote: Compressing objects: 55% (118/214)
remote: Compressing objects: 56% (120/214)
remote: Compressing objects: 57% (122/214)
remote: Compressing objects: 58% (125/214)
remote: Compressing objects: 59% (127/214)
remote: Compressing objects: 60% (129/214)
remote: Compressing objects: 61% (131/214)
remote: Compressing objects: 62% (133/214)
remote: Compressing objects: 63% (135/214)
remote: Compressing objects: 64% (137/214)
remote: Compressing objects: 65% (140/214)
remote: Compressing objects: 66% (142/214)
remote: Compressing objects: 67% (144/214)
remote: Compressing objects: 68% (146/214)
remote: Compressing objects: 69% (148/214)
remote: Compressing objects: 70% (150/214)
remote: Compressing objects: 71% (152/214)
remote: Compressing objects: 72% (155/214)
remote: Compressing objects: 73% (157/214)
remote: Compressing objects: 74% (159/214)
remote: Compressing objects: 75% (161/214)
remote: Compressing objects: 76% (163/214)
remote: Compressing objects: 77% (165/214)
remote: Compressing objects: 78% (167/214)
remote: Compressing objects: 79% (170/214)
remote: Compressing objects: 80% (172/214)
remote: Compressing objects: 81% (174/214)
remote: Compressing objects: 82% (176/214)
remote: Compressing objects: 83% (178/214)
remote: Compressing objects: 84% (180/214)
remote: Compressing objects: 85% (182/214)
remote: Compressing objects: 86% (185/214)
remote: Compressing objects: 87% (187/214)
remote: Compressing objects: 88% (189/214)
remote: Compressing objects: 89% (191/214)
remote: Compressing objects: 90% (193/214)
remote: Compressing objects: 91% (195/214)
remote: Compressing objects: 92% (197/214)
remote: Compressing objects: 93% (200/214)
remote: Compressing objects: 94% (202/214)
remote: Compressing objects: 95% (204/214)
remote: Compressing objects: 96% (206/214)
remote: Compressing objects: 97% (208/214)
remote: Compressing objects: 98% (210/214)
remote: Compressing objects: 99% (212/214)
remote: Compressing objects: 100% (214/214)
remote: Compressing objects: 100% (214/214), done. Receiving objects: 0% (1/3178)
Receiving objects: 1% (32/3178)
Receiving objects: 2% (64/3178)
Receiving objects: 3% (96/3178)
Receiving objects: 4% (128/3178)
Receiving objects: 5% (159/3178)
Receiving objects: 6% (191/3178)
Receiving objects: 7% (223/3178)
Receiving objects: 8% (255/3178)
Receiving objects: 9% (287/3178)
Receiving objects: 10% (318/3178)
Receiving objects: 11% (350/3178)
Receiving objects: 12% (382/3178)
Receiving objects: 13% (414/3178)
Receiving objects: 14% (445/3178)
Receiving objects: 15% (477/3178)
Receiving objects: 16% (509/3178)
Receiving objects: 17% (541/3178)
Receiving objects: 18% (573/3178)
Receiving objects: 19% (604/3178)
Receiving objects: 20% (636/3178)
Receiving objects: 21% (668/3178)
Receiving objects: 22% (700/3178)
Receiving objects: 23% (731/3178)
Receiving objects: 24% (763/3178)
Receiving objects: 25% (795/3178)
Receiving objects: 26% (827/3178)
Receiving objects: 27% (859/3178)
Receiving objects: 28% (890/3178)
Receiving objects: 29% (922/3178)
Receiving objects: 30% (954/3178)
Receiving objects: 31% (986/3178)
Receiving objects: 32% (1017/3178)
Receiving objects: 33% (1049/3178)
Receiving objects: 34% (1081/3178)
Receiving objects: 35% (1113/3178)
Receiving objects: 36% (1145/3178)
Receiving objects: 37% (1176/3178)
Receiving objects: 38% (1208/3178)
Receiving objects: 39% (1240/3178)
Receiving objects: 40% (1272/3178)
Receiving objects: 41% (1303/3178)
Receiving objects: 42% (1335/3178)
Receiving objects: 43% (1367/3178)
Receiving objects: 44% (1399/3178)
Receiving objects: 45% (1431/3178)
Receiving objects: 46% (1462/3178)
Receiving objects: 47% (1494/3178)
Receiving objects: 48% (1526/3178)
Receiving objects: 49% (1558/3178)
Receiving objects: 50% (1589/3178)
Receiving objects: 51% (1621/3178)
Receiving objects: 52% (1653/3178)
Receiving objects: 53% (1685/3178)
Receiving objects: 54% (1717/3178)
Receiving objects: 55% (1748/3178)
Receiving objects: 56% (1780/3178)
Receiving objects: 57% (1812/3178)
Receiving objects: 58% (1844/3178)
Receiving objects: 59% (1876/3178)
Receiving objects: 60% (1907/3178)
Receiving objects: 61% (1939/3178)
Receiving objects: 62% (1971/3178)
Receiving objects: 63% (2003/3178)
Receiving objects: 64% (2034/3178)
Receiving objects: 65% (2066/3178)
Receiving objects: 66% (2098/3178)
Receiving objects: 67% (2130/3178)
Receiving objects: 68% (2162/3178)
Receiving objects: 69% (2193/3178)
Receiving objects: 70% (2225/3178)
Receiving objects: 71% (2257/3178)
Receiving objects: 72% (2289/3178)
Receiving objects: 73% (2320/3178)
Receiving objects: 74% (2352/3178)
Receiving objects: 75% (2384/3178)
Receiving objects: 76% (2416/3178)
Receiving objects: 77% (2448/3178)
Receiving objects: 78% (2479/3178)
Receiving objects: 79% (2511/3178)
Receiving objects: 80% (2543/3178)
Receiving objects: 81% (2575/3178)
Receiving objects: 82% (2606/3178)
Receiving objects: 83% (2638/3178)
Receiving objects: 84% (2670/3178)
Receiving objects: 85% (2702/3178)
Receiving objects: 86% (2734/3178)
Receiving objects: 87% (2765/3178)
Receiving objects: 88% (2797/3178)
Receiving objects: 89% (2829/3178)
Receiving objects: 90% (2861/3178)
Receiving objects: 91% (2892/3178)
Receiving objects: 92% (2924/3178)
Receiving objects: 93% (2956/3178)
Receiving objects: 94% (2988/3178)
Receiving objects: 95% (3020/3178)
remote: Total 3178 (delta 387), reused 246 (delta 241), pack-reused 2723 (from 3) Receiving objects: 96% (3051/3178)
Receiving objects: 97% (3083/3178)
Receiving objects: 98% (3115/3178)
Receiving objects: 99% (3147/3178)
Receiving objects: 100% (3178/3178)
Receiving objects: 100% (3178/3178), 1.26 MiB | 21.52 MiB/s, done.Resolving deltas: 0% (0/2127)
Resolving deltas: 1% (22/2127)
Resolving deltas: 2% (43/2127)
Resolving deltas: 3% (64/2127)
Resolving deltas: 4% (86/2127)
Resolving deltas: 5% (107/2127)
Resolving deltas: 6% (128/2127)
Resolving deltas: 7% (149/2127)
Resolving deltas: 8% (171/2127)
Resolving deltas: 9% (192/2127)
Resolving deltas: 10% (213/2127)
Resolving deltas: 11% (234/2127)
Resolving deltas: 12% (256/2127)
Resolving deltas: 13% (277/2127)
Resolving deltas: 14% (298/2127)
Resolving deltas: 15% (320/2127)
Resolving deltas: 16% (341/2127)
Resolving deltas: 17% (362/2127)
Resolving deltas: 18% (383/2127)
Resolving deltas: 19% (405/2127)
Resolving deltas: 20% (426/2127)
Resolving deltas: 21% (447/2127)
Resolving deltas: 22% (468/2127)
Resolving deltas: 23% (490/2127)
Resolving deltas: 24% (511/2127)
Resolving deltas: 25% (532/2127)
Resolving deltas: 26% (554/2127)
Resolving deltas: 27% (575/2127)
Resolving deltas: 28% (596/2127)
Resolving deltas: 29% (617/2127)
Resolving deltas: 30% (639/2127)
Resolving deltas: 31% (660/2127)
Resolving deltas: 32% (681/2127)
Resolving deltas: 33% (702/2127)
Resolving deltas: 34% (724/2127)
Resolving deltas: 35% (745/2127)
Resolving deltas: 36% (766/2127)
Resolving deltas: 37% (787/2127)
Resolving deltas: 38% (809/2127)
Resolving deltas: 39% (830/2127)
Resolving deltas: 40% (851/2127)
Resolving deltas: 41% (873/2127)
Resolving deltas: 42% (894/2127)
Resolving deltas: 43% (915/2127)
Resolving deltas: 44% (936/2127)
Resolving deltas: 45% (958/2127)
Resolving deltas: 46% (979/2127)
Resolving deltas: 47% (1000/2127)
Resolving deltas: 48% (1021/2127)
Resolving deltas: 49% (1043/2127)
Resolving deltas: 50% (1064/2127)
Resolving deltas: 51% (1085/2127)
Resolving deltas: 52% (1107/2127)
Resolving deltas: 53% (1128/2127)
Resolving deltas: 54% (1149/2127)
Resolving deltas: 55% (1170/2127)
Resolving deltas: 56% (1192/2127)
Resolving deltas: 57% (1213/2127)
Resolving deltas: 58% (1234/2127)
Resolving deltas: 59% (1255/2127)
Resolving deltas: 60% (1277/2127)
Resolving deltas: 61% (1298/2127)
Resolving deltas: 62% (1319/2127)
Resolving deltas: 63% (1341/2127)
Resolving deltas: 64% (1362/2127)
Resolving deltas: 65% (1383/2127)
Resolving deltas: 66% (1404/2127)
Resolving deltas: 67% (1426/2127)
Resolving deltas: 68% (1447/2127)
Resolving deltas: 69% (1468/2127)
Resolving deltas: 70% (1489/2127)
Resolving deltas: 71% (1511/2127)
Resolving deltas: 72% (1532/2127)
Resolving deltas: 73% (1553/2127)
Resolving deltas: 74% (1574/2127)
Resolving deltas: 75% (1596/2127)
Resolving deltas: 76% (1617/2127)
Resolving deltas: 77% (1638/2127)
Resolving deltas: 78% (1660/2127)
Resolving deltas: 79% (1681/2127)
Resolving deltas: 80% (1702/2127)
Resolving deltas: 81% (1723/2127)
Resolving deltas: 82% (1745/2127)
Resolving deltas: 83% (1766/2127)
Resolving deltas: 84% (1787/2127)
Resolving deltas: 85% (1808/2127)
Resolving deltas: 86% (1830/2127)
Resolving deltas: 87% (1851/2127)
Resolving deltas: 88% (1872/2127)
Resolving deltas: 89% (1894/2127)
Resolving deltas: 90% (1915/2127)
Resolving deltas: 91% (1936/2127)
Resolving deltas: 92% (1957/2127)
Resolving deltas: 93% (1979/2127)
Resolving deltas: 94% (2000/2127)
Resolving deltas: 95% (2021/2127)
Resolving deltas: 96% (2042/2127)
Resolving deltas: 97% (2064/2127)
Resolving deltas: 98% (2085/2127)
Resolving deltas: 99% (2106/2127)
Resolving deltas: 100% (2127/2127)
Resolving deltas: 100% (2127/2127), done.Cloning into '/workspace/love/lib/openzeppelin-contracts/lib/halmos-cheatcodes'...remote: Enumerating objects: 47, done. remote: Counting objects: 2% (1/47)
remote: Counting objects: 4% (2/47)
remote: Counting objects: 6% (3/47)
remote: Counting objects: 8% (4/47)
remote: Counting objects: 10% (5/47)
remote: Counting objects: 12% (6/47)
remote: Counting objects: 14% (7/47)
remote: Counting objects: 17% (8/47)
remote: Counting objects: 19% (9/47)
remote: Counting objects: 21% (10/47)
remote: Counting objects: 23% (11/47)
remote: Counting objects: 25% (12/47)
remote: Counting objects: 27% (13/47)
remote: Counting objects: 29% (14/47)
remote: Counting objects: 31% (15/47)
remote: Counting objects: 34% (16/47)
remote: Counting objects: 36% (17/47)
remote: Counting objects: 38% (18/47)
remote: Counting objects: 40% (19/47)
remote: Counting objects: 42% (20/47)
remote: Counting objects: 44% (21/47)
remote: Counting objects: 46% (22/47)
remote: Counting objects: 48% (23/47)
remote: Counting objects: 51% (24/47)
remote: Counting objects: 53% (25/47)
remote: Counting objects: 55% (26/47)
remote: Counting objects: 57% (27/47)
remote: Counting objects: 59% (28/47)
remote: Counting objects: 61% (29/47)
remote: Counting objects: 63% (30/47)
remote: Counting objects: 65% (31/47)
remote: Counting objects: 68% (32/47)
remote: Counting objects: 70% (33/47)
remote: Counting objects: 72% (34/47)
remote: Counting objects: 74% (35/47)
remote: Counting objects: 76% (36/47)
remote: Counting objects: 78% (37/47)
remote: Counting objects: 80% (38/47)
remote: Counting objects: 82% (39/47)
remote: Counting objects: 85% (40/47)
remote: Counting objects: 87% (41/47)
remote: Counting objects: 89% (42/47)
remote: Counting objects: 91% (43/47)
remote: Counting objects: 93% (44/47)
remote: Counting objects: 95% (45/47)
remote: Counting objects: 97% (46/47)
remote: Counting objects: 100% (47/47)
remote: Counting objects: 100% (47/47), done. remote: Compressing objects: 2% (1/37)
remote: Compressing objects: 5% (2/37)
remote: Compressing objects: 8% (3/37)
remote: Compressing objects: 10% (4/37)
remote: Compressing objects: 13% (5/37)
remote: Compressing objects: 16% (6/37)
remote: Compressing objects: 18% (7/37)
remote: Compressing objects: 21% (8/37)
remote: Compressing objects: 24% (9/37)
remote: Compressing objects: 27% (10/37)
remote: Compressing objects: 29% (11/37)
remote: Compressing objects: 32% (12/37)
remote: Compressing objects: 35% (13/37)
remote: Compressing objects: 37% (14/37)
remote: Compressing objects: 40% (15/37)
remote: Compressing objects: 43% (16/37)
remote: Compressing objects: 45% (17/37)
remote: Compressing objects: 48% (18/37)
remote: Compressing objects: 51% (19/37)
remote: Compressing objects: 54% (20/37)
remote: Compressing objects: 56% (21/37)
remote: Compressing objects: 59% (22/37)
remote: Compressing objects: 62% (23/37)
remote: Compressing objects: 64% (24/37)
remote: Compressing objects: 67% (25/37)
remote: Compressing objects: 70% (26/37)
remote: Compressing objects: 72% (27/37)
remote: Compressing objects: 75% (28/37)
remote: Compressing objects: 78% (29/37)
remote: Compressing objects: 81% (30/37)
remote: Compressing objects: 83% (31/37)
remote: Compressing objects: 86% (32/37)
remote: Compressing objects: 89% (33/37)
remote: Compressing objects: 91% (34/37)
remote: Compressing objects: 94% (35/37)
remote: Compressing objects: 97% (36/37)
remote: Compressing objects: 100% (37/37)
remote: Compressing objects: 100% (37/37), done. Receiving objects: 2% (1/47)
Receiving objects: 4% (2/47)
Receiving objects: 6% (3/47)
Receiving objects: 8% (4/47)
Receiving objects: 10% (5/47)
Receiving objects: 12% (6/47)
Receiving objects: 14% (7/47)
Receiving objects: 17% (8/47)
Receiving objects: 19% (9/47)
Receiving objects: 21% (10/47)
Receiving objects: 23% (11/47)
Receiving objects: 25% (12/47)
Receiving objects: 27% (13/47)
remote: Total 47 (delta 19), reused 25 (delta 10), pack-reused 0 (from 0) Receiving objects: 29% (14/47)
Receiving objects: 31% (15/47)
Receiving objects: 34% (16/47)
Receiving objects: 36% (17/47)
Receiving objects: 38% (18/47)
Receiving objects: 40% (19/47)
Receiving objects: 42% (20/47)
Receiving objects: 44% (21/47)
Receiving objects: 46% (22/47)
Receiving objects: 48% (23/47)
Receiving objects: 51% (24/47)
Receiving objects: 53% (25/47)
Receiving objects: 55% (26/47)
Receiving objects: 57% (27/47)
Receiving objects: 59% (28/47)
Receiving objects: 61% (29/47)
Receiving objects: 63% (30/47)
Receiving objects: 65% (31/47)
Receiving objects: 68% (32/47)
Receiving objects: 70% (33/47)
Receiving objects: 72% (34/47)
Receiving objects: 74% (35/47)
Receiving objects: 76% (36/47)
Receiving objects: 78% (37/47)
Receiving objects: 80% (38/47)
Receiving objects: 82% (39/47)
Receiving objects: 85% (40/47)
Receiving objects: 87% (41/47)
Receiving objects: 89% (42/47)
Receiving objects: 91% (43/47)
Receiving objects: 93% (44/47)
Receiving objects: 95% (45/47)
Receiving objects: 97% (46/47)
Receiving objects: 100% (47/47)
Receiving objects: 100% (47/47), 24.40 KiB | 12.20 MiB/s, done.Resolving deltas: 0% (0/19)
Resolving deltas: 5% (1/19)
Resolving deltas: 10% (2/19)
Resolving deltas: 15% (3/19)
Resolving deltas: 21% (4/19)
Resolving deltas: 26% (5/19)
Resolving deltas: 31% (6/19)
Resolving deltas: 36% (7/19)
Resolving deltas: 42% (8/19)
Resolving deltas: 47% (9/19)
Resolving deltas: 52% (10/19)
Resolving deltas: 57% (11/19)
Resolving deltas: 63% (12/19)
Resolving deltas: 68% (13/19)
Resolving deltas: 73% (14/19)
Resolving deltas: 78% (15/19)
Resolving deltas: 84% (16/19)
Resolving deltas: 89% (17/19)
Resolving deltas: 94% (18/19)
Resolving deltas: 100% (19/19)
Resolving deltas: 100% (19/19), done.Updating dependencies in /workspace/love/libCompiling 40 files with Solc 0.8.30Solc 0.8.30 finished in 804.82msCompiler run successful!╭----------------+------------------+-------------------+--------------------+---------------------╮| Contract | Runtime Size (B) | Initcode Size (B) | Runtime Margin (B) | Initcode Margin (B) |+==================================================================================================+| Love | 2,810 | 3,613 | 21,766 | 45,539 ||----------------+------------------+-------------------+--------------------+---------------------|| MockWETH | 2,089 | 2,559 | 22,487 | 46,593 ||----------------+------------------+-------------------+--------------------+---------------------|| PlainRegistrar | 292 | 320 | 24,284 | 48,832 ||----------------+------------------+-------------------+--------------------+---------------------|| WETHRegistry | 1,824 | 1,852 | 22,752 | 47,300 |╰----------------+------------------+-------------------+--------------------+---------------------╯warning[reentrancy-balance]: external call can be reentered before a stale contract balance is checked ╭▸ src/WETHRegistry.sol:184:9 │184 │ candidate.deposit{value: PROBE}(); │ ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ │ ╰ help: https://getfoundry.sh/forge/linting/reentrancy-balancewarning[reentrancy-balance]: external call can be reentered before a stale contract balance is checked ╭▸ src/WETHRegistry.sol:188:9 │188 │ candidate.withdraw(PROBE); │ ━━━━━━━━━━━━━━━━━━━━━━━━━ │ ╰ help: https://getfoundry.sh/forge/linting/reentrancy-balancewarning[reentrancy-no-eth]: external call can be reentered before `weth` is updated ╭▸ src/WETHRegistry.sol:188:9 │188 │ candidate.withdraw(PROBE); │ ━━━━━━━━━━━━━━━━━━━━━━━━━ │ ╰ help: https://getfoundry.sh/forge/linting/reentrancy-no-ethwarning[reentrancy-events]: event emitted after an external call; reentrancy can reorder or fabricate logs that off-chain consumers rely on ╭▸ src/WETHRegistry.sol:123:9 │123 │ emit Registered(candidate, msg.sender, codeHash); │ ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ │ ╰ help: https://getfoundry.sh/forge/linting/reentrancy-eventswarning[arbitrary-send-eth]: ETH is sent to a user-controlled destination; restrict the destination or the caller ╭▸ src/WETHRegistry.sol:184:9 │184 │ candidate.deposit{value: PROBE}(); │ ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ │ ╰ help: https://getfoundry.sh/forge/linting/arbitrary-send-ethwarning[incorrect-strict-equality]: dangerous strict equality check on an externally-influenced value ╭▸ src/WETHRegistry.sol:194:13 │194 │ if (address(this).balance != etherBefore) revert EtherNotReturned(etherBefore, address(this).balance); │ ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ │ ╰ help: https://getfoundry.sh/forge/linting/incorrect-strict-equality