8.10
3.7.3.4 Version 4 Test Suites
| (require cpsc411/test-suite/public/v4) | |
| package: cpsc411-lib | |
procedure
(v4-public-test-suite pass-list interp-list link-paren-x64 interp-paren-x64 interp-values-lang check-values-lang) → test-suite? pass-list : (listof (-> any/c any/c)) interp-list : (listof (or/c #f (-> any/c any/c))) link-paren-x64 : (or/c #f (-> paren-x64-v4 paren-x64-rt-v4?)) interp-paren-x64 : (or/c #f (-> paren-x64-v4? int64?)) interp-values-lang : (or/c #f (-> values-lang-v4? int64?)) check-values-lang : (or/c #f (-> any/c values-lang-v4?))
The test suite for the v4 compiler passes.
Reuses all test suites from v3-public-test-suite where possible.
pass-list is expected to be a list of passes that compile from values-lang-v4? to x64, compatible with current-pass-list.
See v1-public-test-suite for details about the interpretation of pass-list and interp-list.
Expects 4 optional functions not directly part of compilation separate, and performs various kinds of property-based testing on them, if they are given.