89 lines
2.7 KiB
Solidity
89 lines
2.7 KiB
Solidity
pragma solidity 0.5.17;
|
|
|
|
import "../../Staking.sol";
|
|
import "../../lib/os/SafeMath.sol";
|
|
import "../mocks/NoApproveTokenMock.sol";
|
|
|
|
|
|
contract EchidnaStaking is Staking {
|
|
using SafeMath for uint256;
|
|
|
|
constructor() public {
|
|
stakingToken = ERC20(new NoApproveTokenMock(msg.sender, 10 ** 24));
|
|
}
|
|
|
|
// check that staked amount for an account is always >= total locked
|
|
function echidna_account_stake_locks() external view returns (bool) {
|
|
address _account = msg.sender;
|
|
Account storage account = accounts[_account];
|
|
|
|
if (_totalStakedFor(_account) < account.totalLocked) {
|
|
return false;
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
// TODO: delete. Fake test to check that previous echidna test works
|
|
function echidna_account_stake_locks_fake() external view returns (bool) {
|
|
address _account = msg.sender;
|
|
Account storage account = accounts[_account];
|
|
|
|
if (_totalStakedFor(_account) > account.totalLocked) {
|
|
return false;
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
|
|
// check that Checkpointing history arrays are ordered
|
|
function echidna_global_history_is_ordered() external view returns (bool) {
|
|
for (uint256 i = 1; i < totalStakedHistory.history.length; i++) {
|
|
if (totalStakedHistory.history[i].time <= totalStakedHistory.history[i - 1].time) {
|
|
return false;
|
|
}
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
function echidna_user_history_is_ordered() external view returns (bool) {
|
|
address account = msg.sender;
|
|
for (uint256 i = 1; i < accounts[account].stakedHistory.history.length; i++) {
|
|
if (accounts[account].stakedHistory.history[i].time <= accounts[account].stakedHistory.history[i - 1].time) {
|
|
return false;
|
|
}
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
// total staked matches less or equal than token balance
|
|
function echidna_total_staked_is_balance() external view returns (bool) {
|
|
if (_totalStaked() <= stakingToken.balanceOf(address(this))) {
|
|
return true;
|
|
}
|
|
|
|
return false;
|
|
}
|
|
|
|
function echidna_staked_ge_unlocked() external view returns (bool) {
|
|
if (_unlockedBalanceOf(msg.sender) > _totalStakedFor(msg.sender)) {
|
|
return false;
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
function echidna_staked_ge_locked() external view returns (bool) {
|
|
if (_lockedBalanceOf(msg.sender) > _totalStakedFor(msg.sender)) {
|
|
return false;
|
|
}
|
|
|
|
return true;
|
|
}
|
|
|
|
// sum of all account stakes should be equal to total staked and to staking token balance of staking contract, but it's hard to compute as accounts is a mapping
|
|
}
|