tempus-finance / tempus-protocol

93%

master: 92%

LAST BUILD ON BRANCH echidna-deposit-redeem-ybt

branch: echidna-deposit-redeem-ybt

CHANGE BRANCH

x

Reset

• echidna-deposit-redeem-ybt
• aave-referrer
• add-18-dec-check
• add-calculate-rewards-test
• add-comment
• add-get-reward-view-function
• add-hardhat-gas-reporter
• add-more-sers-staking-tests
• add-precommit-hook
• add-vesting-configuration-check
• amm-cleanup
• amm-composition
• amm-decimals
• amm-version
• amm/implement-swap-fees
• amm/introduce-custom-errors
• amm/principal-rate-orcale
• amm/remove_public_init
• amm/stable_math_upgrade
• amm/swap-with-stored-interest-rate
• amm/v2
• amm/v2-bptOut-bptIn-refactor2
• amm/v2-refactor-bptOut-bptIn
• amm/v2-refactor-getTokenBalance-firstToken
• amm/v2-refactor-inGivenOut-outGivenIn
• amm/v2-remove-arrays
• amm/v2-stablemath-cleanup2
• amm/v2-stablemath-get-token-balance
• amm/v2-stablemath-refactor-fun-invariant
• amm/v2-stablemath-remove-tokenInGivenExactBptOut
• amm/v2-stablemath-tests
• amm/v2-tokenOutFromBptIn
• amm/v2-tokensOutFromBptIn
• amp
• amp-decimal
• assertTransferYBT-modifier-abs
• bump-controller-version
• change-amm-constructor
• ci-mythx-docker
• ci/fix-mythx-dep-failure
• comment_init_amm
• configurable-negative-period
• controller-min-rate-direction
• controller-refactor
• controller-remove-redundant-approvals
• controller-simplify
• controller-version
• cover-not-enough-diff-swap
• create2
• deploy-validate-scripts
• deposit-check
• docgen
• earlyredeem/maxLeftoverSharesValidation
• echidna
• echidna-assertion
• enable_swapGivenOut
• erc20permit
• eth-deposit-cleanup
• eth-deposit-test
• feature/advanced-decimal-utils
• feature/decimal-comparison-utils
• feature/precompute-share-addresses
• feature/run-tests-in-parallel
• fix-centralisation-issues
• fix-erc165-compatibility
• fix-lido-etherscan-verify-script
• fix-multiplier-vulnerabilty
• fix-mythx-misc
• fix-node-version-mythx-docker
• fix-reward-calculation-bug
• fix-shares-date
• fix-testing-events
• fix-unit-tests-failures
• fix/unit-test-retcode-on-failure
• fix/update-natspec-comments
• fixBugSwapGivenIn
• fix_test_isupdating
• furtherOptimizationInterestRates
• hardhat
• hardhat-fantom-network
• husky-pre-commit-hook
• incentivized-controller
• incetivization-v2
• introduce-custom-errors
• lazar/add-local-rari-pool-deployment
• lazar/add-local-yearn-pool-deployment
• lazar/add-rari-local-deploy
• lazar/fix-backing-token-for-local-deploy
• lazar/fix-stEth-address-casing
• lazar/local-deploy-new-cookie-config
• lazar/update-local-deploy
• license-refactor
• license-vesting-ownable
• lido-deposit-mismatch
• lido-pool-deploy-script-referrer
• lint
• lp-vault-v1
• lp-vaults
• mainnet-deployment-1
• make-claim-never-revert
• make-claim-rewards-on-withdraw-optional
• make-gas-reporter-configurable-with-env-var
• make-stake-return-position-id
• make-update-interest-rate-public
• master
• mythx-misc
• mythx-pool
• negative-yield
• negative-yield-test
• optimizer-steps
• ownable
• ownable-events
• ownable-pool
• ownable-tests
• polish-code-and-tests
• pool-rates
• pool-test-fixture-multiple-signers
• pool-validate-rate
• pool/combined-price-per-share
• pool/get-shares-amount-for-exact-tokens
• position-manager
• position-manager-events
• positionmanager
• rari
• rari-deployment
• rari-updateinterestrate-caching
• refactor/Decimal-equals-improvements
• refactor/amm-fixed-token-ordering
• refactor/cleanup-signers-and-address-utils
• refactor/improve-erc20-decimal-utils
• refactor/move-mocks-to-tempus-tests
• refactor/move-tempus-ts-wrappers-to-separate-dir
• refactor/redeem-tests-utils
• refactor/rename-NumberOrString-to-Numberlike
• refactor/separate-files-for-decimal-utils
• refactor/test-utils-for-deposit-and-redeem
• refactor_amm_tests
• release-1.1/deployment-scripts
• remove-not-needed-code
• remove-not-needed-code2
• remove_rari
• rename-pool-params
• reviewed_branch
• sanity-assertions
• sdk/add-pooltestfixture
• sdk/erc20-utils-fixes
• share-names-refactor
• single_tx_leverige
• smallUpdates
• solidity-0.8.10
• stablemath-test
• stakewise
• staking
• tempus-controller-interface
• tempus-otc-general-solution
• tempuspool-withdraw-assert-ybt-deduction
• test-assert
• test-deposit-lido
• test-empty-deposits
• test-evm
• test-matured
• test-type-improvements
• test/config-for-integration-tests
• test_print_amm_results
• testnet-pool-deployment-01-12-21
• tst
• typo-fix
• uint256
• unit-tests-bash-load-dotenv
• update-readme
• update-solidity
• vault-deploy
• verify-pool-refactor
• versions-as-string
• vesting
• vesting-coverage
• vesting-safeerc20
• visibility
• yearn-deployment
• yearn-deposit
• yield-test

ci: Check whether the YBT amount after redeem will be less or equal to YBT amount that is deposited