Julien Cretin
d085d54878
Update test
2021-10-04 12:24:15 +02:00
Julien Cretin
af3bee64a5
Introduce window size to fix hidden entries
2021-10-04 12:24:15 +02:00
Julien Cretin
9dc5286633
Revert "Continue compacting until content fits window during compaction"
...
This reverts commit 67fa8bee0b
2021-10-04 12:24:15 +02:00
Julien Cretin
daa16d948f
Add test
2021-10-04 12:24:15 +02:00
Julien Cretin
67fa8bee0b
Continue compacting until content fits window during compaction
...
Also increase the virtual window size.
2021-09-27 13:59:29 +02:00
Julien Cretin
a3965eac2d
Also debug the model besides the storage
2021-09-27 13:59:29 +02:00
Julien Cretin
fbca34b1d1
Add test
2021-09-27 13:59:29 +02:00
Julien Cretin
cbbb4b3e08
Reduce the store fuzzer input length
2021-08-30 11:41:14 +02:00
Julien Cretin
ed28941a6d
Decrease maximum input size for store fuzzing
...
We currently have around 12% inputs timing out (was around 27% before the 100k
limit).
2021-08-13 22:15:50 +02:00
Julien Cretin
3d4b652e12
Increase the max data len from 10k to 100k
2021-08-05 15:08:53 +02:00
Julien Cretin
445c1c6edd
Explicitly limit the fuzzer input length
...
This is to avoid timeouts in oss-fuzz.
2021-08-05 15:08:53 +02:00
Julien Cretin
b3b652aa53
Stop using try_trait
...
It is too much instable.
2021-06-09 13:51:04 +02:00
Julien Cretin
e32eb5358f
Merge branch 'develop' into usize_32_or_std
2021-04-26 13:12:55 +02:00
Julien Cretin
6cb6538db6
Fix typography
2021-03-15 12:10:13 +01:00
Julien Cretin
3c7c5a4810
Update the documentation to use linking by name
...
See https://doc.rust-lang.org/stable/rustdoc/linking-to-items-by-name.html
2021-03-13 13:16:57 +01:00
kaczmarczyck
18f391d48f
Merge branch 'develop' into large-blobs
2021-01-25 19:27:45 +01:00
Fabian Kaczmarczyck
4f3c773b15
formats code, clippy
2021-01-25 18:17:14 +01:00
Julien Cretin
ae0156d287
Factor test tools between store and fragment
...
Those need the driver to deal with the fact that the store is stateful. Those
tests can't be moved to the test suite because they use private functions.
2021-01-25 17:30:50 +01:00
Julien Cretin
41a3f512c8
Remove useless check
2021-01-25 11:31:42 +01:00
Julien Cretin
f0c51950cb
Add fragmentation support
2021-01-23 21:27:59 +01:00
Julien Cretin
8634e2ec24
Make StoreUpdate generic over the byte slice ownership
...
This permits to call it without having to create a Vec<u8> when possible.
2021-01-20 15:56:06 +01:00
Julien Cretin
a712d1476b
Return error instead of debug assert
...
With dirty storage we hit the assert. Returning an error permits to continue to
catch if the invariant is broken for normal operation while being able to
continue fuzzing with dirty storage.
2021-01-18 16:41:03 +01:00
Julien Cretin
55038cc084
Add bound-test in addition to equality-test
2021-01-18 16:13:01 +01:00
Julien Cretin
1d576fdd31
Add unit-test for Store::entries
2020-12-14 21:06:12 +01:00
Julien Cretin
edcc206e9d
Make store operations constant wrt flash operations
2020-12-10 18:41:32 +01:00
Julien Cretin
kaczmarczyck
Fabian Kaczmarczyck