ACL2 Guide to Logic and Programming Language: Testing-utilities.

Tools for developing and running tests.

Subtopics

Cgen

Counterexample Generation a.k.a Disproving for ACL2

Run-script

Run a script.

Std/testing

A library of testing utilities.