Skip to content

stp

Install from the command line
Learn more about packages
$ docker pull ghcr.io/unittestbot/klee/stp:0510509_ubuntu_jammy-20230126

Recent tagged image versions

  • 0510509_ubuntu_jammy-20230126
    Published 3 months ago · Digest
    sha256:92ab199f8cb9c78050f427f39f5a0176267b99e191b7063373ed3e4eddab19c4
    37 Version downloads
  • 2.3.3_memsan_ubuntu_jammy-20230126
    Published 3 months ago · Digest
    sha256:c060f30b596d6187381747e597f351260a7011d056208a5521aa06ffa481c759
    90 Version downloads
  • 2.3.3_ubsan_ubuntu_jammy-20230126
    Published 3 months ago · Digest
    sha256:c40dd15510ca62df08beddcd61c74c71b24b7a5cfdf95c239a2c4e77e594741f
    83 Version downloads
  • 2.3.3_asan_ubuntu_jammy-20230126
    Published 3 months ago · Digest
    sha256:904700259eed374d074bf7b2852f5ec5fa858eb3c433332e019e79534ef85c71
    90 Version downloads
  • 2.3.3_ubuntu_jammy-20230126
    Published 3 months ago · Digest
    sha256:e8799850d030ff8725539baf7f07b6597460a44e3ecae4764f166f5864b31dc8
    708 Version downloads
View all tagged versions

Loading

Last published

3 months ago

Discussions

2

Issues

16

Total downloads

1.01K

Collaborators 0