Search Docker Hub
vppde
By nikueater
VDM++ (Vienna Development Method ++) envrionment
2.2K
e.g. to check all vdmpp files in /tmp...
command: /bin/bash -c "vppde -t $$(find /tmp -name \"*.vdmpp\")"
Content type
Image
Digest
Size
236.7 MB
Last updated
almost 8 years ago
docker pull nikueater/vppde