From b110759b5d15f602dbd19b6ab5fed6ff1c347115 Mon Sep 17 00:00:00 2001 From: Marco Manino Date: Fri, 14 Jul 2023 08:48:18 +0200 Subject: [PATCH] Adding architecture as klee only support x64 --- snap/snapcraft.yaml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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: