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

PoS VP tests #927

Merged
merged 25 commits into from
Jun 9, 2022
Merged

PoS VP tests #927

merged 25 commits into from
Jun 9, 2022

Conversation

tzemanovic
Copy link
Member

@tzemanovic tzemanovic commented Feb 25, 2022

Partially implements anoma/namada#12. The invalid actions tests are not fully complete yet, but this should already unblock anoma/namada#16 and anoma/namada#18, as well as help with the new additions to the PoS system such as rewards and cubic slashing, so we'll come back to finish anoma/namada#12 after these.

depends and based on anoma/anoma#947

@tzemanovic tzemanovic force-pushed the tomas/pos-vp-tests branch 2 times, most recently from ba51132 to 4e2c70c Compare February 28, 2022 17:44
@tzemanovic tzemanovic force-pushed the tomas/pos-vp-tests branch 2 times, most recently from b1cfd4b to 01d3a49 Compare March 14, 2022 17:23
@tzemanovic tzemanovic force-pushed the tomas/pos-vp-tests branch 2 times, most recently from 8ac9d07 to e04a6c5 Compare March 23, 2022 16:37
@tzemanovic
Copy link
Member Author

pls update wasm

@tzemanovic
Copy link
Member Author

pls update wasm

@tzemanovic tzemanovic marked this pull request as ready for review April 29, 2022 10:52
@tzemanovic tzemanovic mentioned this pull request May 6, 2022
juped added a commit that referenced this pull request Jun 8, 2022
* tomas/pos-vp-tests:
  changelog: add #927
  [ci]: update wasm checksums
  pos/epoched: rm debug_asserts to test with invalid state changes
  PoS: make epoched field data public
  PoS/VP: Prevent possible bond and unbond epoch subtraction underflow
  PoS/VP: fix validator set validation
  PoS/VP: replace expected voting power accumulator with total stake
  PoS: fix validator set update
  PoS: make `EpochedDelta::get_delta_at_epoch` public outside the crate
  PoS/VP: fix expected voting power changes for bond/unbond combo
  PoS/VP: fix validator set update check to allow new validators
  tests: Add state machine tests for PoS VP
  PoS: make BTreeSet shims module public
  PoS/VP: fix validator set update - active becomes inactive or vice-versa
  PoS/VP: fix total deltas and bonds accumulation
  PoS/validation: use the determined voting power for validator set check
  tests: add storage key changes helpers
  PoS/VP: Fix validation of inactive validator set update
  PoS/tests: replace ad hoc arb. PoS params gen
  PoS: fix voting power conversion from tokens to avoid overflow
  PoS/parameters: Add validation and arbitrary params gen for testing
  tests: add helpers for testing native VPs
  tests: add a tx field to a `TestTxEnv`
  tests: derive debug on `TestTxEnv` with derivative
  deps: updated proptest state-machine branch
tzemanovic added a commit that referenced this pull request Jun 9, 2022
* tomas/pos-vp-tests:
  changelog: add #927
  [ci]: update wasm checksums
  pos/epoched: rm debug_asserts to test with invalid state changes
  PoS: make epoched field data public
  PoS/VP: Prevent possible bond and unbond epoch subtraction underflow
  PoS/VP: fix validator set validation
  PoS/VP: replace expected voting power accumulator with total stake
  PoS: fix validator set update
  PoS: make `EpochedDelta::get_delta_at_epoch` public outside the crate
  PoS/VP: fix expected voting power changes for bond/unbond combo
  PoS/VP: fix validator set update check to allow new validators
  tests: Add state machine tests for PoS VP
  PoS: make BTreeSet shims module public
  PoS/VP: fix validator set update - active becomes inactive or vice-versa
  PoS/VP: fix total deltas and bonds accumulation
  PoS/validation: use the determined voting power for validator set check
  tests: add storage key changes helpers
  PoS/VP: Fix validation of inactive validator set update
  PoS/tests: replace ad hoc arb. PoS params gen
  PoS: fix voting power conversion from tokens to avoid overflow
  PoS/parameters: Add validation and arbitrary params gen for testing
  tests: add helpers for testing native VPs
  tests: add a tx field to a `TestTxEnv`
  tests: derive debug on `TestTxEnv` with derivative
  deps: updated proptest state-machine branch
