test: integration suite for bridge <-> oracle cross-contract resolution#708
Open
Dataguru-tech wants to merge 1 commit into
Open
test: integration suite for bridge <-> oracle cross-contract resolution#708Dataguru-tech wants to merge 1 commit into
Dataguru-tech wants to merge 1 commit into
Conversation
|
@Dataguru-tech Great news! 🎉 Based on an automated assessment of this PR, the linked Wave issue(s) no longer count against your application limits. You can now already apply to more issues while waiting for a review of this PR. Keep up the great work! 🚀 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
PR 1: Introduces a CI workflow to run formal verification on selected smart contracts using Kani or cargo-verifier. The verification covers critical security invariants, including balance conservation, access-control role membership, and oracle staleness bounds, helping detect correctness issues early in the development lifecycle.
PR 2: Adds an end-to-end integration test (tests/integration_bridge_oracle.rs) that validates the bridge and oracle interaction flow, covering oracle updates, bridge attestation, and cross-chain verification to ensure correct cross-contract behavior.
PR 3: Introduces property-based fuzz tests using proptest for the property token contract. The suite validates edge cases including zero-amount transfers, self-transfers, transfers of non-existent tokens, and default recipient transferTo hook behavior to improve contract robustness.
PR 4: Adds an automated release workflow that generates CHANGELOG.md from Conventional Commit messages using git-cliff or conventional-changelog. The workflow is integrated into .github/workflows/release.yml to streamline release documentation and maintain consistent changelogs.
Closes #649
Closes #648
Closes #647
Closes #646