Commit 8902f29b authored by uxrog's avatar uxrog
Browse files

Merge branch 'exec/gruppe1' into 'master'

Group 1 exec tests 💥

See merge request !42
parents 68aebf35 99b9a9a4
Pipeline #180537 failed with stage
in 12 minutes and 51 seconds
......@@ -30,8 +30,8 @@ main = lint =<< readArguments
allChecks :: [(String, LintCheck)]
allChecks =
[ ("no other files are present" , noOtherFiles)
, ("filenames are CamelCase", camelCaseFileNames)
[ {-("no other files are present" , noOtherFiles)
,-} ("filenames are CamelCase", camelCaseFileNames)
, ("valid input files are ASCII", validsAreAscii)
, ("nonempty files have a trailing newline", haveTrailingNewline)
, ("a valid test file exists for every .out file", outsHaveValids)
......
class AllocEmpty {
public boolean thisIsNull() {
return this == null;
}
public static void main(String[] args) {
/* These tests will fail on some malloc implementations. If you are
* lucky they work even if you do not implement it correctly, but I can
* not detect that. */
AllocEmpty foo = new AllocEmpty();
if (foo.thisIsNull()) {
System.out.write(110);
System.out.write(101);
System.out.write(119);
System.out.write(32);
System.out.write(79);
System.out.write(98);
System.out.write(106);
System.out.write(101);
System.out.write(99);
System.out.write(116);
System.out.write(40);
System.out.write(41);
System.out.write(32);
System.out.write(111);
System.out.write(102);
System.out.write(32);
System.out.write(99);
System.out.write(108);
System.out.write(97);
System.out.write(115);
System.out.write(115);
System.out.write(32);
System.out.write(119);
System.out.write(105);
System.out.write(116);
System.out.write(104);
System.out.write(111);
System.out.write(117);
System.out.write(116);
System.out.write(32);
System.out.write(102);
System.out.write(105);
System.out.write(101);
System.out.write(108);
System.out.write(100);
System.out.write(115);
System.out.write(32);
System.out.write(40);
System.out.write(116);
System.out.write(97);
System.out.write(107);
System.out.write(105);
System.out.write(110);
System.out.write(103);
System.out.write(32);
System.out.write(117);
System.out.write(112);
System.out.write(32);
System.out.write(122);
System.out.write(101);
System.out.write(114);
System.out.write(111);
System.out.write(32);
System.out.write(98);
System.out.write(121);
System.out.write(116);
System.out.write(101);
System.out.write(115);
System.out.write(41);
System.out.write(32);
System.out.write(114);
System.out.write(101);
System.out.write(116);
System.out.write(117);
System.out.write(114);
System.out.write(110);
System.out.write(101);
System.out.write(100);
System.out.write(32);
System.out.write(97);
System.out.write(32);
System.out.write(110);
System.out.write(117);
System.out.write(108);
System.out.write(108);
System.out.write(32);
System.out.write(112);
System.out.write(111);
System.out.write(105);
System.out.write(110);
System.out.write(116);
System.out.write(101);
System.out.write(114);
System.out.write(33);
System.out.write(10);
}
int[] arr = new int[0];
if (arr == null) {
System.out.write(110);
System.out.write(101);
System.out.write(119);
System.out.write(32);
System.out.write(105);
System.out.write(110);
System.out.write(116);
System.out.write(91);
System.out.write(48);
System.out.write(93);
System.out.write(32);
System.out.write(114);
System.out.write(101);
System.out.write(116);
System.out.write(117);
System.out.write(114);
System.out.write(110);
System.out.write(101);
System.out.write(100);
System.out.write(32);
System.out.write(97);
System.out.write(32);
System.out.write(110);
System.out.write(117);
System.out.write(108);
System.out.write(108);
System.out.write(32);
System.out.write(112);
System.out.write(111);
System.out.write(105);
System.out.write(110);
System.out.write(116);
System.out.write(101);
System.out.write(114);
System.out.write(33);
System.out.write(10);
}
}
}
173
178
179
187
196
199
200
201
210
209
210
211
221
223
235
236
237
238
242
249
247
246
256
257
258
257
258
265
293
303
304
317
322
330
336
337
340
339
350
351
352
353
349
353
342
339
341
342
348
349
350
355
362
392
388
393
404
402
401
402
405
410
411
424
425
432
434
433
435
441
420
439
461
463
464
468
469
473
485
494
493
489
490
491
497
490
491
493
519
520
553
554
560
565
574
586
599
600
601
604
578
574
578
597
598
597
607
606
608
616
613
615
618
617
619
626
638
639
650
682
686
693
696
709
715
745
747
750
751
753
760
763
764
772
776
779
791
794
795
800
799
808
814
825
826
831
830
837
853
854
863
872
873
881
885
895
896
897
895
905
909
912
916
921
919
927
929
935
936
937
948
947
948
922
926
932
931
938
958
975
977
982
985
986
987
988
1007
1005
1007
1008
1010
1013
1015
1016
1019
1025
1026
1027
1029
1039
1047
1054
1055
1063
1066
1087
1095
1096
1097
1093
1114
1123
1131
1137
1142
1140
1154
1157
1158
1159
1160
1170
1174
1182
1184
1191
1200
1211
1214
1231
1241
1250
1246
1260
1287
1311
1313
1318
1327
1325
1324
1325
1326
1339
1350
1355
1358
1368
1380
1422
1423
1442
1466
1450
1451
1457
1464
1474
1490
1494
1507
1508
1509
1511
1524
1521
1528
1529
1533
1538
1542
1544
1543
1560
1579
1585
1589
1591
1598
1599
1600
1610
1614
1615
1629
1624
1629
1632
1627
1641
1638
1639
1641
1644
1645
1646
1647
1659
1661
1658
1661
1664
1665
1669
1671
1673
1674
1675
1672
1677
1687
1688
1696
1697
1711
1715
1720
1721
1724
1725
1726
1731
1740
1737
1746
1745
1758
1760
1758
1771
1777
1773
1777
1778
1788
1794
1804
1809
1814
1837
1839
1838
1837
1842
1851
1857
1843
1844
1845
1860
1863
1888
1887
1888
1889
1897
1895
1903
1906
1907
1913
1917
1916
1917
1926
1927
1935
1933
1934
1939
1940
1942
1944
1941
1946
1967
1969
1975
1976
1979
1981
1982
1987
1981
1982
1981
1982
1992
2027
2028
2029
2036
2037
2038
2042
2044
2048
2047
2054
2055
2062
2065
2066
2091
2103
2093
2094
2089
2091
2093
2098
2108
2086
2087
2118
2123
2127
2132
2148
2149
2147
2148
2149
2150
2152
2151
2152
2149
2156
2167
2177
2179
2180
2159
2167
2158
2156
2174
2169
2170
2180
2183
2187
2191
2192
2200
2202
2206
2240
2251
2247
2259
2273
2274
2276
2255
2256
2263
2265
2269
2270
2272
2273
2275
2276
2281
2290
2292
2293
2287
2291
2289
2287
2290
2306
2307
2310
2315
2329
2337
2370
2375
2373
2376
2362
2397
2400
2401
2419