https://github.com/srking501/vdm-hello-world
A Hello World in VDM-SL
https://github.com/srking501/vdm-hello-world
Last synced: 7 months ago
JSON representation
A Hello World in VDM-SL
- Host: GitHub
- URL: https://github.com/srking501/vdm-hello-world
- Owner: Srking501
- License: mit
- Created: 2021-07-02T20:19:51.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2022-07-28T23:37:49.000Z (about 3 years ago)
- Last Synced: 2025-01-28T21:45:25.127Z (8 months ago)
- Size: 4.88 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.md
Awesome Lists containing this project
README
# Hello World in VDM-SL
This is just a "Hello World" for VDM-SL, so I can remember the structure of VDM-SL.
## Installation
To run this you will either use the open-source IDE of [Overture tool](https://www.overturetool.org/), **or** the Visual Studio Code's extension of [VDM VSCode](https://marketplace.visualstudio.com/items?itemName=jonaskrask.vdm-vscode).
## Usage
In VSCode, when you have enabled the debugger in **.vscode**, run the following in debugger
```bash
print RunHello(s1)
```
This should return `true`.
**or**
```bash
print RunHello(s2)
```
This should return `false`.
**NOTE: You could also run Combinatorial Testing to run both commands at once which will be a whole new tab with a sign of "CT" provided by the VDM VSCode extension**
## Contributing
Pull requests to improve it are welcome. This is intended to help me remember the structure of VDM-SL, and hopefully helps you know/remember the structure too.
## License
* Author: [Abdullah Alshadadi](https://github.com/Srking501)
* [MIT License](LICENSE.md)