kontrol/kontrol-custom ubuntu-jammy-allow-calls-cheatcode Public Latest
Install from the command line
Learn more about packages
$ docker pull ghcr.io/runtimeverification/kontrol/kontrol-custom:ubuntu-jammy-allow-calls-cheatcode
Recent tagged image versions
- 0 Version downloads
- 1 Version downloads
Loading
Sorry, something went wrong.
Details
- runtimeverification
- kontrol
- BSD 3-Clause "New" or "Revised" License
- 63 stars
Last published
3 days ago
Issues
168
Total downloads