github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 01:42:43 +03:00
Code Issues Projects Releases Wiki Activity

Skip equal terms.

Browse Source
This commit is contained in:
Rob Rix 2015-10-19 09:52:15 -04:00
parent 9bebb438ae
commit 0cc7889ae1
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
prototype/DoubtTests/DiffTests.swift
View File

@ -16,8 +16,7 @@ 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
(!Term.equals(annotation: const(true), leaf: ==)(diff.a, diff.b)) ==> Diff.sum(const(1))(diff.diff) > 0
}
}