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.

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

Increase test coverage for transaction pool module #16415

Merged
merged 56 commits into from
Jan 21, 2025
Merged
Changes from 4 commits
Commits
Show all changes
56 commits
Select commit Hold shift + click to select a range
07d610b
Quickcheck tests for reorg
dkijania Jan 11, 2025
9b1bb9e
increase number of generated commands in each sequences. Merge comman…
dkijania Jan 13, 2025
3521810
remove unused method
dkijania Jan 13, 2025
29415c3
renamed logger functions
dkijania Jan 13, 2025
d21d983
Use yojson
mrmr1993 Jan 14, 2025
338ecda
Hoist gen_merge
mrmr1993 Jan 14, 2025
206c8af
Hoist get_random as get_random_from_array
mrmr1993 Jan 14, 2025
3dace23
Rename get_random_acc
mrmr1993 Jan 14, 2025
4e3aac6
Use to_yojson more
mrmr1993 Jan 14, 2025
ee64fa5
Constrain mutability to iterator
mrmr1993 Jan 14, 2025
7f558ac
Rename s1 and s2 to major_sequence and minor_sequence
mrmr1993 Jan 14, 2025
fabb6d8
Inline definition in minor_sequence_length
mrmr1993 Jan 14, 2025
4bfebfb
Add a ledger abstraction
mrmr1993 Jan 14, 2025
a27a7c2
Abstract Account_spec
mrmr1993 Jan 14, 2025
550a8c6
Rename Account_spec to Simple_account
mrmr1993 Jan 14, 2025
2fa5057
Rename Account_spec_ledger to Simple_ledger
mrmr1993 Jan 14, 2025
b64b269
Rename Command_spec to Simple_command
mrmr1993 Jan 14, 2025
389d52e
Use clearer naming in Simple_ledger
mrmr1993 Jan 14, 2025
f9c7612
Use clearer naming in Simple_command
mrmr1993 Jan 14, 2025
5150782
Simplify naming in gen_branches
mrmr1993 Jan 14, 2025
b6714b3
Remove more uses of spurious `spec`
mrmr1993 Jan 14, 2025
ce78cb4
Use a structure as the return ype for gen_branches
mrmr1993 Jan 14, 2025
e988967
Standardize naming of commands
mrmr1993 Jan 14, 2025
e42b088
Standardize naming of major / minor ledgers
mrmr1993 Jan 14, 2025
df03d24
Use yojson to print the entire input_data at once
mrmr1993 Jan 14, 2025
6fc9eb9
Store `Sender_info.t` instead of a `Simple_account.t
mrmr1993 Jan 14, 2025
8404dbb
Document ledger updates in generator names
mrmr1993 Jan 15, 2025
1128494
Encapsulate edge cases around branches types
mrmr1993 Jan 15, 2025
0b465fc
Add functions inside of conditional logic
mrmr1993 Jan 15, 2025
6b7ac15
Split up generator functions
mrmr1993 Jan 15, 2025
b9d3601
Tidy up messy comments
mrmr1993 Jan 15, 2025
5760381
Lift repeated accessor
mrmr1993 Jan 15, 2025
3bc93ec
Hoist converter
mrmr1993 Jan 15, 2025
35aa09d
Remove misleading `gen` prefix
mrmr1993 Jan 15, 2025
41e5039
Use a descriptive name instead of t1
mrmr1993 Jan 15, 2025
185414c
Rename to half_initial_balance
mrmr1993 Jan 15, 2025
11401de
Remove unnecessary newlines
mrmr1993 Jan 15, 2025
365b32a
So many spurious newlines
mrmr1993 Jan 15, 2025
9910310
Use array functions
mrmr1993 Jan 15, 2025
f7ef592
Use stdlib functions
mrmr1993 Jan 15, 2025
d9a4810
More descriptive names
mrmr1993 Jan 15, 2025
232cb49
Fixup typo in error message
mrmr1993 Jan 15, 2025
6ee22e7
Combine ledger updates with sequence generation
mrmr1993 Jan 15, 2025
9b5dfc5
Rename locally to account
mrmr1993 Jan 15, 2025
c970bfb
Rename sender to account
mrmr1993 Jan 15, 2025
427b123
Hoist ledger mutability into helper
mrmr1993 Jan 15, 2025
c26bd8c
Rename account_with_limited_capacity to target_account
mrmr1993 Jan 15, 2025
cb046cc
Merge branch 'compatible' into dkijania/transaction_pool_tests
dkijania Jan 15, 2025
1d5d537
fix non sealed account selection
dkijania Jan 15, 2025
1d3a4f4
nullify logger
dkijania Jan 15, 2025
2372a97
fix non sealed account selection
dkijania Jan 15, 2025
caa9b60
nullify logger
dkijania Jan 15, 2025
914fe20
Merge branch 'dkijania/transaction_pool_tests' into mrmr1993/transact…
dkijania Jan 16, 2025
ad2a595
Apply suggestions from georgee code review
dkijania Jan 20, 2025
c10d73b
use gen_merge for aux commands sequence for zkapp blocking case. Incr…
dkijania Jan 20, 2025
290bef6
make lower generated amount proportional to initial_balance/len
dkijania Jan 21, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading