Skip to content
This repository was archived by the owner on Oct 3, 2021. It is now read-only.

Commit cf8d997

Browse files
lembergerthlembergerth
committed
Mix verdicts for unreach-call-a and unreach-call-b in eca-rers2018
Swapped the function calls for Problems with even numbers to achieve that
1 parent 22065d5 commit cf8d997

File tree

11 files changed

+522
-519
lines changed

11 files changed

+522
-519
lines changed

‎c/eca-rers2018/Problem10.c‎

Lines changed: 101 additions & 101 deletions
Original file line numberDiff line numberDiff line change
@@ -10,108 +10,108 @@ extern void __assert (const char *__assertion, const char *__file, int __line)
1010
__attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
1111

1212
void reach_error() { ((void) sizeof ((0) ? 1 : 0), __extension__ ({ if (0) ; else __assert_fail ("0", "Problem10.c", 3, __extension__ __PRETTY_FUNCTION__); })); }
13-
void reach_error_a(){ reach_error(); }
1413
void reach_error_b(){ reach_error(); }
15-
void reach_error_0(){ reach_error_b(); }
16-
void reach_error_1(){ reach_error_b(); }
17-
void reach_error_2(){ reach_error_b(); }
18-
void reach_error_3(){ reach_error_b(); }
19-
void reach_error_4(){ reach_error_a(); }
20-
void reach_error_5(){ reach_error_b(); }
21-
void reach_error_6(){ reach_error_a(); }
22-
void reach_error_7(){ reach_error_b(); }
23-
void reach_error_8(){ reach_error_b(); }
24-
void reach_error_9(){ reach_error_b(); }
25-
void reach_error_10(){ reach_error_b(); }
26-
void reach_error_11(){ reach_error_b(); }
27-
void reach_error_12(){ reach_error_b(); }
28-
void reach_error_13(){ reach_error_b(); }
29-
void reach_error_14(){ reach_error_b(); }
30-
void reach_error_15(){ reach_error_b(); }
31-
void reach_error_16(){ reach_error_b(); }
32-
void reach_error_17(){ reach_error_b(); }
33-
void reach_error_18(){ reach_error_a(); }
34-
void reach_error_19(){ reach_error_b(); }
35-
void reach_error_20(){ reach_error_b(); }
36-
void reach_error_21(){ reach_error_b(); }
37-
void reach_error_22(){ reach_error_b(); }
38-
void reach_error_23(){ reach_error_a(); }
39-
void reach_error_24(){ reach_error_b(); }
40-
void reach_error_25(){ reach_error_b(); }
41-
void reach_error_26(){ reach_error_b(); }
42-
void reach_error_27(){ reach_error_a(); }
43-
void reach_error_28(){ reach_error_b(); }
44-
void reach_error_29(){ reach_error_b(); }
45-
void reach_error_30(){ reach_error_b(); }
46-
void reach_error_31(){ reach_error_a(); }
47-
void reach_error_32(){ reach_error_b(); }
48-
void reach_error_33(){ reach_error_b(); }
49-
void reach_error_34(){ reach_error_b(); }
50-
void reach_error_35(){ reach_error_b(); }
51-
void reach_error_36(){ reach_error_b(); }
52-
void reach_error_37(){ reach_error_b(); }
53-
void reach_error_38(){ reach_error_a(); }
54-
void reach_error_39(){ reach_error_b(); }
55-
void reach_error_40(){ reach_error_b(); }
56-
void reach_error_41(){ reach_error_b(); }
57-
void reach_error_42(){ reach_error_b(); }
58-
void reach_error_43(){ reach_error_b(); }
59-
void reach_error_44(){ reach_error_b(); }
60-
void reach_error_45(){ reach_error_b(); }
61-
void reach_error_46(){ reach_error_b(); }
62-
void reach_error_47(){ reach_error_b(); }
63-
void reach_error_48(){ reach_error_b(); }
64-
void reach_error_49(){ reach_error_b(); }
65-
void reach_error_50(){ reach_error_b(); }
66-
void reach_error_51(){ reach_error_b(); }
67-
void reach_error_52(){ reach_error_b(); }
68-
void reach_error_53(){ reach_error_b(); }
69-
void reach_error_54(){ reach_error_b(); }
70-
void reach_error_55(){ reach_error_b(); }
71-
void reach_error_56(){ reach_error_b(); }
72-
void reach_error_57(){ reach_error_b(); }
73-
void reach_error_58(){ reach_error_a(); }
74-
void reach_error_59(){ reach_error_b(); }
75-
void reach_error_60(){ reach_error_b(); }
76-
void reach_error_61(){ reach_error_b(); }
77-
void reach_error_62(){ reach_error_b(); }
78-
void reach_error_63(){ reach_error_b(); }
79-
void reach_error_64(){ reach_error_a(); }
80-
void reach_error_65(){ reach_error_a(); }
81-
void reach_error_66(){ reach_error_b(); }
82-
void reach_error_67(){ reach_error_b(); }
83-
void reach_error_68(){ reach_error_b(); }
84-
void reach_error_69(){ reach_error_a(); }
85-
void reach_error_70(){ reach_error_b(); }
86-
void reach_error_71(){ reach_error_b(); }
87-
void reach_error_72(){ reach_error_b(); }
88-
void reach_error_73(){ reach_error_a(); }
89-
void reach_error_74(){ reach_error_b(); }
90-
void reach_error_75(){ reach_error_b(); }
91-
void reach_error_76(){ reach_error_b(); }
92-
void reach_error_77(){ reach_error_b(); }
93-
void reach_error_78(){ reach_error_b(); }
94-
void reach_error_79(){ reach_error_b(); }
95-
void reach_error_80(){ reach_error_b(); }
96-
void reach_error_81(){ reach_error_b(); }
97-
void reach_error_82(){ reach_error_b(); }
98-
void reach_error_83(){ reach_error_b(); }
99-
void reach_error_84(){ reach_error_b(); }
100-
void reach_error_85(){ reach_error_b(); }
101-
void reach_error_86(){ reach_error_b(); }
102-
void reach_error_87(){ reach_error_b(); }
103-
void reach_error_88(){ reach_error_a(); }
104-
void reach_error_89(){ reach_error_b(); }
105-
void reach_error_90(){ reach_error_b(); }
106-
void reach_error_91(){ reach_error_b(); }
107-
void reach_error_92(){ reach_error_a(); }
108-
void reach_error_93(){ reach_error_b(); }
109-
void reach_error_94(){ reach_error_b(); }
110-
void reach_error_95(){ reach_error_b(); }
111-
void reach_error_96(){ reach_error_b(); }
112-
void reach_error_97(){ reach_error_b(); }
113-
void reach_error_98(){ reach_error_b(); }
114-
void reach_error_99(){ reach_error_b(); }
14+
void reach_error_a(){ reach_error(); }
15+
void reach_error_0(){ reach_error_a(); }
16+
void reach_error_1(){ reach_error_a(); }
17+
void reach_error_2(){ reach_error_a(); }
18+
void reach_error_3(){ reach_error_a(); }
19+
void reach_error_4(){ reach_error_b(); }
20+
void reach_error_5(){ reach_error_a(); }
21+
void reach_error_6(){ reach_error_b(); }
22+
void reach_error_7(){ reach_error_a(); }
23+
void reach_error_8(){ reach_error_a(); }
24+
void reach_error_9(){ reach_error_a(); }
25+
void reach_error_10(){ reach_error_a(); }
26+
void reach_error_11(){ reach_error_a(); }
27+
void reach_error_12(){ reach_error_a(); }
28+
void reach_error_13(){ reach_error_a(); }
29+
void reach_error_14(){ reach_error_a(); }
30+
void reach_error_15(){ reach_error_a(); }
31+
void reach_error_16(){ reach_error_a(); }
32+
void reach_error_17(){ reach_error_a(); }
33+
void reach_error_18(){ reach_error_b(); }
34+
void reach_error_19(){ reach_error_a(); }
35+
void reach_error_20(){ reach_error_a(); }
36+
void reach_error_21(){ reach_error_a(); }
37+
void reach_error_22(){ reach_error_a(); }
38+
void reach_error_23(){ reach_error_b(); }
39+
void reach_error_24(){ reach_error_a(); }
40+
void reach_error_25(){ reach_error_a(); }
41+
void reach_error_26(){ reach_error_a(); }
42+
void reach_error_27(){ reach_error_b(); }
43+
void reach_error_28(){ reach_error_a(); }
44+
void reach_error_29(){ reach_error_a(); }
45+
void reach_error_30(){ reach_error_a(); }
46+
void reach_error_31(){ reach_error_b(); }
47+
void reach_error_32(){ reach_error_a(); }
48+
void reach_error_33(){ reach_error_a(); }
49+
void reach_error_34(){ reach_error_a(); }
50+
void reach_error_35(){ reach_error_a(); }
51+
void reach_error_36(){ reach_error_a(); }
52+
void reach_error_37(){ reach_error_a(); }
53+
void reach_error_38(){ reach_error_b(); }
54+
void reach_error_39(){ reach_error_a(); }
55+
void reach_error_40(){ reach_error_a(); }
56+
void reach_error_41(){ reach_error_a(); }
57+
void reach_error_42(){ reach_error_a(); }
58+
void reach_error_43(){ reach_error_a(); }
59+
void reach_error_44(){ reach_error_a(); }
60+
void reach_error_45(){ reach_error_a(); }
61+
void reach_error_46(){ reach_error_a(); }
62+
void reach_error_47(){ reach_error_a(); }
63+
void reach_error_48(){ reach_error_a(); }
64+
void reach_error_49(){ reach_error_a(); }
65+
void reach_error_50(){ reach_error_a(); }
66+
void reach_error_51(){ reach_error_a(); }
67+
void reach_error_52(){ reach_error_a(); }
68+
void reach_error_53(){ reach_error_a(); }
69+
void reach_error_54(){ reach_error_a(); }
70+
void reach_error_55(){ reach_error_a(); }
71+
void reach_error_56(){ reach_error_a(); }
72+
void reach_error_57(){ reach_error_a(); }
73+
void reach_error_58(){ reach_error_b(); }
74+
void reach_error_59(){ reach_error_a(); }
75+
void reach_error_60(){ reach_error_a(); }
76+
void reach_error_61(){ reach_error_a(); }
77+
void reach_error_62(){ reach_error_a(); }
78+
void reach_error_63(){ reach_error_a(); }
79+
void reach_error_64(){ reach_error_b(); }
80+
void reach_error_65(){ reach_error_b(); }
81+
void reach_error_66(){ reach_error_a(); }
82+
void reach_error_67(){ reach_error_a(); }
83+
void reach_error_68(){ reach_error_a(); }
84+
void reach_error_69(){ reach_error_b(); }
85+
void reach_error_70(){ reach_error_a(); }
86+
void reach_error_71(){ reach_error_a(); }
87+
void reach_error_72(){ reach_error_a(); }
88+
void reach_error_73(){ reach_error_b(); }
89+
void reach_error_74(){ reach_error_a(); }
90+
void reach_error_75(){ reach_error_a(); }
91+
void reach_error_76(){ reach_error_a(); }
92+
void reach_error_77(){ reach_error_a(); }
93+
void reach_error_78(){ reach_error_a(); }
94+
void reach_error_79(){ reach_error_a(); }
95+
void reach_error_80(){ reach_error_a(); }
96+
void reach_error_81(){ reach_error_a(); }
97+
void reach_error_82(){ reach_error_a(); }
98+
void reach_error_83(){ reach_error_a(); }
99+
void reach_error_84(){ reach_error_a(); }
100+
void reach_error_85(){ reach_error_a(); }
101+
void reach_error_86(){ reach_error_a(); }
102+
void reach_error_87(){ reach_error_a(); }
103+
void reach_error_88(){ reach_error_b(); }
104+
void reach_error_89(){ reach_error_a(); }
105+
void reach_error_90(){ reach_error_a(); }
106+
void reach_error_91(){ reach_error_a(); }
107+
void reach_error_92(){ reach_error_b(); }
108+
void reach_error_93(){ reach_error_a(); }
109+
void reach_error_94(){ reach_error_a(); }
110+
void reach_error_95(){ reach_error_a(); }
111+
void reach_error_96(){ reach_error_a(); }
112+
void reach_error_97(){ reach_error_a(); }
113+
void reach_error_98(){ reach_error_a(); }
114+
void reach_error_99(){ reach_error_a(); }
115115

116116

117117
// inputs

‎c/eca-rers2018/Problem10.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,9 +4,9 @@ properties:
44
- property_file: ../properties/unreach-call.prp
55
expected_verdict: false
66
- property_file: properties/unreach-call-a.prp
7-
expected_verdict: false
8-
- property_file: properties/unreach-call-b.prp
97
expected_verdict: true
8+
- property_file: properties/unreach-call-b.prp
9+
expected_verdict: false
1010
- property_file: properties/unreach-call-0.prp
1111
expected_verdict: true
1212
- property_file: properties/unreach-call-1.prp

0 commit comments

Comments
 (0)