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

Construct much smaller terms.

Browse Source
This commit is contained in:
Rob Rix 2015-10-19 12:44:59 -04:00
parent 82b7518809
commit a19101b89c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
prototype/DoubtTests/UnannotatedTerm.swift
View File

@ -90,7 +90,7 @@ extension UnannotatedTerm: Arbitrary {
}
static var arbitrary: Gen<UnannotatedTerm> {
return arbitrary(7)
return arbitrary(4)
}