Skip to content

Boundary value analysis (do not merge) #298

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 17 commits into from
Closed

Boundary value analysis (do not merge) #298

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
3fee77e
add test cases related to boundary values by Youcheng
lucasccordeiro Nov 7, 2016
858c36f
Fixed merge conflicts
lucasccordeiro Dec 19, 2016
9369f2d
add cover_boundary_values.cpp implemented by Youcheng
lucasccordeiro Nov 7, 2016
a282cb3
add boundary values to mcdc coverage by Youcheng
lucasccordeiro Nov 10, 2016
2ec5310
implement Michael's comments by Youcheng
lucasccordeiro Nov 21, 2016
70f7409
Refactor the code related to cover.cpp
lucasccordeiro Dec 19, 2016
5aaa67a
Update test desc of mcdc1 and mcdc8
lucasccordeiro Dec 19, 2016
954f322
Refactor instrument_cover_goals
lucasccordeiro Dec 19, 2016
2c1b84d
Refactor instrument_cover_goals
lucasccordeiro Dec 19, 2016
a7e27ea
Enforced the coding rules in cover.cpp
theyoucheng Dec 19, 2016
cd2b2fc
Enforced the coding rules in cover.h
lucasccordeiro Dec 19, 2016
9699a90
Enforced the coding rules in cbmc_parse_options.cpp and symex_parse_…
lucasccordeiro Dec 19, 2016
4847351
replace parameter 'i_it' by 'insn' for instrumentation
lucasccordeiro Dec 20, 2016
aa9696d
Split cover.cpp into separate files
lucasccordeiro Dec 22, 2016
c4bf371
Enforced the coding rules in cover_mcdc.h
lucasccordeiro Dec 22, 2016
9ed799a
Enforced the coding rules in cover_utils.cpp
lucasccordeiro Dec 22, 2016
632b21b
Enforced the coding rules in cover.cpp
lucasccordeiro Dec 22, 2016
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Refactor instrument_cover_goals 
Created methods for assertion, cover, location, branch, condition,
decision, and mcdc.
  • Loading branch information
@lucasccordeiro
lucasccordeiro committed Dec 22, 2016
commit 2c1b84d1f7ec7e5dd3dd8e08e58e5c99d961487b
Loading