File tree Expand file tree Collapse file tree 1 file changed +8
-3
lines changed
src/benchmark/framework/benchmarkingCore Expand file tree Collapse file tree 1 file changed +8
-3
lines changed Original file line number Diff line number Diff line change @@ -130,7 +130,6 @@ export async function executeBenchmarkingTask(
130
130
proofsChecker ,
131
131
abortSignal
132
132
) ;
133
- Logging . logRoundResult ( result , itemLogger ) ;
134
133
return result ;
135
134
}
136
135
@@ -156,17 +155,20 @@ export async function executeBenchmarkingTask(
156
155
roundNumber
157
156
) ;
158
157
nextGeneratedProofId += childRoundResult . generatedProofs . length ;
158
+
159
159
if ( parentProof === undefined ) {
160
- // roundIndex === 0
161
160
rootResult = childRoundResult ;
162
161
} else {
162
+ // link target proof and the result of its proof-fix generation
163
163
parentProof . benchmarkedProof . linkNextRoundResult (
164
164
childRoundResult
165
165
) ;
166
166
childRoundResult . linkParentProofToFix (
167
167
parentProof . benchmarkedProof
168
168
) ;
169
169
}
170
+
171
+ Logging . logRoundResult ( childRoundResult , itemLogger ) ;
170
172
ArtifactsUtils . saveRoundResultToFileOrThrow (
171
173
childRoundResult ,
172
174
joinPaths (
@@ -178,7 +180,10 @@ export async function executeBenchmarkingTask(
178
180
)
179
181
) ;
180
182
181
- if ( childRoundResult . isFailedToFinishRound ( ) ) {
183
+ if (
184
+ childRoundResult . isFailedToFinishRound ( ) ||
185
+ childRoundResult . isSuccessfulCompletion ( )
186
+ ) {
182
187
/**
183
188
* There are different policies of what to do when one of the proof-fixing rounds has failed,
184
189
* but here the following is chosen: to return the benchmarking result "generally" failed to finish
You can’t perform that action at this time.
0 commit comments