daisytuner / sdfglib / 15612270835

coverage: 60.871% (-0.8%) from 61.71%
15612270835

push

github

web-flow 
Merge pull request #68 from daisytuner/loop-types

refactors symbolic analysis into polynomials, extreme values and cnf

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

334 existing lines in 20 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

75.0
/src/structured_control_flow/block.cpp
1 
#include "sdfg/structured_control_flow/block.h"
2 









3



#include "sdfg/symbolic/symbolic.h"










4












5



namespace sdfg {










6



namespace structured_control_flow {










7












8



Block::Block(const DebugInfo& debug_info) : ControlFlowNode(debug_info) {




423✔





9



    this->dataflow_ = std::make_unique<data_flow::DataFlowGraph>();




423✔





10



};




423✔





11












12



Block::Block(const DebugInfo& debug_info, const data_flow::DataFlowGraph& dataflow)




38✔





13



    : ControlFlowNode(debug_info) {




19✔





14



    this->dataflow_ = dataflow.clone();




19✔





15



};




19✔





16












17



const data_flow::DataFlowGraph& Block::dataflow() const { return *this->dataflow_; };




43✔





18












19



data_flow::DataFlowGraph& Block::dataflow() { return *this->dataflow_; };




2,812✔





20













UNCOV

21



void Block::replace(const symbolic::Expression& old_expression,




×







22



                    const symbolic::Expression& new_expression) {











UNCOV

23



    this->dataflow_->replace(old_expression, new_expression);




×








UNCOV

24



};




×







25












26



}  // namespace structured_control_flow










27



}  // namespace sdfg
























    

  • 

    •