Boundary value analysis (do not merge) - #298

Closed

lucasccordeiro wants to merge 17 commits into

diffblue:developfrom

lucasccordeiro:boundary-value-analysis

Commits on Dec 22, 2016

add test cases related to boundary values by Youcheng
lucasccordeiro
committed
3fee77e
Fixed merge conflicts
lucasccordeiro
committed
858c36f
add cover_boundary_values.cpp implemented by Youcheng
lucasccordeiro
committed
9369f2d
add boundary values to mcdc coverage by Youcheng
lucasccordeiro
committed
a282cb3
implement Michael's comments by Youcheng
lucasccordeiro
committed
2ec5310
Refactor the code related to cover.cpp
lucasccordeiro
committed
70f7409
Update test desc of mcdc1 and mcdc8
lucasccordeiro
committed
5aaa67a
Refactor instrument_cover_goals
lucasccordeiro
committed
954f322
Refactor instrument_cover_goals
lucasccordeiro
committed
2c1b84d
Enforced the coding rules in cover.cpp

theyoucheng
authored and
lucasccordeiro
committed
a7e27ea
Enforced the coding rules in cover.h
lucasccordeiro
committed
cd2b2fc
Enforced the coding rules in cbmc_parse_options.cpp and symex_parse_options.cpp
lucasccordeiro
committed
9699a90
replace parameter 'i_it' by 'insn' for instrumentation
lucasccordeiro
committed
4847351
Split cover.cpp into separate files
lucasccordeiro
committed
aa9696d
Enforced the coding rules in cover_mcdc.h
lucasccordeiro
committed
c4bf371
Enforced the coding rules in cover_utils.cpp
lucasccordeiro
committed
9ed799a
Enforced the coding rules in cover.cpp
lucasccordeiro
committed
632b21b