Commit 7ff966b
File tree
11 files changed
+148
-67
lines changed- Carthage/Checkouts
- Concurrent.xcodeproj
- ConcurrentTests
- Concurrent
11 files changed
+148
-67
lines changedSubmodule SwiftCheck updated 63 files
- .github/CONTRIBUTING.md+25
- .github/ISSUE_TEMPLATE.md+35
- .github/PULL_REQUEST_TEMPLATE.md+24
- .gitignore+1
- .travis.yml+58-9
- Cartfile.resolved+1-1
- Carthage/Checkouts/Operadics+1-1
- Package.swift+11
- README.md+88-5
- Sources/Arbitrary.swift+400
- Sources/CoArbitrary.swift+199
- Sources/Gen.swift+585
- Sources/Info.plist
- Sources/Lattice.swift+33-8
- Sources/Modifiers.swift+723
- Sources/Operators.swift+246
- Sources/Property.swift+292-208
- Sources/Random.swift+340
- Sources/Rose.swift+65-56
- Sources/State.swift+32-14
- Sources/SwiftCheck.h
- Sources/Test.swift+906
- Sources/TestOperators.swift+262
- Sources/Testable.swift+33-11
- Sources/Witness.swift+121
- Sources/WitnessedArbitrary.swift+365
- SwiftCheck.podspec+3-2
- SwiftCheck.xcodeproj/project.pbxproj+544-177
- SwiftCheck.xcodeproj/xcshareddata/xcschemes/SwiftCheck-iOS.xcscheme+7-7
- SwiftCheck.xcodeproj/xcshareddata/xcschemes/SwiftCheck-tvOS.xcscheme+99
- SwiftCheck.xcodeproj/xcshareddata/xcschemes/SwiftCheck.xcscheme+5-5
- SwiftCheck/Arbitrary.swift-792
- SwiftCheck/Check.swift-119
- SwiftCheck/Equatable.swift-43
- SwiftCheck/Gen.swift-412
- SwiftCheck/Modifiers.swift-484
- SwiftCheck/Random.swift-209
- SwiftCheck/Test.swift-658
- SwiftCheck/TestOperators.swift-120
- SwiftCheck/Witness.swift-61
- SwiftCheckTests/ComplexSpec.swift-79
- SwiftCheckTests/GenSpec.swift-113
- SwiftCheckTests/PropertySpec.swift-33
- SwiftCheckTests/SimpleSpec.swift-59
- Tests/BooleanIdentitySpec.swift+1-1
- Tests/ComplexSpec.swift+73
- Tests/DiscardSpec.swift+1-1
- Tests/FailureSpec.swift+63
- Tests/GenSpec.swift+327
- Tests/Info.plist
- Tests/LambdaSpec.swift+192
- Tests/ModifierSpec.swift+5-1
- Tests/PathSpec.swift+101
- Tests/PropertySpec.swift+153
- Tests/RawRepresentableSpec.swift+42
- Tests/ReplaySpec.swift+31
- Tests/RoseSpec.swift+146
- Tests/ShrinkSpec.swift+1-1
- Tests/SimpleSpec.swift+207
- Tests/TestSpec.swift+15-2
- Tutorial.playground/Contents.swift+124-108
- Tutorial.playground/contents.xcplayground+1-1
- Tutorial.playground/timeline.xctimeline-6
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
68 | 68 | | |
69 | 69 | | |
70 | 70 | | |
| 71 | + | |
| 72 | + | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
71 | 85 | | |
72 | 86 | | |
73 | 87 | | |
| |||
307 | 321 | | |
308 | 322 | | |
309 | 323 | | |
| 324 | + | |
| 325 | + | |
310 | 326 | | |
311 | 327 | | |
312 | 328 | | |
| |||
420 | 436 | | |
421 | 437 | | |
422 | 438 | | |
423 | | - | |
| 439 | + | |
424 | 440 | | |
425 | 441 | | |
426 | 442 | | |
427 | 443 | | |
| 444 | + | |
428 | 445 | | |
429 | 446 | | |
430 | 447 | | |
| 448 | + | |
431 | 449 | | |
432 | 450 | | |
433 | 451 | | |
| |||
464 | 482 | | |
465 | 483 | | |
466 | 484 | | |
| 485 | + | |
| 486 | + | |
| 487 | + | |
| 488 | + | |
| 489 | + | |
| 490 | + | |
| 491 | + | |
| 492 | + | |
| 493 | + | |
| 494 | + | |
| 495 | + | |
| 496 | + | |
| 497 | + | |
| 498 | + | |
467 | 499 | | |
468 | 500 | | |
469 | 501 | | |
| |||
638 | 670 | | |
639 | 671 | | |
640 | 672 | | |
| 673 | + | |
641 | 674 | | |
642 | 675 | | |
| 676 | + | |
643 | 677 | | |
644 | 678 | | |
645 | 679 | | |
| |||
648 | 682 | | |
649 | 683 | | |
650 | 684 | | |
| 685 | + | |
651 | 686 | | |
652 | 687 | | |
653 | 688 | | |
| |||
684 | 719 | | |
685 | 720 | | |
686 | 721 | | |
| 722 | + | |
687 | 723 | | |
688 | 724 | | |
| 725 | + | |
689 | 726 | | |
690 | 727 | | |
691 | 728 | | |
| |||
694 | 731 | | |
695 | 732 | | |
696 | 733 | | |
| 734 | + | |
697 | 735 | | |
698 | 736 | | |
699 | 737 | | |
| |||
703 | 741 | | |
704 | 742 | | |
705 | 743 | | |
| 744 | + | |
706 | 745 | | |
707 | 746 | | |
708 | 747 | | |
| |||
727 | 766 | | |
728 | 767 | | |
729 | 768 | | |
| 769 | + | |
730 | 770 | | |
731 | 771 | | |
732 | 772 | | |
| |||
748 | 788 | | |
749 | 789 | | |
750 | 790 | | |
| 791 | + | |
751 | 792 | | |
752 | 793 | | |
753 | 794 | | |
| |||
768 | 809 | | |
769 | 810 | | |
770 | 811 | | |
| 812 | + | |
771 | 813 | | |
772 | 814 | | |
773 | 815 | | |
| |||
784 | 826 | | |
785 | 827 | | |
786 | 828 | | |
| 829 | + | |
787 | 830 | | |
788 | 831 | | |
789 | 832 | | |
790 | 833 | | |
791 | 834 | | |
792 | 835 | | |
793 | | - | |
| 836 | + | |
794 | 837 | | |
795 | 838 | | |
796 | 839 | | |
| |||
812 | 855 | | |
813 | 856 | | |
814 | 857 | | |
| 858 | + | |
815 | 859 | | |
816 | 860 | | |
817 | 861 | | |
818 | 862 | | |
819 | 863 | | |
820 | 864 | | |
821 | 865 | | |
822 | | - | |
| 866 | + | |
823 | 867 | | |
824 | 868 | | |
825 | 869 | | |
| |||
837 | 881 | | |
838 | 882 | | |
839 | 883 | | |
| 884 | + | |
840 | 885 | | |
841 | 886 | | |
842 | 887 | | |
| |||
863 | 908 | | |
864 | 909 | | |
865 | 910 | | |
| 911 | + | |
866 | 912 | | |
867 | 913 | | |
868 | 914 | | |
| |||
883 | 929 | | |
884 | 930 | | |
885 | 931 | | |
| 932 | + | |
886 | 933 | | |
887 | 934 | | |
888 | 935 | | |
| |||
Lines changed: 5 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
37 | 37 | | |
38 | 38 | | |
39 | 39 | | |
| 40 | + | |
40 | 41 | | |
41 | 42 | | |
42 | | - | |
43 | | - | |
| 43 | + | |
44 | 44 | | |
45 | 45 | | |
46 | 46 | | |
| |||
66 | 66 | | |
67 | 67 | | |
68 | 68 | | |
| 69 | + | |
69 | 70 | | |
70 | 71 | | |
71 | 72 | | |
72 | 73 | | |
73 | | - | |
74 | 74 | | |
75 | 75 | | |
76 | 76 | | |
| |||
88 | 88 | | |
89 | 89 | | |
90 | 90 | | |
| 91 | + | |
91 | 92 | | |
92 | 93 | | |
93 | 94 | | |
94 | | - | |
95 | 95 | | |
96 | 96 | | |
97 | 97 | | |
| |||
Lines changed: 5 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
37 | 37 | | |
38 | 38 | | |
39 | 39 | | |
| 40 | + | |
40 | 41 | | |
41 | 42 | | |
42 | | - | |
43 | | - | |
| 43 | + | |
44 | 44 | | |
45 | 45 | | |
46 | 46 | | |
| |||
66 | 66 | | |
67 | 67 | | |
68 | 68 | | |
| 69 | + | |
69 | 70 | | |
70 | 71 | | |
71 | 72 | | |
72 | 73 | | |
73 | | - | |
74 | 74 | | |
75 | 75 | | |
76 | 76 | | |
| |||
88 | 88 | | |
89 | 89 | | |
90 | 90 | | |
| 91 | + | |
91 | 92 | | |
92 | 93 | | |
93 | 94 | | |
94 | | - | |
95 | 95 | | |
96 | 96 | | |
97 | 97 | | |
| |||
0 commit comments