- Programming Language: C++ ×
Showing page 5 of 5.
Gatt is a Gentoo related tool targeted at arch developers, arch testers and power users.1 weekly downloads
Simple, easy-to-use, efficient testing library, for C, C++, Java, .NET, Python and Ruby. Combining high discoverability and low coupling, xTests is a lightweight solution designed for use in verifying other libraries.1 weekly downloads
STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constraints generated by program analysis/test generation tools, model checkers, bug finders, hardware/software formal verification tools, intelligent fuzzer8 weekly downloads