d-flex flex-column width-full">

test(core): add property-based tests for the analysis engine (#1035)

f92bd09

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

WASM Bundler Compatibility on: pull_request 1

Test Bundler Compatibility (Vite/Next/Webpack)

Contracts Fuzz Harness on: pull_request 2

Fuzz harness smoke (stable)

Fuzz harness deep (nightly)

Fuzz corpus replay (PR)

E2E Tests & Coverage on: pull_request 3

Run Tests and Coverage

Action Integration Tests

Backwards Compatibility Tests

Contracts CI Matrix on: pull_request 4

Workspace check (ubuntu-latest)

Workspace check (macos-latest)

SEP-41 compliance suite

Check amm-pool

Check flashloan-token

Check governance-contract

Check kani-poc-contract

Check multisig-wallet

Check my-contract

Check uups-proxy

Check reentrancy-guard

Check runtime-guard-wrapper

Check timelock

Check token-with-bugs

Check vesting-contract

Check vulnerable-contract

Check benchmark

WASM flashloan-token

WASM governance-contract

WASM kani-poc-contract

WASM uups-proxy

WASM reentrancy-guard

WASM timelock

WASM token-with-bugs

WASM vulnerable-contract

Performance Benchmarks on: pull_request 1

Run Benchmarks

Test GitHub Action on: pull_request 11

Test Action (ubuntu-latest)

Test Action (macos-latest)

Test Action (windows-latest)

Rust CI on: pull_request 3

Cargo Deny Check

Build & Test

Coverage Gate (≥ 80% per crate)

SARIF Snapshot Tests

Rule Engine Orchestration (integration/e2e)

Z3 Backend Module Boundaries (S011)

Property-Based Tests (proptest)

Soroban Examples Case Study on: pull_request 1

Analyze stellar/soroban-examples

Code Scanning (Sanctifier + CodeQL) on: pull_request 4

Sanctifier (Soroban)

CodeQL (javascript-typescript)

Dependabot auto-merge on: pull_request

auto-merge

Docs Lint on: pull_request 2

Markdown link integrity

Code scanning results

CodeQL

Annotations

1 error

Test Vite Compatibility

Process completed with exit code 1.

Test Bundler Compatibility (Vite/Next/Webpack)

failed Jun 30, 2026 in 2m 37s

Loading

Re-running jobs...