tzemanovic added a commit that referenced this pull request Jun 9, 2022
* tomas/pos-vp-tests:
  changelog: add #927
  [ci]: update wasm checksums
  pos/epoched: rm debug_asserts to test with invalid state changes
  PoS: make epoched field data public
  PoS/VP: Prevent possible bond and unbond epoch subtraction underflow
  PoS/VP: fix validator set validation
  PoS/VP: replace expected voting power accumulator with total stake
  PoS: fix validator set update
  PoS: make `EpochedDelta::get_delta_at_epoch` public outside the crate
  PoS/VP: fix expected voting power changes for bond/unbond combo
  PoS/VP: fix validator set update check to allow new validators
  tests: Add state machine tests for PoS VP
  PoS: make BTreeSet shims module public
  PoS/VP: fix validator set update - active becomes inactive or vice-versa
  PoS/VP: fix total deltas and bonds accumulation
  PoS/validation: use the determined voting power for validator set check
  tests: add storage key changes helpers
  PoS/VP: Fix validation of inactive validator set update
  PoS/tests: replace ad hoc arb. PoS params gen
  PoS: fix voting power conversion from tokens to avoid overflow
  PoS/parameters: Add validation and arbitrary params gen for testing
  tests: add helpers for testing native VPs
  tests: add a tx field to a `TestTxEnv`
  tests: derive debug on `TestTxEnv` with derivative
  deps: updated proptest state-machine branch
juped added a commit that referenced this pull request Jun 9, 2022
* tomas/pos-vp-tests:
  changelog: add #927
  [ci]: update wasm checksums
  pos/epoched: rm debug_asserts to test with invalid state changes
  PoS: make epoched field data public
  PoS/VP: Prevent possible bond and unbond epoch subtraction underflow
  PoS/VP: fix validator set validation
  PoS/VP: replace expected voting power accumulator with total stake
  PoS: fix validator set update
  PoS: make `EpochedDelta::get_delta_at_epoch` public outside the crate
  PoS/VP: fix expected voting power changes for bond/unbond combo
  PoS/VP: fix validator set update check to allow new validators
  tests: Add state machine tests for PoS VP
  PoS: make BTreeSet shims module public
  PoS/VP: fix validator set update - active becomes inactive or vice-versa
  PoS/VP: fix total deltas and bonds accumulation
  PoS/validation: use the determined voting power for validator set check
  tests: add storage key changes helpers
  PoS/VP: Fix validation of inactive validator set update
  PoS/tests: replace ad hoc arb. PoS params gen
  PoS: fix voting power conversion from tokens to avoid overflow
  PoS/parameters: Add validation and arbitrary params gen for testing
  tests: add helpers for testing native VPs
  tests: add a tx field to a `TestTxEnv`
  tests: derive debug on `TestTxEnv` with derivative
  deps: updated proptest state-machine branch
tzemanovic added a commit that referenced this pull request Jun 9, 2022
* tomas/pos-vp-tests:
  changelog: add #927
  [ci]: update wasm checksums
  pos/epoched: rm debug_asserts to test with invalid state changes
  PoS: make epoched field data public
  PoS/VP: Prevent possible bond and unbond epoch subtraction underflow
  PoS/VP: fix validator set validation
  PoS/VP: replace expected voting power accumulator with total stake
  PoS: fix validator set update
  PoS: make `EpochedDelta::get_delta_at_epoch` public outside the crate
  PoS/VP: fix expected voting power changes for bond/unbond combo
  PoS/VP: fix validator set update check to allow new validators
  tests: Add state machine tests for PoS VP
  PoS: make BTreeSet shims module public
  PoS/VP: fix validator set update - active becomes inactive or vice-versa
  PoS/VP: fix total deltas and bonds accumulation
  PoS/validation: use the determined voting power for validator set check
  tests: add storage key changes helpers
  PoS/VP: Fix validation of inactive validator set update
  PoS/tests: replace ad hoc arb. PoS params gen
  PoS: fix voting power conversion from tokens to avoid overflow
  PoS/parameters: Add validation and arbitrary params gen for testing
  tests: add helpers for testing native VPs
  tests: add a tx field to a `TestTxEnv`
  tests: derive debug on `TestTxEnv` with derivative
  deps: updated proptest state-machine branch
