This package provides a certificate store containing only the Let's Encrypt root and intermediate certificates. It is intended to be used within Guix.

The deSEC can be used to obtain certificates with certbot DNS ownership verification. With the help of this hook script, you can obtain your Let's Encrypt certificate using certbot with authorization provided by the DNS challenge mechanism, that is, you will not need a running web server or any port forwarding to your local machine.

This package provides a pytest plugin to test that mypy produces a given output. As mypy can be told to display the type of an expression this allows you to check mypys type interference.

Check is a unit testing framework for C. It features a simple interface for defining unit tests, putting little in the way of the developer. Tests are run in a separate address space, so Check can catch both assertion failures and code errors that cause segmentation faults or other signals. The output from unit tests can be used within source code editors and IDEs.

Testscenarios provides clean dependency injection for Python unittest style tests.

Mutest aims to be a small unit testing library for C projects, with an API heavily modelled on high level Behavior-Driver Development frameworks like Jasmine or Mocha.

Testtools extends the Python standard library unit testing framework to provide matchers, more debugging information, and cross-Python compatibility.

This package provides relaxed test discovery for pytest.

This package provides a simple and limited unit-test framework for C++.

Modified version of uClibc for symbolic execution of Unix userland software. This library can only be used in conjunction with the klee package.

Pytest-examples provides functionality for testing Python code examples in docstrings and markdown files, with its main features being:

• lint code examples using ruff and black

• run code examples

• run code examples and check print statements are inlined correctly in the code

• It can also update code examples in place to format them and insert or update print statements

Google Test features an XUnit test framework, automated test discovery, death tests, assertions, parameterized tests and XML test report generation.

Cppcheck is a static code analyzer for C and C++. Unlike C/C++ compilers and many other analysis tools it does not detect syntax errors in the code. Cppcheck primarily detects the types of bugs that the compilers normally do not detect. The goal is to detect only real errors in the code (i.e. have zero false positives).

MiniMock is a simple library for building mock objects with doctest.

µnit is a small testing framework for C with nested test suites, parameterized tests, timing of the wall clock and CPU time, reproducible random number generation, and more.

Python asyncio code is usually written in the form of coroutines, which makes it slightly more difficult to test using normal testing tools. pytest-asyncio provides useful fixtures and markers to make testing async code easier.

The googlebenchmark C++ library support the benchmarking of functions, similar to unit tests.

Subunit is a streaming protocol for test results. Subunit comes with command line filters to process a subunit stream and language bindings for Python, C, C++ and shell. Bindings are easy to write for other languages.

Google Test features an XUnit test framework, automated test discovery, death tests, assertions, parameterized tests and XML test report generation.

Catch2 stands for C++ Automated Test Cases in Headers and is a multi-paradigm automated test framework for C++ and Objective-C.

CoverageTestRunner is a python module for running unit tests and failing them if the unit test module does not exercise all statements in the module it tests.

lit is a portable tool for executing LLVM and Clang style test suites, summarizing their results, and providing indication of failures.

Fixtures provides a way to create reusable state, useful when writing Python tests.

snitch aims to be a simple, cheap, non-invasive, and user-friendly testing framework. The design philosophy is to keep the testing API lean, including only what is strictly necessary to present clear messages when a test fails.