16069945621

Committed 04 Jul 2025 08:56AM UTC coverage: 64.375% (-0.2%) from 64.606%

Build # 16069945621

Build Type

push

github

Committed by

web-flow

Commit Message

Merge pull request #137 from daisytuner/clang-format

runs clang-format on codebase

Run Details

609 of 827 new or added lines in 63 files covered. (73.64%)

46 existing lines in 30 files now uncovered.

8578 of 13325 relevant lines covered (64.38%)

177.24 hits per line

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

70.0

/src/structured_control_flow/if_else.cpp

#include "sdfg/structured_control_flow/if_else.h"

#include "sdfg/symbolic/symbolic.h"

namespace sdfg {
namespace structured_control_flow {

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

      };

size_t IfElse::size() const { return this->cases_.size(); };

std::pair<const Sequence&, const symbolic::Condition&> IfElse::at(size_t i) const {
    return {*this->cases_.at(i), this->conditions_.at(i)};
};

std::pair<Sequence&, symbolic::Condition&> IfElse::at(size_t i) {
    return {*this->cases_.at(i), this->conditions_.at(i)};
};

bool IfElse::is_complete() {
    auto condition = symbolic::__false__();
    for (auto& entry : this->conditions_) {
        condition = symbolic::Or(condition, entry);
    }
    return symbolic::is_true(condition);
};

void IfElse::replace(const symbolic::Expression& old_expression, const symbolic::Expression& new_expression) {
    for (size_t i = 0; i < this->cases_.size(); ++i) {
        this->cases_.at(i)->replace(old_expression, new_expression);
        this->conditions_.at(i) = symbolic::subs(this->conditions_.at(i), old_expression, new_expression);
    }
};

} // namespace structured_control_flow
} // namespace sdfg

1	#include "sdfg/structured_control_flow/if_else.h"
2
3	#include "sdfg/symbolic/symbolic.h"
4
5	namespace sdfg {
6	namespace structured_control_flow {
7
8	IfElse::IfElse(size_t element_id, const DebugInfo& debug_info)	90✔
9	: ControlFlowNode(element_id, debug_info) {	45✔
10
11	};	45✔
12
13	size_t IfElse::size() const { return this->cases_.size(); };	755✔
14
15	std::pair<const Sequence&, const symbolic::Condition&> IfElse::at(size_t i) const {	24✔
16	return {*this->cases_.at(i), this->conditions_.at(i)};	24✔
17	};
18
19	std::pair<Sequence&, symbolic::Condition&> IfElse::at(size_t i) {	456✔
20	return {*this->cases_.at(i), this->conditions_.at(i)};	456✔
21	};
22
23	bool IfElse::is_complete() {	48✔
24	auto condition = symbolic::__false__();	48✔
25	for (auto& entry : this->conditions_) {	131✔
26	condition = symbolic::Or(condition, entry);	83✔
27	}
28	return symbolic::is_true(condition);	48✔
29	};	48✔
30
NEW 31	void IfElse::replace(const symbolic::Expression& old_expression, const symbolic::Expression& new_expression) {	×
UNCOV 32	for (size_t i = 0; i < this->cases_.size(); ++i) {	×
33	this->cases_.at(i)->replace(old_expression, new_expression);	×
NEW 34	this->conditions_.at(i) = symbolic::subs(this->conditions_.at(i), old_expression, new_expression);	×
35	}	×
36	};	×
37
38	} // namespace structured_control_flow
39	} // namespace sdfg

daisytuner / sdfglib / 16069945621

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