@juped juped merged commit 7ecb62a into master Jun 9, 2022
@juped juped deleted the tomas/pos-vp-tests branch June 9, 2022 14:43
james-chf added a commit that referenced this pull request Jun 23, 2022
…0.6.0

* master:
  Anoma 0.6.0
  Add changelog
  changelog: #1116
  fixed broken links in README.md
  changelog: add #1132
  install mdbook-admonish assets
  changelog: add #1133
  docs: include rust-nightly-version from file
  test/e2e: refactor AnomaCmd background session handling
  changelog: add #1118
  make install: use the lock file
  Move EthBridge VP into vp.rs
  [ci]: update wasm checksums
  Add ethbridge e2e test
  Add tx_write_storage_key.wasm
  Add InternalAddress::EthBridge
  update to newer rebased expectrl branch
  client/utils/join-network: remove self from persistent peers
  changelog: add #997
  add --archive-dir to `init-network` to use temp-dir in e2e test
  changelog: add #686
  tests/e2e: update tests for expectrl
  tests/deps: replace rexpect with expectrl
  changelog: add #927
  [ci]: update wasm checksums
  pos/epoched: rm debug_asserts to test with invalid state changes
  PoS: make epoched field data public
  PoS/VP: Prevent possible bond and unbond epoch subtraction underflow
  PoS/VP: fix validator set validation
  PoS/VP: replace expected voting power accumulator with total stake
  PoS: fix validator set update
  PoS: make `EpochedDelta::get_delta_at_epoch` public outside the crate
  PoS/VP: fix expected voting power changes for bond/unbond combo
  PoS/VP: fix validator set update check to allow new validators
  tests: Add state machine tests for PoS VP
  PoS: make BTreeSet shims module public
  PoS/VP: fix validator set update - active becomes inactive or vice-versa
  PoS/VP: fix total deltas and bonds accumulation
  PoS/validation: use the determined voting power for validator set check
  tests: add storage key changes helpers
  PoS/VP: Fix validation of inactive validator set update
  PoS/tests: replace ad hoc arb. PoS params gen
  PoS: fix voting power conversion from tokens to avoid overflow
  PoS/parameters: Add validation and arbitrary params gen for testing
  tests: add helpers for testing native VPs
  test/e2e/ledger_tests/node_connectivity: check node's start-up log
  test/e2e/ledger_tests: test init-genesis-validator with join-network
  test/e2e: make a help for copying wasms for a chain
  client/utils: update init-genesis-validator and join-network
  Don't create empty tendermint directory during init-network
  client/utils/join-network: no chain dir in configs server from env var
  client/utils/join-network: update the config for validators
  client/utils/join-network: use pre-genesis wallet for genesis validators
  Add ANOMA_NETWORK_CONFIGS_SERVER envvar
  Add stub --genesis-validator arg to anomac utils join-network
  Ensure directory hierarchy exists
  client/utils/init-network: only generate validator keys if they're not pre-defined
  ledger/config/genesis: add thiserror::Error
  client/utils/init-genesis-validator: write out partial pre-genesis
  genesis: make validation tokens and non-staked-balance optional
  client/utils/init-genesis-validator: add tendermint node key
  Use ValidatorConfig instead of genesis::Validator, print TOML
  Removed chain ID and don't write validator keys into Tendermint dir
  [ci]: update wasm checksums
  reuse IBC port
  [ci]: update wasm checksums
  tests: add a tx field to a `TestTxEnv`
  tests: derive debug on `TestTxEnv` with derivative
  deps: updated proptest state-machine branch
  remove temp when commit_tx
  fix IBC token VP
