Skip to content

Commit 46cbcdc

Browse files
committed
Checkpoint functional flows and native coverage image tooling
1 parent 87eb461 commit 46cbcdc

527 files changed

Lines changed: 8630 additions & 2284 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎benchmarks/KeyLoad.BenchmarkScenarios/Features/BenchmarkComparisons/Configuration/BenchmarkArtifactOptions.cs‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,8 @@ internal sealed class BenchmarkArtifactOptions
1515

1616
internal bool IsValid()
1717
{
18-
if (string.IsNullOrWhiteSpace(SampleChunkDirectory)) { return true; }
18+
if (string.IsNullOrWhiteSpace(SampleChunkDirectory))
19+
{ return true; }
1920
if (!IsHex(SourceHead, GitShaLength) || !IsHex(SourceInventorySha256, Sha256Length))
2021
{ throw new InvalidOperationException(InvalidSource); }
2122
return true;

‎benchmarks/KeyLoad.BenchmarkScenarios/Features/BenchmarkComparisons/Configuration/BenchmarkScenarioSelectionRegistration.cs‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,8 @@ internal static class BenchmarkScenarioSelectionRegistration
2020

2121
internal static int RecordCount(BenchmarkScenarioSelectionOptions snapshot)
2222
{
23-
if (snapshot.RecordCount is null) { return BenchmarkScenarioSelectionOptions.HundredThousandRecords; }
23+
if (snapshot.RecordCount is null)
24+
{ return BenchmarkScenarioSelectionOptions.HundredThousandRecords; }
2425
if (int.TryParse(snapshot.RecordCount, NumberStyles.None, CultureInfo.InvariantCulture, out var count)
2526
&& count is BenchmarkScenarioSelectionOptions.HundredThousandRecords or BenchmarkScenarioSelectionOptions.OneMillionRecords)
2627
{ return count; }
@@ -45,7 +46,8 @@ private static IOptions<BenchmarkScenarioSelectionOptions> Read(bool scaled)
4546
private static bool Validate(BenchmarkScenarioSelectionOptions snapshot, bool scaled)
4647
{
4748
ValidateEngine(snapshot.Engine, scaled);
48-
if (scaled) { _ = RecordCount(snapshot); }
49+
if (scaled)
50+
{ _ = RecordCount(snapshot); }
4951
return true;
5052
}
5153

‎benchmarks/KeyLoad.BenchmarkScenarios/Features/BenchmarkComparisons/Fixtures/ScaledStorage/ScaledRawStorageFixture.cs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
using System.Diagnostics;
2-
using Microsoft.Extensions.Options;
32
using System.Runtime.ExceptionServices;
3+
using Microsoft.Extensions.Options;
44

55
namespace KeyLoad.BenchmarkScenarios.Features.BenchmarkComparisons;
66

‎benchmarks/KeyLoad.BenchmarkScenarios/Features/BenchmarkComparisons/Fixtures/ScaledStorage/ScaledRawStorageVerification.cs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
using System.Diagnostics;
2-
using Microsoft.Extensions.Options;
32
using System.Security.Cryptography;
3+
using Microsoft.Extensions.Options;
44

55
namespace KeyLoad.BenchmarkScenarios.Features.BenchmarkComparisons;
66

‎benchmarks/KeyLoad.ComparisonHost/Features/BenchmarkComparisons/Configuration/IsolatedOpenLoopSettings.cs‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -25,10 +25,12 @@ internal static IOptions<IsolatedOpenLoopSelection> ReadOptions(IConfiguration c
2525
var proofText = configuration[ProofSetting];
2626
if (selection.OpenLoopRate is not { } rate)
2727
{
28-
if (proofText is not null) { throw Invalid(); }
28+
if (proofText is not null)
29+
{ throw Invalid(); }
2930
return null;
3031
}
31-
if (proofText is not null && proofText != ProofSelected) { throw Invalid(); }
32+
if (proofText is not null && proofText != ProofSelected)
33+
{ throw Invalid(); }
3234
var profile = selection.ScaledProfile ?? throw Invalid();
3335
var proof = proofText is not null;
3436
if (proof && (selection.Target != IsolatedHostConstants.KeyLoad

‎benchmarks/KeyLoad.ComparisonHost/Features/BenchmarkComparisons/Configuration/NativeComparisonExecutionRegistration.cs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
using KeyLoad.Comparisons;
21
using KeyLoad.Client;
2+
using KeyLoad.Comparisons;
33
using Microsoft.Extensions.Configuration;
44
using Microsoft.Extensions.Options;
55

‎benchmarks/KeyLoad.ComparisonHost/Features/BenchmarkComparisons/Hosting/ComparisonApplication.cs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
using KeyLoad.Comparisons;
2-
using Microsoft.Extensions.Options;
32
using Microsoft.Extensions.Configuration;
3+
using Microsoft.Extensions.Options;
44

55
namespace KeyLoad.ComparisonHost.Features.BenchmarkComparisons;
66

‎benchmarks/KeyLoad.ComparisonHost/Features/BenchmarkComparisons/Hosting/ComparisonTargetOwner.cs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
using System.Diagnostics;
22
using System.Net.Http.Headers;
3-
using Microsoft.Extensions.Options;
4-
using KeyLoad.Comparisons;
53
using KeyLoad.Client;
4+
using KeyLoad.Comparisons;
65
using KeyLoad.Comparisons.Targets;
6+
using Microsoft.Extensions.Options;
77

88
namespace KeyLoad.ComparisonHost.Features.BenchmarkComparisons;
99

‎benchmarks/KeyLoad.ComparisonHost/Features/BenchmarkComparisons/Hosting/IsolatedHostTargetOwner.cs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
using System.Net.Http.Headers;
22
using System.Text;
3-
using Microsoft.Extensions.Options;
4-
using KeyLoad.Comparisons;
53
using KeyLoad.Client;
4+
using KeyLoad.Comparisons;
65
using KeyLoad.Comparisons.Targets;
6+
using Microsoft.Extensions.Options;
77

88
namespace KeyLoad.ComparisonHost.Features.BenchmarkComparisons;
99

‎benchmarks/KeyLoad.ComparisonHost/Features/BenchmarkComparisons/Hosting/IsolatedOpenLoopHostApplication.cs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ internal static async Task<int> RunAsync(IsolatedHostTargetOwner owner, Isolated
2323
openLoop.ExecutionOptions, owner.ExecutionOptions, Console.WriteLine);
2424
var report = await runner.RunAsync(target, settings.Worker, settings.Storage, cancellationToken)
2525
.ConfigureAwait(false);
26-
_ = await OpenLoopEvidenceWriter.WriteAsync(settings.OutputDirectory, report, cancellationToken)
26+
_ = await OpenLoopEvidenceWriter.WriteAsync(settings.OutputDirectory, report, owner.ExecutionOptions, cancellationToken)
2727
.ConfigureAwait(false);
2828
return HasFailedMeasurement(report)
2929
? ComparisonHostConstants.FailedExitCode : ComparisonHostConstants.SuccessfulExitCode;

0 commit comments

Comments
 (0)