1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
use crate::{
account::{xus_currency_code, Account, AccountData, AccountRoleSpecifier},
account_universe::{
txn_one_account_result, AUTransactionGen, AccountPair, AccountPairGen, AccountUniverse,
},
common_transactions::create_account_txn,
gas_costs,
};
use diem_proptest_helpers::Index;
use diem_types::{
account_config,
transaction::{SignedTransaction, TransactionStatus},
vm_status::{AbortLocation, KeptVMStatus, StatusCode},
};
use proptest::prelude::*;
use proptest_derive::Arbitrary;
use std::sync::Arc;
#[derive(Arbitrary, Clone, Debug)]
#[proptest(params = "(u64, u64)")]
pub struct CreateAccountGen {
sender: Index,
new_account: Account,
#[proptest(strategy = "params.0 ..= params.1")]
amount: u64,
}
impl AUTransactionGen for CreateAccountGen {
fn apply(
&self,
universe: &mut AccountUniverse,
) -> (SignedTransaction, (TransactionStatus, u64)) {
let sender = universe.pick(self.sender).1;
let txn = create_account_txn(
sender.account(),
&self.new_account,
sender.sequence_number,
self.amount,
account_config::xus_tag(),
);
let mut gas_used = sender.create_account_gas_cost();
let low_balance_gas_used = sender.create_account_low_balance_gas_cost();
let gas_price = txn.gas_unit_price();
let (status, is_success) = txn_one_account_result(
sender,
self.amount,
gas_price,
gas_used,
low_balance_gas_used,
);
if is_success {
sender.event_counter_created = true;
universe.add_account(AccountData::with_account(
self.new_account.clone(),
self.amount,
xus_currency_code(),
0,
AccountRoleSpecifier::default(),
));
} else {
gas_used = 0;
}
(txn, (status, gas_used))
}
}
#[derive(Arbitrary, Clone, Debug)]
#[proptest(params = "(u64, u64)")]
pub struct CreateExistingAccountGen {
sender_receiver: AccountPairGen,
#[proptest(strategy = "params.0 ..= params.1")]
amount: u64,
}
impl AUTransactionGen for CreateExistingAccountGen {
fn apply(
&self,
universe: &mut AccountUniverse,
) -> (SignedTransaction, (TransactionStatus, u64)) {
let AccountPair {
account_1: sender,
account_2: receiver,
..
} = self.sender_receiver.pick(universe);
let txn = create_account_txn(
sender.account(),
receiver.account(),
sender.sequence_number,
self.amount,
account_config::xus_tag(),
);
let mut gas_used = 0;
let gas_price = txn.gas_unit_price();
let enough_max_gas = sender.balance >= gas_costs::TXN_RESERVED * gas_price;
let status = if enough_max_gas {
sender.sequence_number += 1;
gas_used = sender.create_existing_account_gas_cost();
sender.balance -= gas_used * gas_price;
TransactionStatus::Keep(KeptVMStatus::MoveAbort(AbortLocation::Script, 777_777))
} else {
TransactionStatus::Discard(StatusCode::INSUFFICIENT_BALANCE_FOR_TRANSACTION_FEE)
};
(txn, (status, gas_used))
}
}
pub fn create_account_strategy(
min: u64,
max: u64,
) -> impl Strategy<Value = Arc<dyn AUTransactionGen + 'static>> {
prop_oneof![
3 => any_with::<CreateAccountGen>((min, max)).prop_map(CreateAccountGen::arced),
1 => any_with::<CreateExistingAccountGen>((min, max)).prop_map(
CreateExistingAccountGen::arced,
),
]
}