23606396636
70%

Ran 26 Mar 2026 04:46PM UTC

Jobs 1

Files 1044

Run time 2min

Badge

Committed 26 Mar 2026 04:41PM UTC coverage: 70.01% (-0.05%) from 70.064%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1756 from IgorWiecz/master

cflt: replace exhaustive search with SAT solver and minor optimisations

Run Details

11319 of 19676 branches covered (57.53%)

29955 of 42787 relevant lines covered (70.01%)

3.02 hits per line

Lines	Coverage	∆	File
1	90.24	-2.44%	org/workcraft/formula/ClauseUtils.java
1	87.5	0.0%	org/workcraft/plugins/cflt/graph/Edge.java
2	90.91	1.44%	org/workcraft/plugins/cflt/graph/Graph.java
2	0.0	0.0%	org/workcraft/plugins/cflt/utils/EdgeCliqueCoverUtils.java
3	94.5	-1.34%	org/workcraft/plugins/cflt/algorithms/EdgeCliqueCoverHeuristic.java
35	0.0	0.0%	org/workcraft/plugins/cflt/tools/AbstractDrawingTool.java

ID	Job ID	Ran	Files	Coverage
1	23606396636.1	26 Mar 2026 04:46PM UTC	1044	70.01	GitHub Action Run