File tree
8 files changed
+16
-1
lines changed- adaa.analytics.rules
- test/adaa/analytics/rules/logic/induction
8 files changed
+16
-1
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
27 | 27 |
| |
28 | 28 |
| |
29 | 29 |
| |
30 |
| - | |
| 30 | + | |
31 | 31 |
| |
32 | 32 |
| |
33 | 33 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
4 | 5 |
| |
5 | 6 |
| |
6 | 7 |
| |
| |||
61 | 62 |
| |
62 | 63 |
| |
63 | 64 |
| |
| 65 | + | |
64 | 66 |
| |
65 | 67 |
| |
66 | 68 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
4 | 5 |
| |
5 | 6 |
| |
6 | 7 |
| |
| |||
79 | 80 |
| |
80 | 81 |
| |
81 | 82 |
| |
| 83 | + | |
82 | 84 |
| |
83 | 85 |
| |
84 | 86 |
| |
|
Lines changed: 3 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 | 7 |
| |
7 | 8 |
| |
| |||
75 | 76 |
| |
76 | 77 |
| |
77 | 78 |
| |
| 79 | + | |
78 | 80 |
| |
79 | 81 |
| |
80 | 82 |
| |
81 | 83 |
| |
| 84 | + | |
82 | 85 |
| |
83 | 86 |
| |
84 | 87 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
4 | 5 |
| |
5 | 6 |
| |
6 | 7 |
| |
| |||
61 | 62 |
| |
62 | 63 |
| |
63 | 64 |
| |
| 65 | + | |
64 | 66 |
| |
65 | 67 |
| |
66 | 68 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
4 | 5 |
| |
5 | 6 |
| |
6 | 7 |
| |
| |||
61 | 62 |
| |
62 | 63 |
| |
63 | 64 |
| |
| 65 | + | |
64 | 66 |
| |
65 | 67 |
| |
66 | 68 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
4 | 5 |
| |
5 | 6 |
| |
6 | 7 |
| |
| |||
61 | 62 |
| |
62 | 63 |
| |
63 | 64 |
| |
| 65 | + | |
64 | 66 |
| |
65 | 67 |
| |
66 | 68 |
| |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
4 | 5 |
| |
5 | 6 |
| |
6 | 7 |
| |
| |||
61 | 62 |
| |
62 | 63 |
| |
63 | 64 |
| |
| 65 | + | |
64 | 66 |
| |
65 | 67 |
| |
66 | 68 |
| |
|
0 commit comments