Backfilled tests.

- FOXStrictPositiveInteger
- FOXFamousStrictPositiveInteger
- FOXStrictNegativeInteger
- FOXFamousStrictNegativeInteger

Author: jeffh

Fox.xcodeproj/project.pbxproj

@@ -260,6 +260,10 @@
 		1FFCE5681A80B90700A427AA /* FOXLimits.h in Headers */ = {isa = PBXBuildFile; fileRef = 1FFCE5651A80B90700A427AA /* FOXLimits.h */; };
 		1FFCE5691A80B90700A427AA /* FOXLimits.mm in Sources */ = {isa = PBXBuildFile; fileRef = 1FFCE5661A80B90700A427AA /* FOXLimits.mm */; };
 		1FFCE56A1A80B90700A427AA /* FOXLimits.mm in Sources */ = {isa = PBXBuildFile; fileRef = 1FFCE5661A80B90700A427AA /* FOXLimits.mm */; };
+		1FFCE56C1A81DF8300A427AA /* FOXStrictPositiveIntegerSpec.mm in Sources */ = {isa = PBXBuildFile; fileRef = 1FFCE56B1A81DF8300A427AA /* FOXStrictPositiveIntegerSpec.mm */; };
+		1FFCE56D1A81DF8300A427AA /* FOXStrictPositiveIntegerSpec.mm in Sources */ = {isa = PBXBuildFile; fileRef = 1FFCE56B1A81DF8300A427AA /* FOXStrictPositiveIntegerSpec.mm */; };
+		1FFCE56F1A81E13400A427AA /* FOXStrictNegativeIntegerSpec.mm in Sources */ = {isa = PBXBuildFile; fileRef = 1FFCE56E1A81E13400A427AA /* FOXStrictNegativeIntegerSpec.mm */; };
+		1FFCE5701A81E13400A427AA /* FOXStrictNegativeIntegerSpec.mm in Sources */ = {isa = PBXBuildFile; fileRef = 1FFCE56E1A81E13400A427AA /* FOXStrictNegativeIntegerSpec.mm */; };
 /* End PBXBuildFile section */
 
 /* Begin PBXContainerItemProxy section */
@@ -383,6 +387,8 @@
 		1FF6737D1A2AC7E200F98D20 /* UIKit.framework */ = {isa = PBXFileReference; lastKnownFileType = wrapper.framework; name = UIKit.framework; path = System/Library/Frameworks/UIKit.framework; sourceTree = SDKROOT; };
 		1FFCE5651A80B90700A427AA /* FOXLimits.h */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.c.h; name = FOXLimits.h; path = Fox/Private/FOXLimits.h; sourceTree = SOURCE_ROOT; };
 		1FFCE5661A80B90700A427AA /* FOXLimits.mm */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.objcpp; name = FOXLimits.mm; path = Fox/Private/FOXLimits.mm; sourceTree = SOURCE_ROOT; };
+		1FFCE56B1A81DF8300A427AA /* FOXStrictPositiveIntegerSpec.mm */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.objcpp; name = FOXStrictPositiveIntegerSpec.mm; path = FoxSpecs/Public/Generators/FOXStrictPositiveIntegerSpec.mm; sourceTree = SOURCE_ROOT; };
+		1FFCE56E1A81E13400A427AA /* FOXStrictNegativeIntegerSpec.mm */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.objcpp; name = FOXStrictNegativeIntegerSpec.mm; path = FoxSpecs/Public/Generators/FOXStrictNegativeIntegerSpec.mm; sourceTree = SOURCE_ROOT; };
 		31B730183A626AD19A2B366E /* FOXSequence.h */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.c.h; path = FOXSequence.h; sourceTree = "<group>"; };
 		31B73029745CB5B325095CB3 /* QueueAddTransition.m */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.c.objc; path = QueueAddTransition.m; sourceTree = "<group>"; };
 		31B7303EEEA0827C94541FB4 /* FOXStateMachine.h */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.c.h; path = FOXStateMachine.h; sourceTree = "<group>"; };
