Julien Cretin
5c7df89198
Return error instead of debug assert ( #363 )
...
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-08-10 13:09:22 +02:00
Julien Cretin
8800c3e906
Merge branch 'master' into no_ram_storage
2020-12-10 15:48:45 +01:00
Julien Cretin
19ebacec15
Do not use delay_map anymore
...
This permits to avoid copies. Before we used to do one copy per storage
operation. Now we do one copy per store operation.
2020-12-10 13:36:33 +01:00
Julien Cretin
4253854cf1
Remove ram_storage feature
...
We don't need to build a production key without persistent storage. Tests and
fuzzing continue to use the std feature to use the RAM implementation (that does
sanity checks).
2020-12-10 13:06:05 +01:00
Julien Cretin
a0e3048f82
Add debug helper for fuzzing
2020-11-30 11:30:49 +01:00
Julien Cretin
f548a35f01
Do not crash with dirty init
2020-11-30 10:29:18 +01:00
Julien Cretin
ed5a9e5b24
Apply review comments
2020-11-28 19:01:16 +01:00
Julien Cretin
9f04408433
Merge branch 'master' into v2_fuzz
2020-11-28 18:45:41 +01:00
Julien Cretin
29ee45de6c
Do not crash in the driver for store errors
...
We prefer to return those errors to the fuzzer which can then decide whether
they are expected or not (e.g. when starting from a dirty storage, the store is
expected to have errors).
2020-11-24 11:31:54 +01:00
Julien Cretin
e842da0de7
Add store fuzzing
2020-11-19 11:27:50 +01:00
Julien Cretin
bbb73c77a8
Use width_lim instead of bucket_lim
2020-11-17 10:16:39 +01:00
Julien Cretin
fcc9484510
Add stats for fuzzing
2020-11-16 22:44:10 +01:00
Julien Cretin
de77d4fc0c
Add histogram for fuzzing
2020-11-13 10:34:23 +01:00
Julien Cretin
1c2e450660
Improve documentation
2020-11-12 16:24:35 +01:00
Julien Cretin
db5b21a4ff
Add more documentation
2020-11-12 10:54:23 +01:00
Julien Cretin
c6f9270be1
Update documentation
2020-11-11 17:52:33 +01:00
Julien Cretin
163e92fa6b
Create fuzzing and add entropy helpers
2020-11-11 12:30:24 +01:00
Julien Cretin
d5a43c346f
Rename into_ into extract_
2020-11-11 10:28:32 +01:00
Julien Cretin
0e4be8ca4a
Update documentation
2020-11-10 19:44:28 +01:00
Julien Cretin
45332158df
Add driver for new store
2020-11-03 21:27:32 +01:00
Julien Cretin
a024e642d3
Return zero instead of negative immediate capacity
2020-11-03 13:30:39 +01:00
Julien Cretin
410314b780
Move transaction validity check to Format
2020-11-03 12:54:30 +01:00
Julien Cretin
d734da3a0e
Move transaction capacity formula to Format
2020-11-03 12:39:38 +01:00
Julien Cretin
b97758dd99
Do not use import ::*
2020-11-03 11:58:20 +01:00
Julien Cretin
233c15b20c
Add new store (without tests yet)
2020-11-02 11:17:09 +01:00
Julien Cretin