assertions

This article reflects on the design of test assertions and matchers in software development, emphasizing their role in writing readable and efficient test code, particularly in Ruby.

A field note argues that a green test suite doesn't prove tests are meaningful; AI agents should be asked to make tests fail to verify they actually catch bugs.

Test That is a new Rust library for test assertions, forked from GoogleTest Rust, offering a cleaner API, optional dependencies, and improved matcher composability.

This documentation describes the assertion language in the Ciao Prolog system, which allows annotating code with type and instantiation mode declarations for debugging, testing, optimization, and autodocumentation.