Fix main generator happy path

0xPolygonHermez · May 22, 2024 · adaad04 · adaad04
1 parent 5edc257
commit adaad04
Show file tree

Hide file tree

Showing 5 changed files with 235 additions and 148 deletions.
diff --git a/src/executor/executor.cpp b/src/executor/executor.cpp
@@ -307,8 +307,10 @@ void Executor::processBatch (ProverRequest &proverRequest)
 #ifdef MAIN_SM_EXECUTOR_GENERATED_CODE
             if (config.useMainExecGenerated)
             {
+                TimerStart(MAIN_EXEC_GENERATED_FAST);
                 //zklog.info("Executor::processBatch() fork 10 generated");
                 fork_10::main_exec_generated_fast(mainExecutor_fork_10, proverRequest);
+                TimerStopAndLog(MAIN_EXEC_GENERATED_FAST);
             }
             else
 #endif