berkeley-assert
Berkeley Lab (BerkeleyLab) / assert
Runtime assertion checks, including preconditions in pure procedures.
Matching APIs: assert
Source-supported: pinned procedure evidence; a matching checked driver is still needed.
GAMS R2
Error checking (e.g., check monotonicity)
4 matching packages
Includes packages assigned to this class and its descendants. A package may cover only part of a class.
Packages
4 packagesNo packages match. Try fewer words or clear the search.
fassert
Tomohiro Degawa (degawa) / fassert
Extensible assertions for scalar and array values and numerical tolerances.
Matching APIs: assert_equal / assert_approx_equal / expect_equal / expect_approx_equal
Source-supported: pinned procedure evidence; a matching checked driver is still needed.
fortran-error-handler
Sam Harrison (samharrison7) / fortran-error-handler
Structured errors, input criteria, result values and custom traces.
Matching APIs: limit / trigger / addToTrace
Verified: a checked driver demonstrates a capability in this class.
Package details · Repository · Try in playground
Checked drivers: error-bounds-reference
julienne
Berkeley Lab (BerkeleyLab) / julienne
Expressive numerical comparisons, unit-test diagnoses and diagnostic messages.
Matching APIs: test_diagnosis_t / .approximates. / .equalsExpected. / diagnostics_string
Source-supported: pinned procedure evidence; a matching checked driver is still needed.