From 4fc5703ea183d1c561715a062318fd0da6b130f3 Mon Sep 17 00:00:00 2001
From: Marco Manino <mrcmnn@gmail.com>
Date: Tue, 11 Jul 2023 08:12:52 +0000
Subject: [PATCH] Working build

---
 snap/snapcraft.yaml | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/snap/snapcraft.yaml b/snap/snapcraft.yaml
index bee6999..7d53995 100644
--- a/snap/snapcraft.yaml
+++ b/snap/snapcraft.yaml
@@ -41,6 +41,7 @@ parts:
       - perl
       - minisat
       - libcryptominisat5-dev
+      - zlib1g-dev
     override-pull: |
       craftctl default
       patch -p1 < $SNAPCRAFT_PROJECT_DIR/patches/stp.patch.diff
@@ -61,7 +62,6 @@ parts:
       - libgoogle-perftools-dev
       - libncurses5-dev
       - libsqlite3-dev
-      - libtcmalloc-minimal4
       - clang-13
       - llvm-13
       - llvm-13-dev
@@ -70,9 +70,13 @@ parts:
     stage-packages:
       - llvm-13
       - libz3-4
-
+      - libgoogle-perftools4
+      - libunwind8
 apps:
   klee:
-      command: usr/bin/klee
-      plugs: [home]
+    command: usr/local/bin/klee
+    plugs: [home]
+  ktest-tool:
+    command: usr/local/bin/ktest-tool
+    plugs: [home]