21.25% of diff hit (target 78.35%)
View this Pull Request on Codecov
21.25% of diff hit (target 78.35%)
Annotations
Check warning on line 156 in src/goto-programs/remove_complex.cpp
codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L156
Added line #L156 was not covered by tests
Check warning on line 180 in src/goto-programs/remove_complex.cpp
codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L177-L180
Added lines #L177 - L180 were not covered by tests
Check warning on line 185 in src/goto-programs/remove_complex.cpp
codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L182-L185
Added lines #L182 - L185 were not covered by tests
Check warning on line 188 in src/goto-programs/remove_complex.cpp
codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L187-L188
Added lines #L187 - L188 were not covered by tests
Check warning on line 193 in src/goto-programs/remove_complex.cpp
codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L190-L193
Added lines #L190 - L193 were not covered by tests
Check warning on line 196 in src/goto-programs/remove_complex.cpp
codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L195-L196
Added lines #L195 - L196 were not covered by tests
Check warning on line 198 in src/goto-programs/remove_complex.cpp
codecov / codecov/patch
src/goto-programs/remove_complex.cpp#L198
Added line #L198 was not covered by tests
Check warning on line 135 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L134-L135
Added lines #L134 - L135 were not covered by tests
Check warning on line 138 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L137-L138
Added lines #L137 - L138 were not covered by tests
Check warning on line 141 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L140-L141
Added lines #L140 - L141 were not covered by tests
Check warning on line 143 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L143
Added line #L143 was not covered by tests
Check warning on line 145 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L145
Added line #L145 was not covered by tests
Check warning on line 150 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L147-L150
Added lines #L147 - L150 were not covered by tests
Check warning on line 152 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L152
Added line #L152 was not covered by tests
Check warning on line 164 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L154-L164
Added lines #L154 - L164 were not covered by tests
Check warning on line 166 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L166
Added line #L166 was not covered by tests
Check warning on line 175 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L168-L175
Added lines #L168 - L175 were not covered by tests
Check warning on line 180 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L177-L180
Added lines #L177 - L180 were not covered by tests
Check warning on line 183 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L182-L183
Added lines #L182 - L183 were not covered by tests
Check warning on line 186 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L186
Added line #L186 was not covered by tests
Check warning on line 191 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L188-L191
Added lines #L188 - L191 were not covered by tests
Check warning on line 193 in src/solvers/flattening/boolbv_floatbv_op.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv_floatbv_op.cpp#L193
Added line #L193 was not covered by tests