25556104143
61%

Ran 08 May 2026 12:51PM UTC

Jobs 5

Files 435

Run time 1min

Badge

Committed 08 May 2026 12:41PM UTC coverage: 65.682% (+0.03%) from 65.649%

Build Type

push

github

Committed by

Commit Message

Merge pull request #707 from daisytuner/symbolic-tautology

adds is_tautology api for better analysis of if-else

Coverage Stats

84 of 104 new or added lines in 2 files covered. (80.77%)

32259 of 49114 relevant lines covered (65.68%)

12909.02 hits per line

Lines	Coverage	∆	File
20	64.26	12.38%	sdfg/src/symbolic/conjunctive_normal_form.cpp

ID	Job ID	Ran	Files	Coverage
1	python-3.13 - 25556104143.1	08 May 2026 01:04PM UTC	15	74.98	GitHub Action Run
2	python-3.11 - 25556104143.2	08 May 2026 12:50PM UTC	15	74.98	GitHub Action Run
3	python-3.14 - 25556104143.3	08 May 2026 01:01PM UTC	15	74.98	GitHub Action Run
4	sdfg - 25556104143.4	08 May 2026 12:51PM UTC	420	64.72	GitHub Action Run
5	python-3.12 - 25556104143.5	08 May 2026 12:54PM UTC	15	74.98	GitHub Action Run