Adding architecture as klee only support x64

klee · Jul 14, 2023 · b110759 · b110759
1 parent 6ad4a16
commit b110759
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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: