klee/metasmt
/
sha256:43ed7af59998a557b759c0b9f57079546c2f2c87ecd618cb79d58406501e5d92
qf_abv_ubuntu_jammy-20230126
sha256:43ed7af59998a557b759c0b9f57079546c2f2c87ecd618cb79d58406501e5d92
Install from the command line
Learn more about packages
$ docker pull ghcr.io/unittestbot/klee/metasmt:qf_abv_ubuntu_jammy-20230126
Use as base image in Dockerfile:
FROM ghcr.io/unittestbot/klee/metasmt:qf_abv_ubuntu_jammy-20230126
Loading
Sorry, something went wrong.
Manifest
{
"digest": "sha256:43ed7af59998a557b759c0b9f57079546c2f2c87ecd618cb79d58406501e5d92",
"mediaType": "application/vnd.docker.distribution.manifest.v2+json",
"size": 1160,
"config": {
"digest": "sha256:9f68b1dc8d68b943f7fcece4227f56fa2f5eb4a88c3518f9b796ed9483c79f4f",
"mediaType": "application/vnd.docker.container.image.v1+json",
"size": 2131
},
"layers": [
{
"digest": "sha256:677076032cca0a2362d25cf3660072e738d1b96fe860409a33ce901d695d7ee8",
"mediaType": "application/vnd.oci.image.layer.v1.tar+gzip",
"size": 29528717
},
{
"digest": "sha256:bd4e27cf31813e11c47b960d010e588041c5e12ecb18f3c52bf60dbd601f114f",
"mediaType": "application/octet-stream",
"size": 48128
},
{
"digest": "sha256:81b77436900c88f44005d965ee10512f75d7d5a6a5c711230b39bc7d5cfa4901",
"mediaType": "application/octet-stream",
"size": 66018
},
{
"digest": "sha256:8e05a1369252a606b9d4a7eb339002103fcfb2c17dcb576812b127ff02887091",
"mediaType": "application/octet-stream",
"size": 662168560
},
{
"digest": "sha256:9f68b1dc8d68b943f7fcece4227f56fa2f5eb4a88c3518f9b796ed9483c79f4f",
"mediaType": "application/octet-stream",
"size": 2131
}
],
"labels": {
"maintainer": "KLEE Developers",
"org.opencontainers.image.ref.name": "ubuntu",
"org.opencontainers.image.version": "22.04"
}
}
Details
- klee/metasmt
- UnitTestBot
- UnitTestBot/klee
- 7 months ago
Download activity
- Total downloads 176
- Last 30 days 17
- Last week 3
- Today 0