@@ -683,6 +689,8 @@
 				1F8FDC021989FED70059D31A /* FOXStringSpec.mm */,
 				1FA94A35199606F800803AF3 /* FOXSuchThatSpec.mm */,
 				1F35BC2D198DB6AA00BEA6E1 /* FOXTupleGeneratorSpec.mm */,
+				1FFCE56B1A81DF8300A427AA /* FOXStrictPositiveIntegerSpec.mm */,
+				1FFCE56E1A81E13400A427AA /* FOXStrictNegativeIntegerSpec.mm */,
 			);
 			path = Generators;
 			sourceTree = "<group>";
@@ -1083,6 +1091,7 @@
 				1F38B6D71A2ACCF10078FF90 /* FOXRandomSpec.mm in Sources */,
 				1F38B6CD1A2ACCDF0078FF90 /* NSArray+FastEnumerator.m in Sources */,
 				1F71D4FA1A3143A70017E81A /* FOXResizeSpec.mm in Sources */,
+				1FFCE56F1A81E13400A427AA /* FOXStrictNegativeIntegerSpec.mm in Sources */,
 				1F38B6D91A2ACCF10078FF90 /* FOXRoseTreeSpec.mm in Sources */,
 				1F38B6E61A2ACCF10078FF90 /* FOXSuchThatSpec.mm in Sources */,
 				1F38B6E51A2ACCF10078FF90 /* FOXFiniteStateMachineSpec.mm in Sources */,
@@ -1102,6 +1111,7 @@
 				1F38B6E11A2ACCF10078FF90 /* FOXSetSpec.mm in Sources */,
 				1F38B6DB1A2ACCF10078FF90 /* FOXChooseSpec.mm in Sources */,
 				1F38B6D41A2ACCE80078FF90 /* QueueAddTransition.m in Sources */,
+				1FFCE56C1A81DF8300A427AA /* FOXStrictPositiveIntegerSpec.mm in Sources */,
 				1F38B6DF1A2ACCF10078FF90 /* FOXPositiveIntegerSpec.mm in Sources */,
 				1F38B6D61A2ACCE80078FF90 /* FOXSpecHelper.m in Sources */,
 				1F38B6DC1A2ACCF10078FF90 /* FOXDictionarySpec.mm in Sources */,
@@ -1172,6 +1182,7 @@
 				1F38B6E91A2ACCF20078FF90 /* FOXRandomSpec.mm in Sources */,
 				1F38B6CE1A2ACCE00078FF90 /* NSArray+FastEnumerator.m in Sources */,
 				1F71D4FB1A3143A70017E81A /* FOXResizeSpec.mm in Sources */,
+				1FFCE5701A81E13400A427AA /* FOXStrictNegativeIntegerSpec.mm in Sources */,
 				1F38B6EB1A2ACCF20078FF90 /* FOXRoseTreeSpec.mm in Sources */,
 				1F38B6F81A2ACCF20078FF90 /* FOXSuchThatSpec.mm in Sources */,
 				1F38B6F71A2ACCF20078FF90 /* FOXFiniteStateMachineSpec.mm in Sources */,
@@ -1191,6 +1202,7 @@
 				1F38B6F31A2ACCF20078FF90 /* FOXSetSpec.mm in Sources */,
 				1F38B6ED1A2ACCF20078FF90 /* FOXChooseSpec.mm in Sources */,
 				1F38B6D01A2ACCE70078FF90 /* QueueAddTransition.m in Sources */,
+				1FFCE56D1A81DF8300A427AA /* FOXStrictPositiveIntegerSpec.mm in Sources */,
 				1F38B6F11A2ACCF20078FF90 /* FOXPositiveIntegerSpec.mm in Sources */,
 				1F38B6D21A2ACCE70078FF90 /* FOXSpecHelper.m in Sources */,
 				1F38B6EE1A2ACCF20078FF90 /* FOXDictionarySpec.mm in Sources */,

FoxSpecs/Public/Generators/FOXStrictNegativeIntegerSpec.mm

