mn200/HOL — Issue #49: Testing Framework
Author: tjark
Created: 2011-11-25 00:14:35+00:00
State: open
Labels: Feature Request

An automated regression testing framework for HOL4, with a decent (web) interface and report generation.

Daily build reports by e-mail are nice, but (e.g.) Isabelle's Mira testing framework (http://isabelle.in.tum.de/reports/Isabelle/) is nicer.