james-chf added a commit that referenced this pull request Jun 23, 2022
…at-1.61-update-abcipp

* master:
  Anoma 0.6.0
  Add changelog
  changelog: #1116
  fixed broken links in README.md
  changelog: add #1132
  install mdbook-admonish assets
  changelog: add #1133
  docs: include rust-nightly-version from file
  test/e2e: refactor AnomaCmd background session handling
  changelog: add #1118
  make install: use the lock file
  Move EthBridge VP into vp.rs
  [ci]: update wasm checksums
  Add ethbridge e2e test
  Add tx_write_storage_key.wasm
  Add InternalAddress::EthBridge
  update to newer rebased expectrl branch
  client/utils/join-network: remove self from persistent peers
  changelog: add #997
  add --archive-dir to `init-network` to use temp-dir in e2e test
  changelog: add #686
  tests/e2e: update tests for expectrl
  tests/deps: replace rexpect with expectrl
  changelog: add #927
  [ci]: update wasm checksums
  pos/epoched: rm debug_asserts to test with invalid state changes
  PoS: make epoched field data public
  PoS/VP: Prevent possible bond and unbond epoch subtraction underflow
  PoS/VP: fix validator set validation
  PoS/VP: replace expected voting power accumulator with total stake
  PoS: fix validator set update
  PoS: make `EpochedDelta::get_delta_at_epoch` public outside the crate
  PoS/VP: fix expected voting power changes for bond/unbond combo
  PoS/VP: fix validator set update check to allow new validators
  tests: Add state machine tests for PoS VP
  PoS: make BTreeSet shims module public
  PoS/VP: fix validator set update - active becomes inactive or vice-versa
  PoS/VP: fix total deltas and bonds accumulation
  PoS/validation: use the determined voting power for validator set check
  tests: add storage key changes helpers
  PoS/VP: Fix validation of inactive validator set update
  PoS/tests: replace ad hoc arb. PoS params gen
  PoS: fix voting power conversion from tokens to avoid overflow
  PoS/parameters: Add validation and arbitrary params gen for testing
  tests: add helpers for testing native VPs
  test/e2e/ledger_tests/node_connectivity: check node's start-up log
  test/e2e/ledger_tests: test init-genesis-validator with join-network
  test/e2e: make a help for copying wasms for a chain
  client/utils: update init-genesis-validator and join-network
  Don't create empty tendermint directory during init-network
  client/utils/join-network: no chain dir in configs server from env var
  client/utils/join-network: update the config for validators
  client/utils/join-network: use pre-genesis wallet for genesis validators
  Add ANOMA_NETWORK_CONFIGS_SERVER envvar
  Add stub --genesis-validator arg to anomac utils join-network
  Ensure directory hierarchy exists
  client/utils/init-network: only generate validator keys if they're not pre-defined
  ledger/config/genesis: add thiserror::Error
  client/utils/init-genesis-validator: write out partial pre-genesis
  genesis: make validation tokens and non-staked-balance optional
  client/utils/init-genesis-validator: add tendermint node key
  Use ValidatorConfig instead of genesis::Validator, print TOML
  Removed chain ID and don't write validator keys into Tendermint dir
  [ci]: update wasm checksums
  reuse IBC port
  [ci]: update wasm checksums
  tests: add a tx field to a `TestTxEnv`
  tests: derive debug on `TestTxEnv` with derivative
  deps: updated proptest state-machine branch
  remove temp when commit_tx
  fix IBC token VP

# Conflicts:
#	.changelog/v0.6.0/improvements/1088-updating-to-latest-abcipp.md
#	Cargo.lock
#	shared/src/types/storage.rs
#	tests/src/e2e/gossip_tests.rs
#	tests/src/e2e/ledger_tests.rs
#	wasm/checksums.json
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants