Skip to content

Commit 520ee90

Browse files
Rename variable
1 parent 0a44ba1 commit 520ee90

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

Source/ExecutionEngine/ExecutionEngine.cs

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -229,7 +229,7 @@ static readonly ConcurrentDictionary<string, TimeSpan>
229229
static readonly ConcurrentDictionary<string, CancellationTokenSource> RequestIdToCancellationTokenSource =
230230
new ConcurrentDictionary<string, CancellationTokenSource>();
231231

232-
static ThreadTaskScheduler Scheduler = new ThreadTaskScheduler(16 * 1024 * 1024);
232+
static ThreadTaskScheduler LargeStackScheduler = new ThreadTaskScheduler(16 * 1024 * 1024);
233233

234234
public static bool ProcessFiles(ExecutionEngineOptions options, IList<string> fileNames, bool lookForSnapshots = true, string programId = null)
235235
{
@@ -731,7 +731,8 @@ public static async Task<PipelineOutcome> InferAndVerify(ExecutionEngineOptions
731731
return outcome;
732732
}
733733

734-
private static async Task<PipelineOutcome> VerifyEachImplementation(ExecutionEngineOptions options, Program program, PipelineStatistics stats,
734+
private static async Task<PipelineOutcome> VerifyEachImplementation(ExecutionEngineOptions options,
735+
Program program, PipelineStatistics stats,
735736
string programId, ErrorReporterDelegate er, string requestId, Implementation[] stablePrioritizedImpls,
736737
Dictionary<string, Dictionary<string, Block>> extractLoopMappingInfo)
737738
{
@@ -792,7 +793,7 @@ async Task<VerificationResult> VerifyImplementationWithLargeStackScheduler(int i
792793
extractLoopMappingInfo, implementation,
793794
programId).Result, cts.Token, TaskCreationOptions.None);
794795

795-
coreTask.Start(Scheduler);
796+
coreTask.Start(LargeStackScheduler);
796797
var verificationResult = await coreTask.WaitAsync(CancellationToken.None);
797798
var output = verificationResult.Process(options.Printer, options, stats, er, implementation);
798799
outputCollector.Add(index, output);

0 commit comments

Comments
 (0)