-
Notifications
You must be signed in to change notification settings - Fork 1
Regress
Matt Windsor edited this page Jan 8, 2019
·
1 revision
The regress command runs regression tests for act
. Regression tests are, effectively, batch runs of act
's various commands on a set of specific test files (included in the bin/tests
directory).
Generally, rather than running act regress
directly, one should use dune
:
# from the root directory of the act source distribution
$ dune runtest
This will run the unit tests, too.
See bin/dune
for the exact invocations used for the regression tests.
Each regression test outputs a wad of Markdown to stdout. This should be compared with the corresponding expected
file in the source distribution. Generally, dune
partially automates this.