From eab000174aa8df904fe388cf2fb0674f61d0cd10 Mon Sep 17 00:00:00 2001
From: Vishal Canumalla <vishalc@cs.washington.edu>
Date: Wed, 6 Dec 2023 19:30:31 -0800
Subject: [PATCH] bin should be in right folder now

---
 .github/workflows/tests.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 0c411152..5656ea27 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -67,12 +67,12 @@ jobs:
           ./scripts/deps/setup-cms.sh &&
           ./scripts/deps/setup-minisat.sh &&
           mkdir build &&
-          cd build &&
+          pushd build &&
           cmake .. &&
           cmake --build . &&
           popd &&
           popd &&
-          cp stp bin/stp &&
+          cp stp/build/stp bin/stp &&
           sudo add-apt-repository -y ppa:sri-csl/formal-methods &&
           sudo apt-get update &&
           sudo apt-get install -y yices2