main

Warming up the performance wizard...

Python project using pytest, pip-compile, GitHub Actions CI. Existing benchmarks are custom scripts (not pytest-benchmark). Core modules in src/qwed_new/ with verification engines for math, logic, SQL, code, and more.

Repository Analysis

Created 20 pytest-codspeed benchmarks covering 8 verification engines. All benchmarks pass locally in both walltime and simulation modes.

Benchmark Setup

PR submitted with 20 benchmarks, CI workflow, and README badge.

Pull Request Submission

CodSpeed benchmarks workflow passed. CodSpeed installation confirmed with 20 benchmarks detected.

CI Workflow Monitoring

Benchmarks have been successfully run and processed. The results are available in Codspeed

Performance History

Latest Results

Latest Branches