Skip to content

Latest commit

 

History

History
executable file
·
13 lines (9 loc) · 407 Bytes

README.md

File metadata and controls

executable file
·
13 lines (9 loc) · 407 Bytes

external tests

This repository contains the external tests for Overture. The folders are organised as follows:

  • cgip: tests for the Interpreter
  • pog: tests for the POG
  • tc: tests for the Type-Checker
  • skip: tests that are not run

each folder has subfolders [sl/pp/rt]test that hold the test files for the respective dialect.

To run these tests, use mvn test -DexternalTestsPath=/path/to/tests