Developers make assumptions about how our code will behave when executed, but we’re not always right. Without certainty, it is challenging to write programs that work correctly at runtime. Java ...

Regular JUnit assert output is suppressed in favor of the more descriptive diagram. Regular Hamcrest assert output is suppressed in favor of the more descriptive diagram, however, the Matcher itself ...

Java 17 and up. No runtime dependencies beyond JSpecify's annotations. The seat is where a failure goes. Assertions never call a test framework and never throw on their own; they report to whatever ...