Description
Plutus conformance test suite library.
Synopsis
- shownParseError :: Text #
The default shown text when a parse error occurs.
We don't want to show the detailed parse errors so that
users of the test suite can produce the expected output more easily.
shownEvaluationFailure :: ExBudget))
An evaluator that produces an output program along with the cost of
evaluating it, or fails. Note that nothing cares about the cost of failing
programs, so we don't test for conformance there. | discoverTests #
Arguments
| :: UplcEvaluator | The evaluator to be tested. |
| -> CostModelParams | |
| -> (FilePath -> Bool) | A function that takes a test directory and returns a Bool indicating
whether the evaluation test for the file in that directory is expected to
fail. |
| -> (FilePath -> Bool) | A function that takes a test directory and returns a Bool indicating
whether the budget test for the file in that directory is expected to fail. |
| -> TestTree | |
Walk a file tree, making test groups for directories with subdirectories,
and test cases for directories without. We expect every test directory to
contain a single `.uplc` file whose name matches that of the directory. For
example, the directory `modInteger-15` should contain `modInteger-15.uplc`,
and that file should contain a textual UPLC program. The directory should
also contain golden files `modInteger-15.uplc.expected`, containing the
expected output of the program, and `modInteger-15.uplc.budget.expected`,
containing the expected execution budget, although these will be created by
the testing machinery if they aren't already present.