Results for Logic_test

A macro to add `setup` and `teardown` on each test case

A modern, feature-rich testing framework for Rust with Docker integration

An Anoma Resource Machine Test Application using RISC0 zkVM

A library for providing custom setup/teardown for Rust tests without needing a test harness

A Computional Tree Logic (CTL) Verifier

A cycle-accurate 6502 CPU emulator library.

Rust SDK for KeraDB - a lightweight, embedded NoSQL document database with vector search

Live app testing client and protocol helpers for Fission shells

Core logic for rust_test_framework

Logical matchers for use with wiremock.

A collection of helpers for writing tests for Soroban contracts

A collection of helpers for writing tests for Soroban contracts