File tree
8 files changed
+111
-45
lines changed- regression/contracts-dfcc
- loop_contracts_do_while
- loop_contracts_reject_loops_two_latches
- src
- goto-instrument
- contracts
- dynamic-frames
- goto-programs
8 files changed
+111
-45
lines changedLines changed: 6 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 |
| - | |
9 |
| - | |
10 |
| - | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
11 | 13 |
| |
12 |
| - | |
| 14 | + | |
13 | 15 |
|
Lines changed: 16 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + |
Lines changed: 9 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + |
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
5 |
| - | |
| 4 | + | |
6 | 5 |
| |
7 | 6 |
| |
| 7 | + | |
8 | 8 |
| |
9 |
| - | |
10 |
| - | |
| 9 | + | |
| 10 | + |
Lines changed: 45 additions & 28 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
888 | 888 |
| |
889 | 889 |
| |
890 | 890 |
| |
| 891 | + | |
| 892 | + | |
| 893 | + | |
| 894 | + | |
| 895 | + | |
| 896 | + | |
891 | 897 |
| |
892 | 898 |
| |
893 |
| - | |
| 899 | + | |
894 | 900 |
| |
895 |
| - | |
| 901 | + | |
896 | 902 |
| |
897 | 903 |
| |
898 | 904 |
| |
899 | 905 |
| |
900 | 906 |
| |
901 | 907 |
| |
902 |
| - | |
| 908 | + | |
903 | 909 |
| |
904 | 910 |
| |
905 | 911 |
| |
| |||
914 | 920 |
| |
915 | 921 |
| |
916 | 922 |
| |
| 923 | + | |
| 924 | + | |
| 925 | + | |
| 926 | + | |
| 927 | + | |
| 928 | + | |
| 929 | + | |
| 930 | + | |
| 931 | + | |
| 932 | + | |
| 933 | + | |
| 934 | + | |
| 935 | + | |
| 936 | + | |
| 937 | + | |
| 938 | + | |
| 939 | + | |
| 940 | + | |
| 941 | + | |
| 942 | + | |
| 943 | + | |
| 944 | + | |
| 945 | + | |
| 946 | + | |
| 947 | + | |
| 948 | + | |
| 949 | + | |
| 950 | + | |
| 951 | + | |
| 952 | + | |
| 953 | + | |
| 954 | + | |
| 955 | + | |
| 956 | + | |
| 957 | + | |
917 | 958 |
| |
918 | 959 |
| |
919 | 960 |
| |
| |||
961 | 1002 |
| |
962 | 1003 |
| |
963 | 1004 |
| |
964 |
| - | |
| 1005 | + | |
965 | 1006 |
| |
966 | 1007 |
| |
967 | 1008 |
| |
| |||
974 | 1015 |
| |
975 | 1016 |
| |
976 | 1017 |
| |
977 |
| - | |
978 |
| - | |
979 |
| - | |
980 |
| - | |
981 |
| - | |
982 |
| - | |
983 |
| - | |
984 |
| - | |
985 |
| - | |
986 |
| - | |
987 |
| - | |
988 |
| - | |
989 |
| - | |
990 |
| - | |
991 |
| - | |
992 |
| - | |
993 |
| - | |
994 |
| - | |
995 |
| - | |
996 |
| - | |
997 |
| - | |
998 |
| - | |
999 |
| - | |
1000 |
| - | |
1001 | 1018 |
| |
1002 | 1019 |
| |
1003 | 1020 |
| |
|
Lines changed: 14 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
19 | 19 |
| |
20 | 20 |
| |
21 | 21 |
| |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
22 | 28 |
| |
23 | 29 |
| |
24 | 30 |
| |
| |||
132 | 138 |
| |
133 | 139 |
| |
134 | 140 |
| |
| 141 | + | |
| 142 | + | |
| 143 | + | |
| 144 | + | |
135 | 145 |
| |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
136 | 150 |
| |
137 | 151 |
| |
138 | 152 |
| |
|
Lines changed: 7 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1174 | 1174 |
| |
1175 | 1175 |
| |
1176 | 1176 |
| |
| 1177 | + | |
| 1178 | + | |
1177 | 1179 |
| |
1178 | 1180 |
| |
1179 | 1181 |
| |
| |||
1232 | 1234 |
| |
1233 | 1235 |
| |
1234 | 1236 |
| |
1235 |
| - | |
1236 |
| - | |
1237 |
| - | |
1238 |
| - | |
1239 |
| - | |
| 1237 | + | |
| 1238 | + | |
| 1239 | + | |
1240 | 1240 |
| |
1241 | 1241 |
| |
| 1242 | + | |
| 1243 | + | |
1242 | 1244 |
| |
1243 | 1245 |
| |
1244 | 1246 |
| |
|
Lines changed: 10 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
38 |
| - | |
| 38 | + | |
39 | 39 |
| |
40 | 40 |
| |
41 | 41 |
| |
| |||
54 | 54 |
| |
55 | 55 |
| |
56 | 56 |
| |
57 |
| - | |
| 57 | + | |
58 | 58 |
| |
59 | 59 |
| |
60 | 60 |
| |
| |||
66 | 66 |
| |
67 | 67 |
| |
68 | 68 |
| |
69 |
| - | |
| 69 | + | |
70 | 70 |
| |
71 | 71 |
| |
72 | 72 |
| |
| |||
80 | 80 |
| |
81 | 81 |
| |
82 | 82 |
| |
| 83 | + | |
| 84 | + | |
83 | 85 |
| |
84 | 86 |
| |
85 | 87 |
| |
| |||
180 | 182 |
| |
181 | 183 |
| |
182 | 184 |
| |
| 185 | + | |
183 | 186 |
| |
184 |
| - | |
| 187 | + | |
185 | 188 |
| |
186 | 189 |
| |
187 | 190 |
| |
188 | 191 |
| |
189 | 192 |
| |
190 | 193 |
| |
191 | 194 |
| |
| 195 | + | |
| 196 | + | |
| 197 | + | |
192 | 198 |
| |
193 | 199 |
| |
194 | 200 |
| |
|
0 commit comments