Print the end-of-run performance table once after a completed run.
This wrapper keeps the policy in one place for the legacy runtime driver,
the session API, and the C ABI: only completed runs emit the heavier
summary, and only when do_timing explicitly enables it.
| Type | Intent | Optional | Attributes | Name | ||
|---|---|---|---|---|---|---|
| type(solver_run_context_t), | intent(inout) | :: | ctx |
Solver context (read-only except for the once-only guard flag). |