diff --git a/snap/snapcraft.yaml b/snap/snapcraft.yaml index 4c5e72e..cc8b894 100644 --- a/snap/snapcraft.yaml +++ b/snap/snapcraft.yaml @@ -1,6 +1,9 @@ name: klee version: 'v3.0' # just for humans, typically '1.2+git' or '1.3.2' -summary: KLEE Symbolic Execution Engine +summary: KLEE Symbolic Execution Engine +architectures: + - amd64 +issues: https://github.com/marco6/klee/issues description: | KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure. Currently, there are two primary components: