Add tests for propertyCheck function

Author: x-sheep

Tests/PropertyBasedTests/FixedSeedTests.swift

@@ -6,24 +6,10 @@
 //
 
 import Testing
-@testable import PropertyBased
+import PropertyBased
 import Gen
 
 @Suite struct FixedSeedTests {
-    private func gatherIssues(block: @Sendable () async -> Void) async -> [Issue] {
-        let mutex = Mutex([] as [Issue])
-
-        // No way to stop issues from still being recorded. Ignore those for now.
-        await withKnownIssue {
-            await block()
-        } matching: { issue in
-            mutex.withLock { $0.append(issue) }
-            return true
-        }
-        
-        return mutex.withLock { $0 }
-    }
-    
     @Test(.fixedSeed("qwert"))
     func testInvalidSeed() async {
         let issues = await gatherIssues {

Tests/PropertyBasedTests/PropertyCheckTests.swift

@@ -0,0 +1,63 @@
+//
+//  PropertyCheckTests.swift
+//  PropertyBased
+//
+//  Created by Lennard Sprong on 06/05/2025.
+//
+
+import Testing
+@testable import PropertyBased
+
+@Suite struct PropertyCheckTests {
+    @Test func testFunctionIsCalledWithInputs() async {
+        let mutex = Mutex((a: 0, b: 0))
+        
+        await propertyCheck(input: .bool) { bool in
+            mutex.withLock {
+                if bool {
+                    $0.a += 1
+                } else {
+                    $0.b += 1
+                }
+            }
+        }
+        
+        let counts = mutex.withLock { $0 }
+        #expect(counts.a > 0 && counts.b > 0)
+        #expect(counts.a + counts.b == 100)
+    }
+    
+    @Test func testCountParameter() async {
+        await confirmation(expectedCount: 12) { confirm in
+            await propertyCheck(count: 12) {
+                confirm()
+            }
+        }
+        
+        await confirmation(expectedCount: 7) { confirm in
+            await propertyCheck(count: 7) {
+                confirm()
+            }
+        }
+    }
+    
+    @Test func testIssuesArePropagated() async {
+        let issues = await gatherIssues {
+            await propertyCheck(input: .int(in: 0...10)) { a in
+                try #require(a > 20)
+                #expect(a > 50)
+            }
+        }
+        
+        #expect(issues.contains(where: {
+            $0.description.contains("> 20")
+        }))
+        #expect(issues.contains(where: {
+            $0.description.contains("to reproduce this issue")
+        }))
+        
+        #expect(!issues.contains(where: {
+            $0.description.contains("> 50")
+        }))
+    }
+}

Tests/PropertyBasedTests/Utils.swift

@@ -0,0 +1,23 @@
+//
+//  Utils.swift
+//  PropertyBased
+//
+//  Created by Lennard Sprong on 06/05/2025.
+//
+
+import Testing
+@testable import PropertyBased
+
+func gatherIssues(block: @Sendable () async -> Void) async -> [Issue] {
+    let mutex = Mutex([] as [Issue])
+
+    // No way to stop issues from still being recorded. Ignore those for now.
+    await withKnownIssue {
+        await block()
+    } matching: { issue in
+        mutex.withLock { $0.append(issue) }
+        return true
+    }
+    
+    return mutex.withLock { $0 }
+}