="n">tactic_sources</span><span class="o">=</span><span class="bp">self</span><span class="o">.</span><span class="n">lower_setting</span><span class="o">.</span><span class="n">tactic_sources</span><span class="p">,</span>
        <span class="p">)</span>

        <span class="c1"># Update timing cache file if needed</span>
        <span class="n">timing_cache</span> <span class="o">=</span> <span class="n">interp_result</span><span class="o">.</span><span class="n">serialized_cache</span>
        <span cl