trueno-cuda-edge

GPU edge-case test framework for the Trueno ecosystem.

This crate provides comprehensive tools for testing GPU code edge cases:

• Null Fuzzing: Inject null pointers into kernel arguments
• Shared Memory Probing: Detect overflows and bank conflicts
• Lifecycle Chaos: Stress-test context creation/destruction
• Quantization Oracle: Verify CPU/GPU parity across formats
• PTX Poison: Mutation testing for PTX assembly
• Supervision: Erlang-style worker crash recovery

Feature Flags

• cuda: Enable CUDA driver FFI (requires NVIDIA driver)
• full: All features enabled

Quick Start

use trueno_cuda_edge::{
    null_fuzzer::NonNullDevicePtr,
    shmem_prober::{ComputeCapability, check_allocation},
    supervisor::{SupervisionTree, SupervisionStrategy},
    falsification::FalsificationReport,
};

// Guard type rejects null pointers
assert!(NonNullDevicePtr::<u8>::new(0).is_err());

// Validate shared memory allocation
let ampere = ComputeCapability::new(8, 0);
assert!(check_allocation(ampere, 100 * 1024).is_ok());

// Supervision tree
let mut tree = SupervisionTree::new(SupervisionStrategy::OneForOne, 4);

// Track test coverage
let report = FalsificationReport::new();
assert_eq!(report.coverage(), 0.0);

PMAT Tickets

This crate implements: