Skip to content

Coverage #4

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

Jump to bottom
Merged
merged 50 commits into from
Sep 20, 2016
Merged

Coverage #4

merged 50 commits into from
Sep 20, 2016

Conversation

lucasccordeiro
Copy link
Collaborator

No description provided.

lucasccordeiro and others added 30 commits September 14, 2016 10:24
@lucasccordeiro
add the option existing-coverage
64e9512 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
check whether the user has provided a valid json file for --existing-…
5da372f 
…coverage

Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
get the line of each goal
40aa14a 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
generate goals only if they do not exist in the json file
ac40ed5 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
refactor the code for checking existing coverage
14e5dc5 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
add test cases to check existing coverage
97ebd80 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
add more test cases to check existing coverage
3895bdc 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
add more test cases to check existing coverage
766d221 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
remove whitespace
9a4a1f9 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
code refactoring to check existing goals
84f0330 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
replace coverage_goals by coverage_goalst
2be7e4e 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
default variant of instrument_cover_goals that uses an empty set of e…
8266595 
…xisting goals

Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
a goal should be identified by a source_locationt
cf1fdea 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
implement get_coverage method
031603b 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
a goal should be identified by a source_locationt
270dea2 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
method to construct a coverage_goalst object
76b4a34 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
remove iostream
863f904 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
use json file suggested at github issue diffblue#187
5bcc815 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
use json file as suggested at github issue diffblue#187
138f89c 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
remove space
48e5ebb 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
add test cases related to consider_goals method
13df092 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
add consider_goals method
179ea5a 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
minor changes
5dc24b1 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
update test cases
b46dd00 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
add test cases to check the --no-trivial-tests option
fe40027 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
add the --no-trivial-tests option to CBMC
f617419 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
add option to exclude trivial coverage test goals
52c8ed9 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
do not produce test goals for constructor and destructor methods
3b3542a 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
minor changes
4998f05 
Signed-off-by: Lucas Cordeiro <[email protected]>
@peterschrammel
consolidate integration with cover
e7061a0
Peter Schrammel and others added 20 commits September 16, 2016 18:55
fixed compilation error
d462a70
@lucasccordeiro
Merge pull request #1 from peterschrammel/lucasccordeiro-coverage
ce8c607 
Lucasccordeiro coverage
@lucasccordeiro
fix merge
abe8e17 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case condition1
c69583d 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case consider_goals6
a017d00 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case consider_goals7
4da31e5 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case consider_goals8
34594cc 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case location1
2eddeb4 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case location3
8a50896 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case location5
bb4359e 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case location6
f680c4e 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case location7
e3edd91 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case location8
6a82bc7 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case location9
3e4d11c 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case mcdc1
cf54786 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case mcdc2
e5f95bd 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case mcdc3
111b9d5 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case mcdc4
e4f54c0 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case mcdc5
2516b15 
Signed-off-by: Lucas Cordeiro <[email protected]>
@lucasccordeiro
fix test case mcdc7
2775262 
Signed-off-by: Lucas Cordeiro <[email protected]>
@peterschrammel peterschrammel merged commit 4885212 into peterschrammel:test_gen Sep 20, 2016
peterschrammel pushed a commit that referenced this pull request Mar 17, 2019
@JohnDumbell
Add global name map to goto_symex_state
131373b 
This global name map will be used to check what generation is currently
available for each level1 name, and shared across all states. This will
only be used when a particular state tries to find out what the next
free generation is.

The main draw of this is that all branches will now assign unique
generations that won't clash with assignments done across other
branches. One minor downside is that in VCC's the generation number
might jump sporadically (say from #4 to diffblue#40).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@lucasccordeiro @peterschrammel