diff options
| author | John Gouwar <jgouwar@gmail.com> | 2024-11-04 12:48:18 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-04 09:48:18 -0800 |
| commit | 23ac56edfb411f7b4cfadf843663dbb8827dab8c (patch) | |
| tree | 423881240775519eee8267c3d189342653e76efd /.flake8 | |
| parent | 8c3068809fec10bc193a0ea56063b068a363254b (diff) | |
| download | spack-23ac56edfb411f7b4cfadf843663dbb8827dab8c.tar.gz spack-23ac56edfb411f7b4cfadf843663dbb8827dab8c.tar.bz2 spack-23ac56edfb411f7b4cfadf843663dbb8827dab8c.tar.xz spack-23ac56edfb411f7b4cfadf843663dbb8827dab8c.zip | |
Times spec building and timing to public concretizer API (#47310)
This PR has two small contributions:
- It adds another phase to the timer for concrectization, "construct_specs", to actually see the time the concretizer spends interpreting the `clingo` output to build the Python object for a concretized spec.
- It adds the method `Solver.solve_with_stats` to expose the timers that were already in the concretizer to the public solver API. `Solver.solve` just becomes a special case of `Solver.solve_with_stats` that throws away the timing output (which is what it was already doing).
These changes will make it easier to benchmark concretizer performance and provide a more complete picture of the time spent in the concretizer by including the time spent interpreting clingo output.
Diffstat (limited to '.flake8')
0 files changed, 0 insertions, 0 deletions