Github/littlefs
1
Fork 0
Code Actions Activity

ckparity: Increased bit-error tests to first 6 bytes

Browse Source 
It's only the 7th byte (first leb128) that can fail to detect single-bit
errors. This is slightly more interesting since we actually test the
parity of a tag, and not just the revision count.
This commit is contained in:
Christopher Haster
2024-08-18 18:37:27 -05:00
parent 464311b2f8
commit 4515f4811a
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/test_ck.toml
+6 -6
View File
@@ -1091,8 +1091,8 @@ code = '''
# proof.
#
# So for now these tests are sort of in stasis, limited to testing
# metastability in areas we know we can detect (revision counts, raw
# data blocks, etc). Maybe future features will make them more useful.
# metastability in areas we know we can detect. Maybe future features
# will make them more useful.
#
# test every single-bit error in block 0/1
@@ -1110,8 +1110,8 @@ code = '''
// test all bad bits in the mroot
for (lfs_size_t i = 0;
// we can't detect metastable tags, so limit read-flips
// to our revision count
i < ((BADBIT == -1) ? 8*4 : 1);
// to our revision count + first tag
i < ((BADBIT == -1) ? 8*6 : 1);
i++) {
lfs_size_t badbit = (BADBIT == -1) ? i : BADBIT;
@@ -1262,8 +1262,8 @@ code = '''
// now test all bad bits in the btree block
for (lfs_size_t i = 0;
// we can't detect metastable tags, so limit read-flips
// to our revision count
i < ((BADBIT == -1) ? 8*4 : 1);
// to our revision count + first tag
i < ((BADBIT == -1) ? 8*6 : 1);
i++) {
lfs_size_t badbit = (BADBIT == -1) ? i : BADBIT;