File tree
20 files changed
+154
-97
lines changed- Carthage/Checkouts
- Sources/Swiftx
- Swiftx.xcodeproj
- Tests/SwiftxTests
20 files changed
+154
-97
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 | 7 |
| |
7 | 8 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| 7 | + | |
| 8 | + | |
| 9 | + |
+5-6
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 |
| - | |
| 8 | + | |
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
| |||
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
17 |
| - | |
| 17 | + | |
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
| |||
39 | 39 |
| |
40 | 40 |
| |
41 | 41 |
| |
42 |
| - | |
43 | 42 |
| |
44 |
| - | |
45 |
| - | |
46 |
| - | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
47 | 46 |
| |
48 | 47 |
| |
49 | 48 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
2 |
| - | |
| 1 | + | |
| 2 | + | |
| 3 | + |
Submodule SwiftCheck updated 53 files
- .gitignore+5
- .gitmodules+3
- .swift-version+1-1
- .travis.yml+7-7
- Cartfile+1
- Cartfile.resolved+1
- Carthage/Checkouts/FileCheck+1
- Package.swift+15-1
- README.md+14-15
- Sources/Cartesian.swift-896
- Sources/SwiftCheck/Arbitrary.swift+25-12
- Sources/SwiftCheck/Cartesian.swift+1.3k
- Sources/SwiftCheck/Check.swift+40-23
- Sources/SwiftCheck/CoArbitrary.swift+2-2
- Sources/SwiftCheck/Compose.swift+7-7
- Sources/SwiftCheck/Gen.swift+104-115
- Sources/SwiftCheck/Lattice.swift+2-2
- Sources/SwiftCheck/Modifiers.swift+14-11
- Sources/SwiftCheck/Property.swift+54-56
- Sources/SwiftCheck/Random.swift+31-25
- Sources/SwiftCheck/Rose.swift+2-2
- Sources/SwiftCheck/State.swift
- Sources/SwiftCheck/SwiftCheck.h
- Sources/SwiftCheck/Test.swift+6-5
- Sources/SwiftCheck/Testable.swift-1
- Sources/SwiftCheck/Witness.swift+27-27
- Sources/SwiftCheck/WitnessedArbitrary.swift+13-11
- SwiftCheck.podspec+2-2
- SwiftCheck.xcodeproj/project.pbxproj+401-329
- SwiftCheck.xcodeproj/xcshareddata/xcschemes/SwiftCheck-iOS.xcscheme+3-1
- SwiftCheck.xcodeproj/xcshareddata/xcschemes/SwiftCheck-tvOS.xcscheme+3-1
- SwiftCheck.xcodeproj/xcshareddata/xcschemes/SwiftCheck.xcscheme+3-1
- Templates/Cartesian.swift.gyb+24-10
- Templates/CartesianSpec.swift.gyb+6-3
- Tests/SwiftCheckTests/BooleanIdentitySpec.swift+3
- Tests/SwiftCheckTests/CartesianSpec.swift+24-21
- Tests/SwiftCheckTests/ComplexSpec.swift+6-3
- Tests/SwiftCheckTests/DiscardSpec.swift+3
- Tests/SwiftCheckTests/FailureSpec.swift+17-2
- Tests/SwiftCheckTests/FileCheck.swift-1.2k
- Tests/SwiftCheckTests/FormatterSpec.swift+6-3
- Tests/SwiftCheckTests/GenSpec.swift+34-31
- Tests/SwiftCheckTests/LambdaSpec.swift+17-14
- Tests/SwiftCheckTests/ModifierSpec.swift+4-1
- Tests/SwiftCheckTests/PathSpec.swift+5-3
- Tests/SwiftCheckTests/PropertySpec.swift+3
- Tests/SwiftCheckTests/ReplaySpec.swift+4-1
- Tests/SwiftCheckTests/RoseSpec.swift+7-2
- Tests/SwiftCheckTests/ShrinkSpec.swift+3
- Tests/SwiftCheckTests/SimpleSpec.swift+21-8
- Tests/SwiftCheckTests/TestSpec.swift+4-1
- Tutorial.playground/Contents.swift+9-9
- Utilities/compile.sh+1-1
+20-7
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 |
| - | |
9 |
| - | |
10 |
| - | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
11 | 24 |
| |
12 | 25 |
|
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
Large diffs are not rendered by default.
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
| 3 | + | |
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| |||
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
| 43 | + | |
43 | 44 |
| |
44 | 45 |
| |
45 | 46 |
| |
| |||
69 | 70 |
| |
70 | 71 |
| |
71 | 72 |
| |
| 73 | + | |
72 | 74 |
| |
73 | 75 |
| |
74 | 76 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
| 3 | + | |
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| |||
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
| 29 | + | |
29 | 30 |
| |
30 | 31 |
| |
31 | 32 |
| |
| |||
55 | 56 |
| |
56 | 57 |
| |
57 | 58 |
| |
| 59 | + | |
58 | 60 |
| |
59 | 61 |
| |
60 | 62 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
| 3 | + | |
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| |||
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
| 29 | + | |
29 | 30 |
| |
30 | 31 |
| |
31 | 32 |
| |
| |||
36 | 37 |
| |
37 | 38 |
| |
38 | 39 |
| |
| 40 | + | |
39 | 41 |
| |
40 | 42 |
| |
41 | 43 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
| 3 | + | |
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| |||
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
| 29 | + | |
29 | 30 |
| |
30 | 31 |
| |
31 | 32 |
| |
| |||
55 | 56 |
| |
56 | 57 |
| |
57 | 58 |
| |
| 59 | + | |
58 | 60 |
| |
59 | 61 |
| |
60 | 62 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
| 3 | + | |
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| |||
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
| 29 | + | |
29 | 30 |
| |
30 | 31 |
| |
31 | 32 |
| |
| |||
55 | 56 |
| |
56 | 57 |
| |
57 | 58 |
| |
| 59 | + | |
58 | 60 |
| |
59 | 61 |
| |
60 | 62 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
| 12 | + | |
| 13 | + | |
| 14 | + | |
12 | 15 |
| |
13 | 16 |
| |
14 | 17 |
| |
|
0 commit comments