15262928007

Committed 26 May 2025 10:36PM UTC coverage: 58.284% (-2.0%) from 60.304%

Build # 15262928007

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #36 from daisytuner/sdfg-validation

Introduces new definition of memlets plus sanity checks

Run Details

104 of 266 new or added lines in 6 files covered. (39.1%)

241 existing lines in 15 files now uncovered.

7908 of 13568 relevant lines covered (58.28%)

96.1 hits per line

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

63.16

/src/structured_control_flow/while.cpp

#include "sdfg/structured_control_flow/while.h"

namespace sdfg {
namespace structured_control_flow {

While::While(size_t element_id, const DebugInfo& debug_info)
    : ControlFlowNode(element_id, debug_info) {
    this->root_ = std::unique_ptr<Sequence>(new Sequence(++element_id, debug_info));
};

const Sequence& While::root() const { return *this->root_; };

Sequence& While::root() { return *this->root_; };

void While::replace(const symbolic::Expression& old_expression,
                    const symbolic::Expression& new_expression) {
    this->root_->replace(old_expression, new_expression);
};

Break::Break(size_t element_id, const DebugInfo& debug_info)
    : ControlFlowNode(element_id, debug_info) {

      };

void Break::replace(const symbolic::Expression& old_expression,
                    const symbolic::Expression& new_expression) {

};

Continue::Continue(size_t element_id, const DebugInfo& debug_info)
    : ControlFlowNode(element_id, debug_info) {

      };

void Continue::replace(const symbolic::Expression& old_expression,
                       const symbolic::Expression& new_expression) {

};

}  // namespace structured_control_flow
}  // namespace sdfg

1	#include "sdfg/structured_control_flow/while.h"
2
3	namespace sdfg {
4	namespace structured_control_flow {
5
6	While::While(size_t element_id, const DebugInfo& debug_info)	72✔
7	: ControlFlowNode(element_id, debug_info) {	36✔
8	this->root_ = std::unique_ptr<Sequence>(new Sequence(++element_id, debug_info));	36✔
9	};	36✔
10
11	const Sequence& While::root() const { return *this->root_; };	5✔
12
13	Sequence& While::root() { return *this->root_; };	85✔
14
UNCOV 15	void While::replace(const symbolic::Expression& old_expression,	×
16	const symbolic::Expression& new_expression) {
UNCOV 17	this->root_->replace(old_expression, new_expression);	×
UNCOV 18	};	×
19
20	Break::Break(size_t element_id, const DebugInfo& debug_info)	16✔
21	: ControlFlowNode(element_id, debug_info) {	16✔
22
23	};	16✔
24
25	void Break::replace(const symbolic::Expression& old_expression,	×
26	const symbolic::Expression& new_expression) {
27
28	};	×
29
30	Continue::Continue(size_t element_id, const DebugInfo& debug_info)	15✔
31	: ControlFlowNode(element_id, debug_info) {	15✔
32
33	};	15✔
34
35	void Continue::replace(const symbolic::Expression& old_expression,	×
36	const symbolic::Expression& new_expression) {
37
38	};	×
39
40	} // namespace structured_control_flow
41	} // namespace sdfg

daisytuner / sdfglib / 15262928007

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

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