15656007340

Committed 14 Jun 2025 08:51PM UTC coverage: 13.234% (-49.9%) from 63.144%

Build Type

github

Committed by

Commit Message

Merge 9586c8161 into 413c53212

Run Details

361 of 465 new or added lines in 7 files covered. (77.63%)

6215 existing lines in 110 files now uncovered.

1612 of 12181 relevant lines covered (13.23%)

13.64 hits per line

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

0.0

/src/structured_control_flow/if_else.cpp

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
UNCOV 8	IfElse::IfElse(const DebugInfo& debug_info)	×
UNCOV 9	: ControlFlowNode(debug_info) {	×
10
UNCOV 11	};	×
12
UNCOV 13	size_t IfElse::size() const { return this->cases_.size(); };	×
14
UNCOV 15	std::pair<const Sequence&, const symbolic::Condition&> IfElse::at(size_t i) const {	×
UNCOV 16	return {*this->cases_.at(i), this->conditions_.at(i)};	×
17	};
18
UNCOV 19	std::pair<Sequence&, symbolic::Condition&> IfElse::at(size_t i) {	×
UNCOV 20	return {*this->cases_.at(i), this->conditions_.at(i)};	×
21	};
22
UNCOV 23	bool IfElse::is_complete() {	×
UNCOV 24	if (this->conditions_.size() == 2) {	×
UNCOV 25	return symbolic::eq(this->conditions_.at(0), this->conditions_.at(1)->logical_not());	×
26	}
27
UNCOV 28	auto condition = symbolic::__false__();	×
UNCOV 29	for (auto& entry : this->conditions_) {	×
UNCOV 30	condition = symbolic::Or(condition, entry);	×
31	}
UNCOV 32	return symbolic::is_true(condition);	×
UNCOV 33	};	×
34
35	void IfElse::replace(const symbolic::Expression& old_expression,	×
36	const symbolic::Expression& new_expression) {
37	for (size_t i = 0; i < this->cases_.size(); ++i) {	×
38	this->cases_.at(i)->replace(old_expression, new_expression);	×
39	this->conditions_.at(i) =	×
40	symbolic::subs(this->conditions_.at(i), old_expression, new_expression);	×
41	}	×
42	};	×
43
44	} // namespace structured_control_flow
45	} // namespace sdfg