typeable/compaREST
1
0
Fork 0
mirror of https://github.com/typeable/compaREST.git synced 2024-12-27 05:06:07 +03:00
Code Issues Projects Releases Wiki Activity
7e7c9fa037
compaREST/test
History
mniip 1ee90ee5a5
Guarded Recursion (#67) 
* Allow guarded recursion

* Add a test for guarded recursion

* Detect and report "unguarded" recursion

* Add test
2021-06-01 18:35:36 +03:00
..
golden/common Guarded Recursion (#67) 2021-06-01 18:35:36 +03:00
Spec/Golden Re-emit memoized errors at different behaviors (#66) 2021-05-28 14:45:59 +03:00
README.md Added basic test infrastructure (#5) 2021-03-05 15:07:53 +03:00
Spec.hs Initial memoization (#56) 2021-05-21 13:15:54 +03:00

README.md

Golden tests

The basics

The test/golden directory contains a tree with golden tests. A test is a any nested directory with no folders nested inside it (i. e. tests can only be leaves in the file system):

id
├── a.yaml
├── b.yaml
└── report.yaml

All of the files and their meaning are specified in code:

tests :: IO TestTree
tests =
  goldenInputsTreeUniform
    "Golden Reports"
    "test/golden/common"
    "report.yaml"
    ("a.yaml", "b.yaml")
    Yaml.decodeFileThrow
    (uncurry reportCompat)

This test would read the files a.yaml and b.yaml using the Yaml.decodeFileThrow function, and pass the resulting tuple to uncurry reportCompat. The resul will be compared to report.yaml.

Supported feature tests

If a test starts with either x or v , the test is assumed to test the support of some OpenApi functionality. If the test begins x it means that the feature is expected to be not supported, and the result will only be checked to have an "unsupported" flag set. If it starts with v the test is expected to be supported and the result is compared to some file on disk.

The result will be reflected in the generated compatibility matrix.

If a test does not begin with either x or v , then it is presumed to be a normal test and will not be reflected in the resulting compatibility matrix.