15163762796

Committed 21 May 2025 01:40PM UTC coverage: 60.611% (+0.08%) from 60.528%

Build Type

push

github

Committed by

Commit Message

Merge pull request #25 from daisytuner/multi-polynomials

adds multi-polynomial symbolic analysis

Run Details

32 of 35 new or added lines in 1 file covered. (91.43%)

7960 of 13133 relevant lines covered (60.61%)

103.89 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

76.57

/src/symbolic/analysis.cpp