Skip to content
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

Add shadow memory get_field function #7840

Merged
merged 5 commits into from
Aug 10, 2023

Add regression tests for shadow memory get

74f6669
Select commit
Loading
Failed to load commit list.
Merged

Add shadow memory get_field function #7840

Add regression tests for shadow memory get
74f6669
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Aug 10, 2023 in 8s

60.06% of diff hit (target 78.81%)

View this Pull Request on Codecov

60.06% of diff hit (target 78.81%)

Annotations

Check warning on line 139 in src/goto-symex/shadow_memory.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory.cpp#L139 

Added line #L139 was not covered by tests

Check warning on line 144 in src/goto-symex/shadow_memory.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory.cpp#L142-L144 

Added lines #L142 - L144 were not covered by tests

Check warning on line 154 in src/goto-symex/shadow_memory.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory.cpp#L152-L154 

Added lines #L152 - L154 were not covered by tests

Check warning on line 163 in src/goto-symex/shadow_memory.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory.cpp#L161-L163 

Added lines #L161 - L163 were not covered by tests

Check warning on line 172 in src/goto-symex/shadow_memory.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory.cpp#L170-L172 

Added lines #L170 - L172 were not covered by tests

Check warning on line 217 in src/goto-symex/shadow_memory.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory.cpp#L216-L217 

Added lines #L216 - L217 were not covered by tests

Check warning on line 94 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L92-L94 

Added lines #L92 - L94 were not covered by tests

Check warning on line 142 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L142 

Added line #L142 was not covered by tests

Check warning on line 144 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L144 

Added line #L144 was not covered by tests

Check warning on line 158 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L158 

Added line #L158 was not covered by tests

Check warning on line 172 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L172 

Added line #L172 was not covered by tests

Check warning on line 187 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L187 

Added line #L187 was not covered by tests

Check warning on line 213 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L212-L213 

Added lines #L212 - L213 were not covered by tests

Check warning on line 231 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L229-L231 

Added lines #L229 - L231 were not covered by tests

Check warning on line 247 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L247 

Added line #L247 was not covered by tests

Check warning on line 256 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L256 

Added line #L256 was not covered by tests

Check warning on line 258 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L258 

Added line #L258 was not covered by tests

Check warning on line 271 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L271 

Added line #L271 was not covered by tests

Check warning on line 274 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L273-L274 

Added lines #L273 - L274 were not covered by tests

Check warning on line 278 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L278 

Added line #L278 was not covered by tests

Check warning on line 286 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L284-L286 

Added lines #L284 - L286 were not covered by tests

Check warning on line 289 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L288-L289 

Added lines #L288 - L289 were not covered by tests

Check warning on line 291 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L291 

Added line #L291 was not covered by tests

Check warning on line 294 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L294 

Added line #L294 was not covered by tests

Check warning on line 303 in src/goto-symex/shadow_memory_util.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-symex/shadow_memory_util.cpp#L302-L303 

Added lines #L302 - L303 were not covered by tests
View more details on Codecov