Skip to content

Add devnet test harness with Leo devnode and GitHub Actions CI - #53

Draft
marshacb wants to merge 13 commits into
mainfrom
feat/devnet-test-harness
Draft

Add devnet test harness with Leo devnode and GitHub Actions CI#53
marshacb wants to merge 13 commits into
mainfrom
feat/devnet-test-harness

Conversation

@marshacb

@marshacb marshacb commented May 6, 2026

Copy link
Copy Markdown
Contributor

Summary

Local devnet integration test harness using @veil/devnode with snapshot support. 17 tests validate Veil's full API surface against a real devnode with instant block finality.

Changes since initial PR

  • Refactored from inline process management to @veil/devnode (startDevnode/stop)
  • Added snapshot support: first run deploys programs and takes a snapshot, subsequent runs restore from it
  • CI updated to install the public aleo-devnode binary (no auth needed)
  • Updated for executeContract / executeTransaction naming split from Align executeContract behavior across account types #55
  • Expanded from 9 to 17 integration tests

Test coverage

Category Tests
Core lifecycle Connectivity, simulate, execute with transitions, deploy
ABI pipeline getCodeparseProgram, codegen simulate via getContract
Simulate vs execute Output count consistency across both paths
Cross-program (#13) Per-transition outputs from loyalty_rewardsloyalty_token
Record round trip (#18) Mint card → use as input to add_points → verify updated output
Mapping round trip Execute writes to mapping → read back via publicClient
getContract proxy Execute returns parsed transitions with program/function metadata
Error classifiers InvalidTransaction, DuplicateTransaction, RecordSpent, FinalizeRevert
Config validation ConfigurationError for missing proverUrl

Running locally

# Requires aleo-devnode on PATH
RUN_DEVNET=true pnpm vitest run packages/provable/test/devnet.test.ts

@vercel

vercel Bot commented May 6, 2026

Copy link
Copy Markdown

@marshacb must be a member of the Provable team on Vercel to deploy.
- Click here to add @marshacb to the team.
- If you initiated this build, request access.
- If you're already a member of the Provable team, make sure that your Vercel account is connected to your GitHub account.

Learn more about collaboration on Vercel and other options here.

@vercel

vercel Bot commented May 7, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
veil-loyalty-dapp Error Error May 15, 2026 8:48pm

Request Review

@marshacb
marshacb marked this pull request as ready for review May 7, 2026 02:09
@marshacb
marshacb marked this pull request as draft May 7, 2026 17:17
@marshacb
marshacb removed the request for review from iamalwaysuncomfortable May 7, 2026 17:17
@marshacb
marshacb force-pushed the feat/devnet-test-harness branch from f0df8e8 to 60163aa Compare May 7, 2026 22:41
@marshacb
marshacb changed the base branch from feat/typed-errors to types May 13, 2026 15:15
@marshacb
marshacb force-pushed the feat/devnet-test-harness branch from 60163aa to 40ea414 Compare May 13, 2026 16:57
@marshacb
marshacb force-pushed the feat/devnet-test-harness branch from 0843a0d to 8d42096 Compare May 13, 2026 17:19
@marshacb
marshacb force-pushed the feat/devnet-test-harness branch from be2fde7 to 3981a9c Compare May 13, 2026 18:46
@marshacb
marshacb force-pushed the feat/devnet-test-harness branch from 3981a9c to ccb569e Compare May 13, 2026 19:27
@marshacb
marshacb changed the base branch from types to main May 13, 2026 22:18
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.

1 participant