-
Notifications
You must be signed in to change notification settings - Fork 2
/
generated.c
105 lines (104 loc) · 7.9 KB
/
generated.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
#include "header.h"
void generated_test(void)
{
ASSERT_PRINTF("%--194.54X" ,3852169892u);
ASSERT_PRINTF("%-114.24i%-174.164i" ,-608242235,-1247846882);
ASSERT_PRINTF("%-135p" ,(void*)166017542380380199lu);
ASSERT_PRINTF("%-192.131%" );
ASSERT_PRINTF("%--73.154d" ,-1185050931);
// ASSERT_PRINTF("%*p%-135.109d" ,-15,(void*)15603137398285451084lu,1482420587);
// ASSERT_PRINTF("%49.*s%40.4s" ,1,"uJ%7B","lO;A3OXi'N*?T");
ASSERT_PRINTF("%-78.100u%0091.158x" ,2490445787u,628341766u);
ASSERT_PRINTF("%--198c" ,35);
ASSERT_PRINTF("%012.84u" ,2880913598u);
// ASSERT_PRINTF("%-171.108s%0022.*u%-93.114u%*c" ,"r>KM,cWZ,k7U",-75,1057557429u,580880397u,-25,-80);
ASSERT_PRINTF("%0176.18i%0131.59i%-86X%---45.36X" ,-1748967713,-1568187420,124888334u,2293430389u);
ASSERT_PRINTF("%--40.183X%-178.81X%036.192u%-119.27s" ,2684215029u,410939004u,2169426684u,"!ufvJeVr`+BF#EV");
ASSERT_PRINTF("%098.58d%--7.168d" ,549613177,850697743);
ASSERT_PRINTF("%-48p%-164c" ,(void*)9888845855039847185lu,114);
ASSERT_PRINTF("%-70.193x%-140c%168c%026.51%%0125.119X" ,1102840003u,-50,-17,3721437512u);
ASSERT_PRINTF("%104.60s%109c%-9p" ,"}&@/h\n\f<C",36,(void*)14251011342640672780lu);
// ASSERT_PRINTF("%-*.98u%-124i%-192.2d" ,117,4198534266u,1421101220,-12188465);
ASSERT_PRINTF("%131p%--.42u%65c%-68c%-7c" ,(void*)14631880201060661778lu,1668628755u,110,-16,-32);
ASSERT_PRINTF("%---137.49s%-127.121X" ,"!^3W]E;3T;FBR(KBN|03|!us3&sT[",2181790462u);
ASSERT_PRINTF("%--122.24X" ,3986554129u);
ASSERT_PRINTF("%10c%0036.99%" ,9);
ASSERT_PRINTF("%--189p" ,(void*)8440737604753056005lu);
// ASSERT_PRINTF("%-89c%20p%-33.16X%--11.*s%--25.85u" ,10,(void*)1144206967121894099lu,1538791465u,84,"L;x)-34d4BU9<aJE-\n\r4:[)kMj}Y4",543381790u);
// ASSERT_PRINTF("%-*.*i%-19.119%" ,158,176,-448314345);
// ASSERT_PRINTF("%-12.*s%98.128s%--8p%095.*i%00182.193x" ,139,"o=Z*[","9S14l$RgnTv`-Wm",(void*)3870843096944218592lu,-156,201214506,1134523837u);
ASSERT_PRINTF("%-38.146x" ,2598409833u);
// ASSERT_PRINTF("%-75.38s%-148.135s%00156.106i%-*.105%" ,"q;&kDMa}NfJoOp\\luHJ",NULL,1930062644,105);
// ASSERT_PRINTF("%--143.5d%-*.127x%--120.89X%-*.193X" ,1846472017,-7,2195740708u,1658686933u,-58,3646533575u);
// ASSERT_PRINTF("%--158p%---.15s%-108c" ,(void*)9474372414016659745lu,"O_r",24);
ASSERT_PRINTF("%-162.188x%000140.102X" ,2533724638u,3512081841u);
ASSERT_PRINTF("%023.150x" ,945656380u);
ASSERT_PRINTF("%-50c%-85.157%%--58.188X" ,9,274691972u);
ASSERT_PRINTF("%64p%038.87d%23c%--182.49i%--76.110%" ,(void*)10278319775164267212lu,-1550079501,30,-862355787);
// ASSERT_PRINTF("%-149.*%%-114.120i%0*.24%%--*.28d" ,-63,1318471055,-125,-68,-1205906582);
// ASSERT_PRINTF("%---34c%-107.*u" ,7,-168,2003619509u);
// ASSERT_PRINTF("%-102p%-91p%00*.32%" ,(void*)17383623580121946936lu,(void*)6825043625903153404lu,-125);
ASSERT_PRINTF("%---130.58X%173.67s%-181.87u%-30c" ,1925387529u,"|0py&+BlK7]j3X\vDK",282509935u,-111);
// ASSERT_PRINTF("%71c%-*.164u%-120.105u" ,58,106,3206019297u,1452705981u);
ASSERT_PRINTF("%-132.186x%00129.46%%-191.181X%-75.123d%0033.123u" ,2222238685u,3146675666u,251185067,3453417465u);
ASSERT_PRINTF("%-120p" ,(void*)5150423256795085944lu);
ASSERT_PRINTF("%045.81X" ,1608282792u);
ASSERT_PRINTF("%-139.154s" ,"~\\xUX");
// ASSERT_PRINTF("%-*c" ,-80,123);
ASSERT_PRINTF("%--198.101X%0145.12%%172c" ,935976394u,-118);
ASSERT_PRINTF("%120p%--55.128i" ,(void*)9377650025287837451lu,816352753);
ASSERT_PRINTF("%--60.36s%-86.108s%0091.147X" ,"ou=eS","Mq9\r",389939786u);
ASSERT_PRINTF("%0020.149u%-99.97i" ,2945319386u,-1913054753);
// ASSERT_PRINTF("%--3.115X%-*.*%%58c%-117.63u%---78p" ,3653275853u,81,-117,10,958058058u,(void*)8835148381236382049lu);
// ASSERT_PRINTF("%-69.27%%--*p" ,-94,(void*)7045295314441527752lu);
// ASSERT_PRINTF("%--110.93x%--78.123s%--30.92X%-45.57%%-*.68s" ,218095759u,"lCyN\r",1729010453u,134,"OxhROR`$;.U*;0zEm>e\r");
// ASSERT_PRINTF("%000169.50u%-127.85%%--195p%-51.49s%-160p" ,2209242471u,(void*)8769599610347160825lu,"1+6UGQiBr8wAmIE*{,xBrju#}s=X",(void*)15118044339110535138lu);
// ASSERT_PRINTF("%-82.43i%-*.82%%-*.20X" ,-1945174241,-26,94,1446072230u);
// ASSERT_PRINTF("%-110.159i%c%0100.177x%-188.*%" ,646185978,14,3198690061u,123);
// ASSERT_PRINTF("%--81.*%%019.14%%---27c%-75.150d%00136.74x" ,70,-15,-128722927,4090510000u);
// ASSERT_PRINTF("%--11.12d%0107.151x%-*.98i" ,1895257560,1269322791u,120,370452255);
ASSERT_PRINTF("%52c%00040.166%%-131c%-12.99s" ,-57,123,"k\r/ULCoKi0");
// ASSERT_PRINTF("%--140.183u%-*.35u" ,3194611513u,-160,4264407200u);
// ASSERT_PRINTF("%-55.40s%--144c%-*.137i%093.12u" ,"M7>#/:*2BGG>zjU2zP'l$H(A4rY",38,53,65160444,3566926644u);
// ASSERT_PRINTF("%-190.*u%--6.26X%156.96s" ,-109,3830289361u,1359348041u,"[email protected]<\\?d");
// ASSERT_PRINTF("%-*c" ,162,89);
// ASSERT_PRINTF("%-101.121s%--91.*x" ,"5AhgU}%=/*<1+!E8A(S",-192,3542796524u);
// ASSERT_PRINTF("%57c%-76.*s%--38p%-*.159X%000193.93X" ,55,-20,"@(ECnQ^2yp,6x4F\fwA*iLS\fgt,De",(void*)15808961691193129302lu,168,1914174653u,2368364743u);
// ASSERT_PRINTF("%--140.*d%-169.198X%-*.93%" ,-176,2043379162,1756246551u,32);
// ASSERT_PRINTF("%*p%-127.193x%0120.150d" ,-64,(void*)1126585860702498506lu,4001913452u,444237491);
// ASSERT_PRINTF("%--81.144s%-*c%--138X" ,"nr:W1kw_#&(;C9k",195,57,2353642673u);
ASSERT_PRINTF("%-139.77X%-82.101x" ,4273984084u,639114854u);
// ASSERT_PRINTF("%-*c%-141p%-28.9u" ,-65,-4,(void*)7073624398654675005lu,113714125u);
ASSERT_PRINTF("%-64u" ,4204812483u);
ASSERT_PRINTF("%--180.61X" ,1396814909u);
// ASSERT_PRINTF("%-70.21i%-*.115s%--57.196%%83.157s" ,502357737,80,"D5*;&'q|R:2T>","S}Vl41s`R:E_p>$R.\f9N");
// ASSERT_PRINTF("%--39.115i%--166.*d%--47c%--94.116X" ,1917290799,23,749316185,98,3732464596u);
ASSERT_PRINTF("%--63p%-62.182d" ,(void*)1199013529227388230lu,568134778);
ASSERT_PRINTF("%50.10s%-44.68x%--78.43s" ,"Fj&Xd",665370725u,"/p@_T=e=^Cf7!g>fDE");
ASSERT_PRINTF("%-175.96%%-153.x" ,822360617u);
// ASSERT_PRINTF("%043.165%%--35.34s%--4.*d%-189.*i" ,"TSvqw0m:$c!hhK(,R*",-100,967600936,45,1272776825);
ASSERT_PRINTF("%-166.180X%--18.47d%---111.87%%8p%0114.24X" ,1637127682u,-1931431309,(void*)3522468094256045905lu,4291674618u);
ASSERT_PRINTF("%-55.46%%--171.99s%--56.41X%-173X" ,"7",3917830995u,3557113666u);
ASSERT_PRINTF("%.99s" ,"v$(%6h");
// ASSERT_PRINTF("%00129.196u%-186.*d%--120.109d%-*.90s" ,3849192113u,-29,-424660320,-653417313,71,"O#SeWbH`V");
ASSERT_PRINTF("%--85.97%%---129c" ,33);
ASSERT_PRINTF("%29p%0151.162x%---53.46u%-139.26X" ,(void*)17894711340605174765lu,1565093748u,662758369u,3536629372u);
// ASSERT_PRINTF("%-*.144d%-36c%-96c%-c" ,196,-910445343,-65,124,87);
// ASSERT_PRINTF("%--74.144x%-166p%--78.55s%-195.140x" ,625771587u,(void*)14083163232330204447lu,"P(LiM1QG='.bUp\r",314220770u);
// ASSERT_PRINTF("%--*X%-88.73i" ,-14,2096742096u,754878051);
ASSERT_PRINTF("%-10.123X%---155.97x" ,382459494u,970578181u);
ASSERT_PRINTF("%-188c%-84.159x%-.82i%-192.158i" ,45,2099602418u,-590423754,1933619156);
// ASSERT_PRINTF("%-*.156x%0033.100u%0.104i%-4.150x%-90.%" ,28,4190048377u,3783020883u,-1750158056,3765069756u);
ASSERT_PRINTF("%-p%-35p%00042.14i%p" ,(void*)1508633298498623712lu,(void*)4610270612598633961lu,-1053760970,(void*)4955973954213917723lu);
ASSERT_PRINTF("%--71c%074.49X%-50.195x%-106.79i" ,-112,1537135483u,4281417478u,1103336433);
// ASSERT_PRINTF("%--150.*d%01.172i%--151.122d%--*.110x%--23.182%" ,193,-1523409169,453642614,881460015,68,2920216226u);
// ASSERT_PRINTF("%00182.146X%16.*s" ,2246537107u,-64,",8\n/Jkn.tDZcE");
ASSERT_PRINTF("%0047.196X%0100.115u%--147.189u" ,4124736153u,3428700903u,661309797u);
// ASSERT_PRINTF("%-66p%-90c%--*.69x%0045.*u" ,(void*)9420165689360028937lu,-29,-122,174318236u,-127,2553740548u);
ASSERT_PRINTF("%-198.190i" ,-915338234);
ASSERT_PRINTF("%0110.7u%-85.40X%---182.30s" ,1517824905u,3044934856u,".iM8/ct)(S");
ASSERT_PRINTF("%108p%-175.188i" ,(void*)11721873312409420167lu,-653373315);
ASSERT_PRINTF("%0134.185i%061.174d" ,1465312329,1402026716);
// ASSERT_PRINTF("%00142.67d%-87.120s%-21.160%%-*.98d%-105.71d" ,1277409698,"/]>n?I^K$-",-187,-569482950,1801496736);
ASSERT_PRINTF("%-58.131%" );
}