15612041688

Committed 12 Jun 2025 01:34PM UTC coverage: 60.871% (-0.9%) from 61.731%

Build Type

github

Committed by

Commit Message

Merge 373a5cce9 into 69c62fd72

Run Details

638 of 862 new or added lines in 24 files covered. (74.01%)

340 existing lines in 21 files now uncovered.

6571 of 10795 relevant lines covered (60.87%)

100.35 hits per line

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

0.0

/src/symbolic/sets.cpp

1	#include "sdfg/symbolic/sets.h"
2
3	#include <isl/ctx.h>
4	#include <isl/map.h>
5	#include <isl/set.h>
6	#include <isl/space.h>
7
8	namespace sdfg {
9	namespace symbolic {
10
NEW 11	bool intersect(const MultiExpression& expr1, const SymbolSet& params1, const MultiExpression& expr2,	×
12	const SymbolSet& params2, const Assumptions& assums) {
NEW 13	return false;	×
14	}
15
16	} // namespace symbolic
17	} // namespace sdfg