github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 18:23:44 +03:00
Code Issues Projects Releases Wiki Activity

Test that differences differ.

Browse Source
This commit is contained in:
Rob Rix 2015-10-16 17:46:12 -04:00
parent c57d43c48b
commit 6ac949fe4b
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
prototype/DoubtTests/DiffTests.swift
View File

@ -14,6 +14,13 @@ final class DiffTests: XCTestCase {
}
}
func testInequalTermsProduceNonIdentityDiffs() {
property("inequal terms produce non-identity diffs") <- forAll { (diff: RangedDiff) in
// fixme: limit this to inequal terms
Diff.sum(const(1))(diff.diff) > 0
}
}
func testEqualityIsReflexive() {
property("equality is reflexive") <- forAll { (diff: RangedDiff) in
equal(diff.diff, diff.diff)