Commit 2827502
File tree
5 files changed
+73
-22
lines changed- Carthage/Checkouts
- Swiftz.xcodeproj
5 files changed
+73
-22
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
2 | | - | |
3 | | - | |
4 | | - | |
5 | | - | |
6 | | - | |
7 | | - | |
8 | | - | |
9 | | - | |
10 | | - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
11 | 45 | | |
12 | 46 | | |
13 | 47 | | |
14 | 48 | | |
15 | 49 | | |
16 | 50 | | |
17 | 51 | | |
| 52 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
2 | | - | |
| 1 | + | |
| 2 | + | |
3 | 3 | | |
Submodule SwiftCheck updated 41 files
- .gitignore+1
- .travis.yml+15-3
- README.md+81-1
- Sources/Arbitrary.swift+9
- Sources/Check.swift-136
- Sources/CoArbitrary.swift+1-1
- Sources/Gen.swift+175-13
- Sources/Lattice.swift+12
- Sources/Modifiers.swift+96
- Sources/Property.swift+29-15
- Sources/Random.swift+3
- Sources/Rose.swift+5
- Sources/State.swift+2-2
- Sources/Test.swift+49-51
- Sources/TestOperators.swift+154-21
- Sources/Testable.swift+13
- Sources/Witness.swift+52
- Sources/WitnessedArbitrary.swift+55-11
- SwiftCheck.podspec+1-1
- SwiftCheck.xcodeproj/project.pbxproj+31-10
- SwiftCheck.xcodeproj/xcshareddata/xcschemes/SwiftCheck-iOS.xcscheme+1-1
- SwiftCheck.xcodeproj/xcshareddata/xcschemes/SwiftCheck-tvOS.xcscheme+1-1
- SwiftCheck.xcodeproj/xcshareddata/xcschemes/SwiftCheck.xcscheme+5-5
- Tests/ComplexSpec.swift+1-1
- Tests/FailureSpec.swift+1-1
- Tests/GenSpec.swift+114-4
- Tests/LambdaSpec.swift+2-2
- Tests/PathSpec.swift+1-1
- Tests/PropertySpec.swift+2-2
- Tests/RawRepresentableSpec.swift+42
- Tests/ReplaySpec.swift+1-1
- Tests/RoseSpec.swift+108-25
- Tests/SimpleSpec.swift+135-5
- Tutorial.playground/Contents.swift+1-1
- Tutorial.playground/contents.xcplayground+1-1
- script/LICENSE.md-18
- script/README.md-82
- script/bootstrap-47
- script/cibuild-173
- script/schemes.awk-10
- script/xctool.awk-25
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
912 | 912 | | |
913 | 913 | | |
914 | 914 | | |
| 915 | + | |
915 | 916 | | |
916 | 917 | | |
917 | 918 | | |
| 919 | + | |
918 | 920 | | |
919 | 921 | | |
920 | 922 | | |
| |||
1412 | 1414 | | |
1413 | 1415 | | |
1414 | 1416 | | |
| 1417 | + | |
1415 | 1418 | | |
1416 | | - | |
| 1419 | + | |
1417 | 1420 | | |
1418 | 1421 | | |
1419 | 1422 | | |
| |||
1432 | 1435 | | |
1433 | 1436 | | |
1434 | 1437 | | |
| 1438 | + | |
1435 | 1439 | | |
1436 | | - | |
| 1440 | + | |
1437 | 1441 | | |
1438 | 1442 | | |
1439 | 1443 | | |
| |||
1449 | 1453 | | |
1450 | 1454 | | |
1451 | 1455 | | |
1452 | | - | |
| 1456 | + | |
| 1457 | + | |
1453 | 1458 | | |
1454 | 1459 | | |
1455 | 1460 | | |
| |||
1463 | 1468 | | |
1464 | 1469 | | |
1465 | 1470 | | |
1466 | | - | |
| 1471 | + | |
| 1472 | + | |
1467 | 1473 | | |
1468 | 1474 | | |
1469 | 1475 | | |
| |||
1485 | 1491 | | |
1486 | 1492 | | |
1487 | 1493 | | |
| 1494 | + | |
1488 | 1495 | | |
1489 | | - | |
| 1496 | + | |
1490 | 1497 | | |
1491 | 1498 | | |
1492 | 1499 | | |
| |||
1506 | 1513 | | |
1507 | 1514 | | |
1508 | 1515 | | |
| 1516 | + | |
1509 | 1517 | | |
1510 | 1518 | | |
1511 | | - | |
| 1519 | + | |
1512 | 1520 | | |
1513 | 1521 | | |
1514 | 1522 | | |
| |||
1618 | 1626 | | |
1619 | 1627 | | |
1620 | 1628 | | |
| 1629 | + | |
1621 | 1630 | | |
1622 | 1631 | | |
1623 | 1632 | | |
| |||
1640 | 1649 | | |
1641 | 1650 | | |
1642 | 1651 | | |
| 1652 | + | |
1643 | 1653 | | |
1644 | 1654 | | |
1645 | 1655 | | |
| |||
1662 | 1672 | | |
1663 | 1673 | | |
1664 | 1674 | | |
| 1675 | + | |
1665 | 1676 | | |
1666 | 1677 | | |
1667 | 1678 | | |
| |||
1679 | 1690 | | |
1680 | 1691 | | |
1681 | 1692 | | |
| 1693 | + | |
1682 | 1694 | | |
1683 | 1695 | | |
1684 | 1696 | | |
| |||
1706 | 1718 | | |
1707 | 1719 | | |
1708 | 1720 | | |
| 1721 | + | |
1709 | 1722 | | |
1710 | 1723 | | |
1711 | 1724 | | |
| |||
1729 | 1742 | | |
1730 | 1743 | | |
1731 | 1744 | | |
| 1745 | + | |
1732 | 1746 | | |
1733 | 1747 | | |
1734 | 1748 | | |
| |||
1750 | 1764 | | |
1751 | 1765 | | |
1752 | 1766 | | |
1753 | | - | |
| 1767 | + | |
1754 | 1768 | | |
1755 | 1769 | | |
1756 | 1770 | | |
1757 | 1771 | | |
| 1772 | + | |
1758 | 1773 | | |
1759 | 1774 | | |
1760 | 1775 | | |
| |||
1769 | 1784 | | |
1770 | 1785 | | |
1771 | 1786 | | |
1772 | | - | |
| 1787 | + | |
1773 | 1788 | | |
1774 | 1789 | | |
1775 | 1790 | | |
1776 | 1791 | | |
| 1792 | + | |
1777 | 1793 | | |
1778 | 1794 | | |
1779 | 1795 | | |
| |||
0 commit comments