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

Harnesses for count_bytes #191

Merged
merged 23 commits into from
Nov 28, 2024
Merged

Harnesses for count_bytes #191

merged 23 commits into from
Nov 28, 2024

Conversation

MWDZ
Copy link

@MWDZ MWDZ commented Nov 27, 2024 •
edited by carolynzech
Loading

Towards #150

Changes
Added harnesses for count_bytes

Verification Result

Checking harness ffi::c_str::verify::check_count_bytes...

VERIFICATION RESULT:
 ** 0 of 241 failed (5 unreachable)

VERIFICATION:- SUCCESSFUL
Verification Time: 5.377671s

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

Yenyun035 and others added 15 commits November 21, 2024 22:32
@Yenyun035
Test CStr safety invariant
bf613a0
@Yenyun035
Merge branch 'model-checking:main' into c-0013-yenyunw-cstr
cf6aab1
@Yenyun035
Merge branch 'model-checking:main' into c-0013-yenyunw-cstr
63d53fb
@MWDZ
feat: add check_count_bytes
754baec
@Yenyun035
Add CStr safety invariant && from_bytes_until_null harnesses
90ae7a5
@Yenyun035
Merge branch 'model-checking:main' into c-0013-yenyunw-cstr
e111145
@Yenyun035
Add comments
55dfaaf
@MWDZ
Merge branch 'c-0013-yenyunw-cstr' into c-0013-junfengj-cstr
2d5b3f8
@MWDZ
feat: add check_count_bytes to c_str
0cd92cb
@Yenyun035
Merge branch 'main' into c-0013-yenyunw-cstr
5db0f1b
@Yenyun035
Fix from_bytes_until_nul harness
31c1d02
@Yenyun035
Merge branch 'main' into c-0013-yenyunw-cstr
667b76f
@Yenyun035
Add to_bytes and to_bytes_with_nul harnesses
64ddbff
@MWDZ
feat: adjust the length in check_count_bytes
03c5760
@MWDZ
Merge remote-tracking branch 'origin/c-0013-yenyunw-cstr' into c-0013…
0c33a9f 
…-junfengj-cstr
@MWDZ MWDZ removed their assignment Nov 27, 2024
@MWDZ MWDZ marked this pull request as ready for review November 27, 2024 20:27
@MWDZ MWDZ requested a review from a team as a code owner November 27, 2024 20:27
tautschnig
tautschnig approved these changes Nov 27, 2024
View reviewed changes
library/core/src/ffi/c_str.rs Outdated Show resolved Hide resolved
celinval
celinval approved these changes Nov 27, 2024
View reviewed changes
Copy link

@celinval celinval left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

library/core/src/ffi/c_str.rs Outdated Show resolved Hide resolved
@Yenyun035 Yenyun035 mentioned this pull request Nov 28, 2024
Open
@tautschnig tautschnig enabled auto-merge (squash) November 28, 2024 10:02
@tautschnig tautschnig merged commit f87b1ae into model-checking:main Nov 28, 2024
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@celinval celinval celinval approved these changes

@tautschnig tautschnig tautschnig approved these changes

Assignees

@MWDZ MWDZ

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@MWDZ @tautschnig @celinval @Yenyun035