- vdmj-cli is a docker image to create an environment to run vdmj on the CLI.
- Dockerhub repository : closekn/vdmj-cli
- Run VDM file by using nickbattle/vdmj.
# Pull docker image
$ docker pull closekn/vdmj-cli
# Run VDM file
$ docker run -it --rm -v "`pwd`":/workspace closekn/vdmj-cli run_vdmpp RUN_FILE.vdmpp
# RUN VDM file (Windows PowerShell)
$ docker run -it --rm -v "${pwd}":/workspace closekn/vdmj-cli run_vdmpp RUN_FILE.vdmpp- Replace
RUN_FILE.vdmppwith the VDM file you want to run.
- nickbattle/vdmj
- releases/tag/4.3.0-1 : Now use it.