@@ -0,0 +1,50 @@
+#import <Cedar.h>
+#import "Fox.h"
+#import "FOXSpecHelper.h"
+
+using namespace Cedar::Matchers;
+using namespace Cedar::Doubles;
+
+SPEC_BEGIN(FOXStrictNegativeIntegerSpec)
+
+describe(@"FOXStrictNegativeInteger", ^{
+    it(@"should generate negative numbers, excluding zero", ^{
+        FOXAssert(FOXForAll(FOXStrictNegativeInteger(), ^BOOL(NSNumber *value) {
+            return [value integerValue] < 0;
+        }));
+    });
+
+    it(@"should shrink to -1", ^{
+        FOXRunnerResult *result = [FOXSpecHelper shrunkResultForAll:FOXStrictNegativeInteger()];
+
+        result.succeeded should be_falsy;
+        result.smallestFailingValue should equal(@(-1));
+    });
+});
+
+describe(@"FOXFamousStrictNegativeInteger", ^{
+    it(@"should generate INT_MIN more frequently", ^{
+        __block BOOL hasSeenIntMin = NO;
+        FOXAssert(FOXForAll(FOXFamousStrictNegativeInteger(), ^BOOL(NSNumber *value) {
+            hasSeenIntMin = hasSeenIntMin || [value integerValue] == INT_MIN;
+            return [value integerValue] < 0;
+        }));
+
+        hasSeenIntMin should be_truthy;
+    });
+
+    it(@"should generate negative numbers, excluding zero", ^{
+        FOXAssert(FOXForAll(FOXFamousStrictNegativeInteger(), ^BOOL(NSNumber *value) {
+            return [value integerValue] < 0;
+        }));
+    });
+
+    it(@"should shrink to -1", ^{
+        FOXRunnerResult *result = [FOXSpecHelper shrunkResultForAll:FOXFamousStrictNegativeInteger()];
+
+        result.succeeded should be_falsy;
+        result.smallestFailingValue should equal(@(-1));
+    });
+});
+
+SPEC_END

FoxSpecs/Public/Generators/FOXStrictPositiveIntegerSpec.mm

@@ -0,0 +1,50 @@
+#import <Cedar.h>
+#import "Fox.h"
+#import "FOXSpecHelper.h"
+
+using namespace Cedar::Matchers;
+using namespace Cedar::Doubles;
+
+SPEC_BEGIN(FOXStrictPositiveIntegerSpec)
+
+describe(@"FOXStrictPositiveInteger", ^{
+    it(@"should generate positive numbers, excluding zero", ^{
+        FOXAssert(FOXForAll(FOXStrictPositiveInteger(), ^BOOL(NSNumber *value) {
+            return [value integerValue] > 0;
+        }));
+    });
+
+    it(@"should shrink to 1", ^{
+        FOXRunnerResult *result = [FOXSpecHelper shrunkResultForAll:FOXStrictPositiveInteger()];
+
+        result.succeeded should be_falsy;
+        result.smallestFailingValue should equal(@1);
+    });
+});
+
+describe(@"FOXFamousStrictPositiveInteger", ^{
+    it(@"should generate INT_MAX more frequently", ^{
+        __block BOOL hasSeenIntMax = NO;
+        FOXAssert(FOXForAll(FOXFamousStrictPositiveInteger(), ^BOOL(NSNumber *value) {
+            hasSeenIntMax = hasSeenIntMax || [value integerValue] == INT_MAX;
+            return [value integerValue] > 0;
+        }));
+
+        hasSeenIntMax should be_truthy;
+    });
+
+    it(@"should generate positive numbers, excluding zero", ^{
+        FOXAssert(FOXForAll(FOXFamousStrictPositiveInteger(), ^BOOL(NSNumber *value) {
+            return [value integerValue] > 0;
+        }));
+    });
+
+    it(@"should shrink to 1", ^{
+        FOXRunnerResult *result = [FOXSpecHelper shrunkResultForAll:FOXFamousStrictPositiveInteger()];
+
+        result.succeeded should be_falsy;
+        result.smallestFailingValue should equal(@1);
+    });
+});
+
+SPEC_END