HOL

HOL 7

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented.Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access...

pry is a unit testing framework for Python.Features:cursor-pointer" onclick="spovl3hide();"> Application features Built-in coverage analysis and profiling Assertion-based tests - no ugly failUnless*, failIf*, etc. methods Tree-based test structure for...

sst

sst 0.2.2

sst is a framework for functional web testing.It uses Selenium WebDriver to drive a browser and interact with web elements. Tests are made up of Python scripts, created by composing actions that come with SST. You have the power of the full Python...

CppUnit

CppUnit 1.13.2

CppUnit is an open source command-line software implemented in C++ as a port of the Java powered JUnit unit testing framework created by Michael Feathers. It works on Linux, Windows and Macintosh operating systems.Features at a glanceKey features include...