15680862811

Committed 16 Jun 2025 12:30PM UTC coverage: 64.887% (+0.001%) from 64.886%

Build Type

push

github

Committed by

Commit Message

Merge pull request #80 from daisytuner/cnf-equality-folding

Fix: fold equality-based inversions into CNF of boolean expressions

Run Details

17 of 26 new or added lines in 1 file covered. (65.38%)

8020 of 12360 relevant lines covered (64.89%)

122.45 hits per line

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

55.92

/src/symbolic/conjunctive_normal_form.cpp