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: 11 days 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 (over 7 years ago)
• Default Branch: master
• Last Pushed: 2020-10-04T15:27:37.000Z (about 4 years ago)
• Last Synced: 2024-05-18T11:00:45.729Z (6 months ago)
• Topics: overture, testing, vdm, vdm-sl, vdmpp, vdmrt
• Size: 832 KB
• Stars: 0
• Watchers: 8
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project