Skip to content

test: host state stt property tests #336

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.

Sign up for GitHub

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

Draft
floor-licker wants to merge 9 commits into
base: main
Choose a base branch
from
Draft

test: host state stt property tests #336

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
77a1967
test(onchain): add reusable BindPort fixture helpers
floor-licker Feb 11, 2026
35ab2dd
test(onchain): add generated-port property test for BindPort
floor-licker Feb 11, 2026
eff47ab
test(onchain): add BindPort wrong-root generated property
floor-licker Feb 11, 2026
97bc0f1
test(onchain): add BindPort state-update generated property
floor-licker Feb 11, 2026
b76016b
test(onchain): add BindPort version monotonicity generated property
floor-licker Feb 11, 2026
a7e3600
chore(onchain): bump Aiken compiler pin and enable aiken/fuzz
floor-licker Feb 11, 2026
9a3f693
test(onchain): migrate host_state BindPort properties to aiken/fuzz
floor-licker Feb 11, 2026
d23a129
test(onchain): add sequence-level bind-port property tests
floor-licker Feb 11, 2026
c1f78a7
chore(onchain): restore aiken.toml metadata comments
floor-licker Feb 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 11 additions & 0 deletions cardano/onchain/aiken.lock
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,10 +6,21 @@ name = "aiken-lang/stdlib"
version = "2.1.0"
source = "github"

[[requirements]]
name = "aiken-lang/fuzz"
version = "2.2.0"
source = "github"

[[packages]]
name = "aiken-lang/stdlib"
version = "2.1.0"
requirements = []
source = "github"

[[packages]]
name = "aiken-lang/fuzz"
version = "2.2.0"
requirements = []
source = "github"

[etags]
23 changes: 17 additions & 6 deletions cardano/onchain/aiken.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,23 +1,27 @@
# Project's name, as {organisation}/{project}
name = "cardanofoundation/cardano-ibc"

# Project's version, we recommend semantic versioning for libraries
version = "0.2.0"

# One or more license(s); we recommend Apache-2.0 or MPL-2.0 for open source
# projects.
licences = ["Apache-2.0"]


# Compiler and ledger target.
compiler = "v1.1.21"
plutus = "v3"

# An informative albeit short description of the project.
description = "The project involves implementing the Inter-Blockchain Communication (IBC) protocol on the Cardano main chain using Aiken."

# Optional section, gives additional structured information on a project to
# show in generated documentation.
[repository]
platform = "gitlab" # Platform type, `github`, `gitlab` or `bitbucket`
user = "aiken-lang" # Username or organisation on that platform
project = "cardano-ibc" # Repository or project on that platform

# A list of dependencies
#
# Leave as:
Expand All @@ -30,4 +34,11 @@ project = "cardano-ibc" # Repository or project on that platform
[[dependencies]]
name = "aiken-lang/stdlib" # Project's name
version = "2.1.0" # Version, as a branch or git commit hash
source = "github" # Platform type, `github`, `gitlab` or `bitbucket`
source = "github" # Platform type, `github`, `gitlab` or `bitbucket`

[[dependencies]]
name = "aiken-lang/fuzz" # Property-based testing helpers
version = "2.2.0"
source = "github"

[config]
Loading