https://github.com/overturetool/externaltests

External tests for the Overture tool
https://github.com/overturetool/externaltests

overture testing vdm vdm-sl vdmpp vdmrt

Last synced: 4 months ago
JSON representation

External tests for the Overture tool

• Host: GitHub
• URL: https://github.com/overturetool/externaltests
• Owner: overturetool
• Created: 2017-07-05T10:43:20.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2020-10-04T15:27:37.000Z (over 5 years ago)
• Last Synced: 2025-07-23T07:31:59.692Z (11 months ago)
• Topics: overture, testing, vdm, vdm-sl, vdmpp, vdmrt
• Size: 832 KB
• Stars: 0
• Watchers: 7
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
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`