FEniCS / ffcx / 35657372936

86%

main: 88%

push

github

options: only pretty-print option values when INFO is enabled (#888)

get_options() unconditionally called pprint.pformat(options) to build an
INFO log record. The default verbosity is WARNING, so the record is
discarded, but the formatting still ran: it accounts for essentially all
of get_options() (0.042 ms of 0.042 ms measured).

get_options() runs twice per compile_forms(), so this is ~0.084 ms on
every JIT cache hit -- small in absolute terms, but a large share of what
a cache hit should cost. Guard it with logger.isEnabledFor(logging.INFO).

Measured on fem.form() against a 24,196-file cache, stacked on #887
(which removes the directory scan that otherwise dominates):

  main                          9.023 ms
  + #887                        0.257 ms
  + this change                 0.139 ms

Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>

3 of 3 new or added lines in 1 file covered. (100.0%)

4694 of 5441 relevant lines covered (86.27%)

0.86 hits per line