From c77c3dc8fef95b1f719175a2fbded07d82555389 Mon Sep 17 00:00:00 2001 From: kilfour Date: Thu, 27 Nov 2025 13:48:44 +0100 Subject: [PATCH 1/2] using quickcheckr --- .../QuickFuzzr.Benchmarks.csproj | 2 +- QuickFuzzr.Tests/QuickFuzzr.Tests.csproj | 6 +-- QuickFuzzr.Tests/_Tools/CheckIf.cs | 43 +++++++++---------- 3 files changed, 25 insertions(+), 26 deletions(-) diff --git a/QuickFuzzr.Benchmarks/QuickFuzzr.Benchmarks.csproj b/QuickFuzzr.Benchmarks/QuickFuzzr.Benchmarks.csproj index 61a728f..d22a8af 100644 --- a/QuickFuzzr.Benchmarks/QuickFuzzr.Benchmarks.csproj +++ b/QuickFuzzr.Benchmarks/QuickFuzzr.Benchmarks.csproj @@ -9,7 +9,7 @@ - + diff --git a/QuickFuzzr.Tests/QuickFuzzr.Tests.csproj b/QuickFuzzr.Tests/QuickFuzzr.Tests.csproj index fdbb1de..f1f236b 100644 --- a/QuickFuzzr.Tests/QuickFuzzr.Tests.csproj +++ b/QuickFuzzr.Tests/QuickFuzzr.Tests.csproj @@ -20,9 +20,9 @@ - + - + @@ -30,7 +30,7 @@ - + diff --git a/QuickFuzzr.Tests/_Tools/CheckIf.cs b/QuickFuzzr.Tests/_Tools/CheckIf.cs index 1735ebb..c105903 100644 --- a/QuickFuzzr.Tests/_Tools/CheckIf.cs +++ b/QuickFuzzr.Tests/_Tools/CheckIf.cs @@ -1,9 +1,8 @@ using System.Diagnostics; -using QuickAcid; -using QuickAcid.Bolts; +using QuickCheckr; +using QuickCheckr.UnderTheHood; using QuickFuzzr; using QuickPulse; -using StringExtensionCombinators; namespace QuickFuzzr.Tests._Tools; @@ -37,17 +36,17 @@ public static void GeneratedValuesShouldEventuallySatisfyAll( params (string, Func)[] labeledChecks) { var signal = Signal.From(a => Pulse.Trace(a!)); - var run = - from inspector in "inspector".Stashed( + var check = + from inspector in Trackr.Stashed( () => signal.SetAndReturnArtery(new DistinctValueInspector())) - from input in "Fuzzr".Input(fuzzr) - from inspect in "Inspect".Act(() => signal.Pulse(input)) - from _e in "early exit".TestifyProvenWhen( + from input in Checkr.Input("Fuzzr", fuzzr) + from inspect in Checkr.Act("Inspect", () => signal.Pulse(input)) + from _e in Trackr.ProvenWhen("early exit", () => inspector.SeenSatisfyEach([.. labeledChecks.Select(a => a.Item2)])) - from _s in "Assayer".Assay( + from _s in Trackr.Assay("Assayer", [.. labeledChecks.Select(a => (a.Item1, (Func)(() => inspector.HasValueThatSatisfies(a.Item2))))]) - select Acid.Test; - QState.Run(run).WithOneRun().And(numberOfExecutions.ExecutionsPerRun()); + select Case.Closed; + check.Run(numberOfExecutions.ExecutionsPerRun()); } [StackTraceHidden] @@ -64,21 +63,21 @@ public static void GeneratedValuesShouldAllSatisfy( FuzzrOf fuzzr, params (string, Func)[] labeledChecks) { - var run = - from input in "Fuzzr".Input(fuzzr) - from t in "input".Trace(() => input.ToString()!) - from _ in CombineSpecs(input, labeledChecks) // Move this to QuickAcid - select Acid.Test; - QState.Run(run).WithOneRun().And(numberOfExecutions.ExecutionsPerRun()); + var check = + from input in Checkr.Input("Fuzzr", fuzzr) + from t in Checkr.Trace("input", () => input.ToString()!) + from _ in CombineSpecs(input, labeledChecks) // Move this to QuickCheckr maybe + select Case.Closed; + check.Run(numberOfExecutions.ExecutionsPerRun()); } - private static QAcidScript CombineSpecs(T input, IEnumerable<(string, Func)> checks) + private static CheckrOf CombineSpecs(T input, IEnumerable<(string, Func)> checks) { return checks - .Select(c => c.Item1.Spec(() => c.Item2(input))) - .Aggregate(Acc, (acc, next) => from _ in acc from __ in next select Acid.Test); + .Select(c => Checkr.Spec(c.Item1, () => c.Item2(input))) + .Aggregate(Acc, (acc, next) => from _ in acc from __ in next select Case.Closed); } - private static readonly QAcidScript Acc = - s => Vessel.AcidOnly(s); + private static readonly CheckrOf Acc = + s => CheckrResult.CaseOnly(s); } \ No newline at end of file From 9d1e2fc496271b384af3de10bb3749312c3f4f4a Mon Sep 17 00:00:00 2001 From: kilfour Date: Thu, 27 Nov 2025 16:04:20 +0100 Subject: [PATCH 2/2] grab the package --- QuickFuzzr.Tests/QuickFuzzr.Tests.csproj | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/QuickFuzzr.Tests/QuickFuzzr.Tests.csproj b/QuickFuzzr.Tests/QuickFuzzr.Tests.csproj index f1f236b..c3ff4fb 100644 --- a/QuickFuzzr.Tests/QuickFuzzr.Tests.csproj +++ b/QuickFuzzr.Tests/QuickFuzzr.Tests.csproj @@ -18,19 +18,18 @@ - - - - - - + + + + + - +