saulshanabrook:code-coverage - Branch - egraphs-good/egglog

Add support for code coverage

#790

Comparing

saulshanabrook:code-coverage

(

14640ee

) with

main

(

1424a89

)

Untouched: 22

Skipped: 190

Benchmarks

212 total

tests[herbie-tutorial]

benches/ci_benchmarking.rs

10.8 ms10.7 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

79.4 ms79.3 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

9 s9 s

tests[cykjson]

benches/ci_benchmarking.rs

327.8 ms327.5 ms

tests[herbie]

benches/ci_benchmarking.rs

257.4 ms257.3 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2 s2 s

tests[cykjson]

benches/ci_benchmarking.rs

500.5 ms500.5 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s8.6 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

5.5 s5.5 s

tests[taylor51]

benches/ci_benchmarking.rs

5.2 s5.2 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

714 ms714.2 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.8 s1.8 s

tests[typeinfer]

benches/ci_benchmarking.rs

234.4 ms234.5 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

76 ms76 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.2 ms8.2 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s1.6 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.7 s1.7 s

tests[typeinfer]

benches/ci_benchmarking.rs

275.8 ms276.7 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

6.8 s6.8 s

tests[taylor51]

benches/ci_benchmarking.rs

4.3 s4.3 s

tests[herbie]

benches/ci_benchmarking.rs

-2%

296 ms301 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

-2%

1 s1 s

The benchmarks below were skipped, so their baseline results are used instead. If they were deleted in your codebase, archive them to remove them from the performance reports.
Learn more about archiving benchmarks

tests[array]

benches/ci_benchmarking.rs

Skipped

27.2 ms*

tests[bdd]

benches/ci_benchmarking.rs

Skipped

14.7 ms*

tests[print-function]

benches/ci_benchmarking.rs

Skipped

1.4 ms*

Commits

Click on a commit to change the comparison range

Base

main

1424a89

-0.31%

Add code coverage

162f86d

7 days ago

by saulshanabrook

+0.05%

Update Makefile

fdef5e7

7 days ago

by saulshanabrook

+0.11%

Update README.md

7c27f9f

7 days ago

by saulshanabrook

-0.07%

support running just coverage tests without doctest

14640ee

7 days ago

by saulshanabrook

Home Terms Privacy Docs