ADT
ast-experimental
enum
forall-pointer-decay
pthread-emulation
qualifiedEnum
|
Last change
on this file since 180f249 was 9853d9b0, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago |
|
missed a case for inclusive bound to singleton comparison, and added tests
|
-
Property mode
set to
100644
|
|
File size:
1.6 KB
|
| Line | |
|---|
| 1 | empty
|
|---|
| 2 | empty
|
|---|
| 3 | empty
|
|---|
| 4 |
|
|---|
| 5 | zero
|
|---|
| 6 | A
|
|---|
| 7 | A A A A A A A A A A
|
|---|
| 8 | A A A A A A A A A A A
|
|---|
| 9 | B B B B B
|
|---|
| 10 | C C C C C
|
|---|
| 11 | D D D D D
|
|---|
| 12 | E E E E E
|
|---|
| 13 |
|
|---|
| 14 | 0 1 2 3 4 5 6 7 8 9
|
|---|
| 15 | 0 1 2 3 4 5 6 7 8 9 10
|
|---|
| 16 | 1 3 5 7 9
|
|---|
| 17 | 10 8 6 4 2
|
|---|
| 18 | 0.5 1.5 2.5 3.5 4.5
|
|---|
| 19 | 5.5 4.5 3.5 2.5 1.5
|
|---|
| 20 | 2 4 6 8 10
|
|---|
| 21 | 10 8 6 4 2
|
|---|
| 22 |
|
|---|
| 23 | 1 2 3 4 5 6 7 8 9 10
|
|---|
| 24 | 10 9 8 7 6 5 4 3 2 1 0
|
|---|
| 25 | 2 4 6 8 10
|
|---|
| 26 | 2.1 3.8 5.5 7.2 8.9
|
|---|
| 27 | 10 8 6 4 2 0
|
|---|
| 28 | 12.1 10.4 8.7 7. 5.3 3.6
|
|---|
| 29 |
|
|---|
| 30 | N N N N N N N N N N
|
|---|
| 31 | 0 1 2 3 4 5 6 7 8 9
|
|---|
| 32 | 0 1 2 3 4 5 6 7 8 9 10
|
|---|
| 33 | 10 9 8 7 6 5 4 3 2 1
|
|---|
| 34 |
|
|---|
| 35 | 3 6 9
|
|---|
| 36 |
|
|---|
| 37 | (0 0)(1 1)(2 2)(3 3)(4 4)(5 5)(6 6)(7 7)(8 8)(9 9)
|
|---|
| 38 | (0 0)(1 1)(2 2)(3 3)(4 4)(5 5)(6 6)(7 7)(8 8)(9 9)
|
|---|
| 39 |
|
|---|
| 40 | (0 0)(1 1)(2 2)(3 3)(4 4)(5 5)(6 6)(7 7)(8 8)(9 9)
|
|---|
| 41 | (0 0)(1 1)(2 2)(3 3)(4 4)(5 5)(6 6)(7 7)(8 8)(9 9)
|
|---|
| 42 | (0 0)(1 1)(2 2)(3 3)(4 4)(5 5)(6 6)(7 7)(8 8)(9 9)(10 10)
|
|---|
| 43 | (0 0)(1 1)(2 2)(3 3)(4 4)(5 5)(6 6)(7 7)(8 8)(9 9)(10 10)
|
|---|
| 44 |
|
|---|
| 45 | (10 10)(9 9)(8 8)(7 7)(6 6)(5 5)(4 4)(3 3)(2 2)(1 1)
|
|---|
| 46 | (10 10)(9 9)(8 8)(7 7)(6 6)(5 5)(4 4)(3 3)(2 2)(1 1)
|
|---|
| 47 | (10 10)(9 9)(8 8)(7 7)(6 6)(5 5)(4 4)(3 3)(2 2)(1 1)(0 0)
|
|---|
| 48 | (10 10)(9 9)(8 8)(7 7)(6 6)(5 5)(4 4)(3 3)(2 2)(1 1)(0 0)
|
|---|
| 49 |
|
|---|
| 50 | 0 -5 1 -4 2 -3 3 -2 4 -1 5 0 6 1 7 2 8 3 9 4
|
|---|
| 51 | 0 -5 1 -6 2 -7 3 -8 4 -9 5 -10 6 -11 7 -12 8 -13 9 -14
|
|---|
| 52 | 0 -5 1 -3 2 -1 3 1 4 3 5 5 6 7 7 9 8 11 9 13
|
|---|
| 53 | 0 -5 1 -7 2 -9 3 -11 4 -13 5 -15 6 -17 7 -19 8 -21 9 -23
|
|---|
| 54 |
|
|---|
| 55 | 0 -5 1 -4 2 -3 3 -2 4 -1 5 0 6 1 7 2 8 3 9 4
|
|---|
| 56 | 0 -5 1 -6 2 -7 3 -8 4 -9 5 -10 6 -11 7 -12 8 -13 9 -14
|
|---|
| 57 | 0 -5 1 -3 2 -1 3 1 4 3 5 5 6 7 7 9 8 11 9 13
|
|---|
| 58 | 0 -5 1 -7 2 -9 3 -11 4 -13 5 -15 6 -17 7 -19 8 -21 9 -23
|
|---|
| 59 |
|
|---|
| 60 | 0 -5 1.5 1 -7 2.5 2 -9 3.5 3 -11 4.5 4 -13 5.5 5 -15 6.5 6 -17 7.5 7 -19 8.5 8 -21 9.5 9 -23 10.5
|
|---|
| 61 | 0 -5 1.5 1 -7 2.5 2 -9 3.5 3 -11 4.5 4 -13 5.5 5 -15 6.5 6 -17 7.5 7 -19 8.5 8 -21 9.5 9 -23 10.5
|
|---|
| 62 | 0 -5 1.5 1 -7 2.5 2 -9 3.5 3 -11 4.5 4 -13 5.5 5 -15 6.5 6 -17 7.5 7 -19 8.5 8 -21 9.5 9 -23 10.5
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
